Prefix(:=<http://onto.ir/ontologies/2013/AIRS#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(xsp:=<http://www.owl-ontologies.com/2005/08/07/xsp.owl#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Prefix(swrl:=<http://www.w3.org/2003/11/swrl#>)
Prefix(sqwrl:=<http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#>)
Prefix(swrla:=<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#>)
Prefix(swrlb:=<http://www.w3.org/2003/11/swrlb#>)
Prefix(protege:=<http://protege.stanford.edu/plugins/owl/protege#>)


Ontology(<http://onto.ir/ontologies/2013/AIRS>
Import(<http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl>)
Import(<http://swrl.stanford.edu/ontologies/3.3/swrla.owl>)
Annotation(rdfs:seeAlso "http://onto.ir/ontologies/airs")
Annotation(rdfs:isDefinedBy "Verónica Mateos, et al. \"Definition of response metrics for an ontology-based Automated Intrusion Response Systems\", Computers and Electrical Engineering Journal, Vol. 38, pp. 1102–1114, 2013.")

Declaration(Class(:Component))
Declaration(Class(:Context))
Declaration(Class(:FormattedIntrusion))
Declaration(Class(:IntrusionDetectionSystem))
Declaration(Class(:IntrusionResponseSystem))
Declaration(Class(:Network))
Declaration(Class(:NetworkContext))
SubClassOf(:NetworkContext :Context)
Declaration(Class(:OptimumResponse))
SubClassOf(:OptimumResponse :Response)
Declaration(Class(:Response))
Declaration(Class(:Result))
Declaration(Class(:SystemComponent))
Declaration(Class(:SystemContext))
SubClassOf(:SystemContext :Context)
Declaration(ObjectProperty(:carriedOutResponses))
ObjectPropertyDomain(:carriedOutResponses :IntrusionResponseSystem)
ObjectPropertyRange(:carriedOutResponses :Response)
Declaration(ObjectProperty(:generate))
ObjectPropertyDomain(:generate :IntrusionDetectionSystem)
ObjectPropertyRange(:generate :FormattedIntrusion)
Declaration(ObjectProperty(:generatedResult))
ObjectPropertyDomain(:generatedResult :IntrusionResponseSystem)
ObjectPropertyRange(:generatedResult :Result)
Declaration(ObjectProperty(:hasContext))
ObjectPropertyDomain(:hasContext :Network)
ObjectPropertyRange(:hasContext :Context)
Declaration(ObjectProperty(:hasResponseDependency))
ObjectPropertyDomain(:hasResponseDependency :Response)
ObjectPropertyRange(:hasResponseDependency :Response)
Declaration(ObjectProperty(:hasResponseIncompatible))
ObjectPropertyDomain(:hasResponseIncompatible :SystemComponent)
ObjectPropertyRange(:hasResponseIncompatible :Response)
Declaration(ObjectProperty(:hasResponseReport))
Declaration(ObjectProperty(:installedIDS))
ObjectPropertyDomain(:installedIDS :Network)
ObjectPropertyRange(:installedIDS :IntrusionDetectionSystem)
Declaration(ObjectProperty(:locatedComponents))
ObjectPropertyDomain(:locatedComponents :Network)
ObjectPropertyRange(:locatedComponents :SystemComponent)
Declaration(ObjectProperty(:optimumProactiveResponses))
ObjectPropertyDomain(:optimumProactiveResponses :FormattedIntrusion)
ObjectPropertyRange(:optimumProactiveResponses :Response)
Declaration(ObjectProperty(:optimumResponse))
ObjectPropertyDomain(:optimumResponse :FormattedIntrusion)
ObjectPropertyRange(:optimumResponse :Response)
Declaration(ObjectProperty(:protectedBy))
ObjectPropertyDomain(:protectedBy :Network)
ObjectPropertyRange(:protectedBy :IntrusionResponseSystem)
Declaration(ObjectProperty(:receivedFormattedIntrusion))
ObjectPropertyDomain(:receivedFormattedIntrusion :IntrusionResponseSystem)
ObjectPropertyRange(:receivedFormattedIntrusion :FormattedIntrusion)
Declaration(ObjectProperty(:recommendedProactiveResponses))
ObjectPropertyDomain(:recommendedProactiveResponses :FormattedIntrusion)
ObjectPropertyRange(:recommendedProactiveResponses :Response)
Declaration(ObjectProperty(:recommendedResponses))
ObjectPropertyDomain(:recommendedResponses :FormattedIntrusion)
ObjectPropertyRange(:recommendedResponses :Response)
ObjectPropertyRange(swrla:hasRuleGroup swrla:Entity)
Declaration(DataProperty(:componentID))
DataPropertyRange(:componentID xsd:int)
Declaration(DataProperty(:componentLevelOfImportance))
DataPropertyRange(:componentLevelOfImportance xsd:string)
Declaration(DataProperty(:intrusionSeverity))
Declaration(DataProperty(:orientedToIntrusionType))
Declaration(DataProperty(:realintrusionImpact))
DataPropertyRange(:realintrusionImpact xsd:int)
Declaration(DataProperty(:reportIntrusionType))
Declaration(DataProperty(:responseAbsSeverity))
Declaration(DataProperty(:responseCost))
DataPropertyDomain(:responseCost :Response)
Declaration(DataProperty(:responseImpact))
DataPropertyDomain(:responseImpact :Response)
DataPropertyRange(:responseImpact xsd:int)
Declaration(DataProperty(:responseRelSeverity))
Declaration(DataProperty(:targetOfIntrusionID))
DataPropertyRange(:targetOfIntrusionID xsd:int)
DataPropertyDomain(swrla:isRuleGroupEnabled swrla:Entity)
DLSafeRule(Body(ObjectPropertyAtom(:hasResponseReport Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport1>)) ObjectPropertyAtom(:hasResponseReport Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport2>)) DataPropertyAtom(:componentID Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#component>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#componentid>)) DataPropertyAtom(:componentLevelOfImportance Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#component>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#cloi>)) DataPropertyAtom(:intrusionSeverity Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intseverity>)) DataPropertyAtom(:orientedToIntrusionType Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#oit1>)) DataPropertyAtom(:orientedToIntrusionType Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#oit2>)) DataPropertyAtom(:reportIntrusionType Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rit1>)) DataPropertyAtom(:reportIntrusionType Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rit2>)) DataPropertyAtom(:responseAbsSeverity Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respabsseverity1>)) DataPropertyAtom(:responseAbsSeverity Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respabsseverity2>)) DataPropertyAtom(:responseRelSeverity Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rrsev1>)) DataPropertyAtom(:responseRelSeverity Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#presreport2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rrsev2>)) DataPropertyAtom(:targetOfIntrusionID Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#targetID>)) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#cloi>) "high"^^xsd:string) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rit1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#oit1>)) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rit2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#oit2>)) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#targetID>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#componentid>)) BuiltInAtom(swrlb:greaterThan Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rrsev1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#rrsev2>)) BuiltInAtom(swrlb:greaterThanOrEqual Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respabsseverity1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intseverity>)) BuiltInAtom(swrlb:greaterThanOrEqual Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respabsseverity2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intseverity>)))Head(ObjectPropertyAtom(:optimumResponse Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>))))
AnnotationAssertion(rdfs:comment <http://www.owl-ontologies.com/AIRSOntology.owl#MinimumCostMetricRule> "Minimum Cost Metric (4.2.2)"^^xsd:string)
AnnotationAssertion(rdfs:comment <http://www.owl-ontologies.com/AIRSOntology.owl#DamageIntrusionMetricRule> "Damege Intrusion Metric Rule (4.2.1)"^^xsd:string)
AnnotationAssertion(rdfs:comment <http://www.owl-ontologies.com/AIRSOntology.owl#HighestSeverityAndHighestEfficiencyMetricRule> "Highest Severity And Highest Efficiency Metric Rule (4.2.3)"^^xsd:string)
DLSafeRule(Body(DataPropertyAtom(:realintrusionImpact Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intimpact>)) DataPropertyAtom(:responseImpact Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#resimpact1>)) BuiltInAtom(swrlb:lessThanOrEqual Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#resimpact1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intimpact>)))Head())
DLSafeRule(Body(DataPropertyAtom(:componentID Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#component>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#componentid>)) DataPropertyAtom(:componentLevelOfImportance Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#component>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#cloi>)) DataPropertyAtom(:responseCost Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respcost1>)) DataPropertyAtom(:responseCost Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon2>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respcost2>)) DataPropertyAtom(:targetOfIntrusionID Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#targetID>)) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#cloi>) "low"^^xsd:string) BuiltInAtom(swrlb:equal Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#targetID>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#componentid>)) BuiltInAtom(swrlb:lessThanOrEqual Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respcost1>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respcost2>)))Head(ObjectPropertyAtom(:optimumResponse Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#intrusion>) Variable(<http://www.owl-ontologies.com/AIRSOntology.owl#respon1>))))
)