@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix SA_InformationModel: . @base . rdf:type owl:Ontology . ################################################################# # Annotation properties ################################################################# ### http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://w3id.org/hsu-aut/SA_InformationModel#AMRexecutes SA_InformationModel:AMRexecutes rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Autonomous_Mobile_Robot ; rdfs:range SA_InformationModel:Act , SA_InformationModel:Decide , SA_InformationModel:ObserveOrient . ### http://w3id.org/hsu-aut/SA_InformationModel#Association SA_InformationModel:Association rdf:type owl:ObjectProperty . ### http://w3id.org/hsu-aut/SA_InformationModel#DeAggregation SA_InformationModel:DeAggregation rdf:type owl:ObjectProperty . ### http://w3id.org/hsu-aut/SA_InformationModel#Inheritance SA_InformationModel:Inheritance rdf:type owl:ObjectProperty . ### http://w3id.org/hsu-aut/SA_InformationModel#actConsistsOf SA_InformationModel:actConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Inheritance ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Act ; rdfs:range SA_InformationModel:Communication , SA_InformationModel:Locomotion , SA_InformationModel:Manipulation . ### http://w3id.org/hsu-aut/SA_InformationModel#actInfluences SA_InformationModel:actInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Act ; rdfs:range SA_InformationModel:ObserveOrient . ### http://w3id.org/hsu-aut/SA_InformationModel#cmConsistsOf SA_InformationModel:cmConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:ConstraintManagement ; rdfs:range SA_InformationModel:Diagnosis , SA_InformationModel:EnergyManagement , SA_InformationModel:SafetyManagement . ### http://w3id.org/hsu-aut/SA_InformationModel#comConsistsOf SA_InformationModel:comConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Communication ; rdfs:range SA_InformationModel:Proactive , SA_InformationModel:Reactive . ### http://w3id.org/hsu-aut/SA_InformationModel#cwmConsistsOf SA_InformationModel:cwmConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:ConductedWorldModel ; rdfs:range SA_InformationModel:ExternalWorld , SA_InformationModel:InternalWorld . ### http://w3id.org/hsu-aut/SA_InformationModel#decConsistsOf SA_InformationModel:decConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Inheritance ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Decide ; rdfs:range SA_InformationModel:ConstraintManagement , SA_InformationModel:MissionManagement . ### http://w3id.org/hsu-aut/SA_InformationModel#decInfluences SA_InformationModel:decInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Decide ; rdfs:range SA_InformationModel:Act . ### http://w3id.org/hsu-aut/SA_InformationModel#eiConsistsOf SA_InformationModel:eiConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:External_Information ; rdfs:range SA_InformationModel:Area , SA_InformationModel:Fire , SA_InformationModel:Gate , SA_InformationModel:Object , SA_InformationModel:Tank , SA_InformationModel:Time , SA_InformationModel:Weather . ### http://w3id.org/hsu-aut/SA_InformationModel#eiInfluences SA_InformationModel:eiInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:External_Information ; rdfs:range SA_InformationModel:ConductedWorldModel . ### http://w3id.org/hsu-aut/SA_InformationModel#hgiConsistsOf SA_InformationModel:hgiConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:HumanGiven_Information ; rdfs:range SA_InformationModel:Constraint , SA_InformationModel:Mission . ### http://w3id.org/hsu-aut/SA_InformationModel#hgiInfluences SA_InformationModel:hgiInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:HumanGiven_Information ; rdfs:range SA_InformationModel:ConductedWorldModel . ### http://w3id.org/hsu-aut/SA_InformationModel#iiConsistsOf SA_InformationModel:iiConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Internal_Information ; rdfs:range SA_InformationModel:Acceleration , SA_InformationModel:Position , SA_InformationModel:Status , SA_InformationModel:Velocity . ### http://w3id.org/hsu-aut/SA_InformationModel#iiInfluences SA_InformationModel:iiInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Internal_Information ; rdfs:range SA_InformationModel:ConductedWorldModel . ### http://w3id.org/hsu-aut/SA_InformationModel#kiInfluences SA_InformationModel:kiInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:KnowledgeInference ; rdfs:range SA_InformationModel:ConductedWorldModel . ### http://w3id.org/hsu-aut/SA_InformationModel#locoConsistsOf SA_InformationModel:locoConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Locomotion ; rdfs:range SA_InformationModel:AbsoluteMotion , SA_InformationModel:PlatformStabilization . ### http://w3id.org/hsu-aut/SA_InformationModel#manConsistsOf SA_InformationModel:manConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:Manipulation ; rdfs:range SA_InformationModel:Robot-Environment , SA_InformationModel:Robot-Human , SA_InformationModel:Robot-Robot , SA_InformationModel:Self-Manipulation . ### http://w3id.org/hsu-aut/SA_InformationModel#mmConsistsOf SA_InformationModel:mmConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:DeAggregation ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:MissionManagement ; rdfs:range SA_InformationModel:ActionEvaluation , SA_InformationModel:ActionSelection , SA_InformationModel:Plan . ### http://w3id.org/hsu-aut/SA_InformationModel#objectHasTypes SA_InformationModel:objectHasTypes rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Inheritance ; rdfs:domain SA_InformationModel:Object ; rdfs:range SA_InformationModel:Fire , SA_InformationModel:Gate , SA_InformationModel:Tank . ### http://w3id.org/hsu-aut/SA_InformationModel#ooConsistsOf SA_InformationModel:ooConsistsOf rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Inheritance ; rdf:type owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:ObserveOrient ; rdfs:range SA_InformationModel:External_Information , SA_InformationModel:HumanGiven_Information , SA_InformationModel:Internal_Information . ### http://w3id.org/hsu-aut/SA_InformationModel#ooInfluences SA_InformationModel:ooInfluences rdf:type owl:ObjectProperty ; rdfs:subPropertyOf SA_InformationModel:Association ; rdf:type owl:FunctionalProperty , owl:InverseFunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain SA_InformationModel:ObserveOrient ; rdfs:range SA_InformationModel:Decide . ################################################################# # Data properties ################################################################# ### http://w3id.org/hsu-aut/SA_InformationModel#Area_ID SA_InformationModel:Area_ID rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Area ; rdfs:range xsd:int . ### http://w3id.org/hsu-aut/SA_InformationModel#Armed SA_InformationModel:Armed rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Status ; rdfs:range xsd:boolean . ### http://w3id.org/hsu-aut/SA_InformationModel#BatteryPercentage SA_InformationModel:BatteryPercentage rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; rdfs:domain SA_InformationModel:Status ; rdfs:range xsd:integer ; rdfs:comment "0 - 100%" . ### http://w3id.org/hsu-aut/SA_InformationModel#GateIsOpen SA_InformationModel:GateIsOpen rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Gate ; rdfs:range xsd:boolean . ### http://w3id.org/hsu-aut/SA_InformationModel#Groundspeed SA_InformationModel:Groundspeed rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Velocity ; rdfs:range xsd:float . ### http://w3id.org/hsu-aut/SA_InformationModel#LastSamplingTime SA_InformationModel:LastSamplingTime rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Tank ; rdfs:range xsd:dateTimeStamp . ### http://w3id.org/hsu-aut/SA_InformationModel#LocalTime SA_InformationModel:LocalTime rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Time ; rdfs:range xsd:dateTime . ### http://w3id.org/hsu-aut/SA_InformationModel#Object_ID SA_InformationModel:Object_ID rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Object ; rdfs:range xsd:int . ### http://w3id.org/hsu-aut/SA_InformationModel#PositionAltitude SA_InformationModel:PositionAltitude rdf:type owl:DatatypeProperty ; rdfs:range xsd:float . ### http://w3id.org/hsu-aut/SA_InformationModel#PositionLatitude SA_InformationModel:PositionLatitude rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Fire , SA_InformationModel:Gate , SA_InformationModel:Tank ; rdfs:range xsd:float . ### http://w3id.org/hsu-aut/SA_InformationModel#PositionLongitude SA_InformationModel:PositionLongitude rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Fire , SA_InformationModel:Gate , SA_InformationModel:Tank ; rdfs:range xsd:float . ### http://w3id.org/hsu-aut/SA_InformationModel#Timestamp SA_InformationModel:Timestamp rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Communication ; rdfs:range xsd:dateTimeStamp . ### http://w3id.org/hsu-aut/SA_InformationModel#UxV_ID SA_InformationModel:UxV_ID rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Autonomous_Mobile_Robot ; rdfs:range xsd:integer . ### http://w3id.org/hsu-aut/SA_InformationModel#UxV_Type SA_InformationModel:UxV_Type rdf:type owl:DatatypeProperty ; rdfs:domain SA_InformationModel:Autonomous_Mobile_Robot ; rdfs:range xsd:string . ################################################################# # Classes ################################################################# ### http://w3id.org/hsu-aut/SA_InformationModel#AbsoluteMotion SA_InformationModel:AbsoluteMotion rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Acceleration SA_InformationModel:Acceleration rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Act SA_InformationModel:Act rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#ActionEvaluation SA_InformationModel:ActionEvaluation rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#ActionSelection SA_InformationModel:ActionSelection rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Area SA_InformationModel:Area rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Autonomous_Mobile_Robot SA_InformationModel:Autonomous_Mobile_Robot rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Communication SA_InformationModel:Communication rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Act . ### http://w3id.org/hsu-aut/SA_InformationModel#ConductedWorldModel SA_InformationModel:ConductedWorldModel rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Constraint SA_InformationModel:Constraint rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#ConstraintManagement SA_InformationModel:ConstraintManagement rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Decide . ### http://w3id.org/hsu-aut/SA_InformationModel#Decide SA_InformationModel:Decide rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Diagnosis SA_InformationModel:Diagnosis rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#EnergyManagement SA_InformationModel:EnergyManagement rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#ExternalWorld SA_InformationModel:ExternalWorld rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#External_Information SA_InformationModel:External_Information rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:ObserveOrient . ### http://w3id.org/hsu-aut/SA_InformationModel#Fire SA_InformationModel:Fire rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Object . ### http://w3id.org/hsu-aut/SA_InformationModel#Gate SA_InformationModel:Gate rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Object . ### http://w3id.org/hsu-aut/SA_InformationModel#HumanGiven_Information SA_InformationModel:HumanGiven_Information rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:ObserveOrient . ### http://w3id.org/hsu-aut/SA_InformationModel#InternalWorld SA_InformationModel:InternalWorld rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Internal_Information SA_InformationModel:Internal_Information rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:ObserveOrient . ### http://w3id.org/hsu-aut/SA_InformationModel#KnowledgeInference SA_InformationModel:KnowledgeInference rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Locomotion SA_InformationModel:Locomotion rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Act . ### http://w3id.org/hsu-aut/SA_InformationModel#Manipulation SA_InformationModel:Manipulation rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Act . ### http://w3id.org/hsu-aut/SA_InformationModel#Mission SA_InformationModel:Mission rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#MissionManagement SA_InformationModel:MissionManagement rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Decide . ### http://w3id.org/hsu-aut/SA_InformationModel#Object SA_InformationModel:Object rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#ObserveOrient SA_InformationModel:ObserveOrient rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Plan SA_InformationModel:Plan rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#PlatformStabilization SA_InformationModel:PlatformStabilization rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Position SA_InformationModel:Position rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Proactive SA_InformationModel:Proactive rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Reactive SA_InformationModel:Reactive rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Robot-Environment SA_InformationModel:Robot-Environment rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Robot-Human SA_InformationModel:Robot-Human rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Robot-Robot SA_InformationModel:Robot-Robot rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#SafetyManagement SA_InformationModel:SafetyManagement rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Self-Manipulation SA_InformationModel:Self-Manipulation rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Status SA_InformationModel:Status rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Tank SA_InformationModel:Tank rdf:type owl:Class ; rdfs:subClassOf SA_InformationModel:Object . ### http://w3id.org/hsu-aut/SA_InformationModel#Time SA_InformationModel:Time rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Velocity SA_InformationModel:Velocity rdf:type owl:Class . ### http://w3id.org/hsu-aut/SA_InformationModel#Weather SA_InformationModel:Weather rdf:type owl:Class . ### Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi