closes #32: define criticalobject as a feature kind, with narrower kinds (7c5bd966) · Commits · SAREF / saref4auto

ontology/saref4auto.ttl

+33 −58

Original line number	Diff line number	Diff line
		@@ -141,33 +141,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "AutomotiveObject"@en .


		### https://saref.etsi.org/saref4auto/CriticalObject
		:CriticalObject rdf:type owl:Class ;
		rdfs:subClassOf owl:Thing ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasProperty ;
		owl:hasValue :Height
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasProperty ;
		owl:hasValue :Length
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasState ;
		owl:someValuesFrom :Movement
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasShape ;
		owl:someValuesFrom :Shape
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasWidth ;
		owl:hasValue :Width
		] ;
		rdfs:comment "A critical object located on the road. Critical objects are small object, medium object, large object"@en ;
		rdfs:label "CriticalObject"@en .


		### https://saref.etsi.org/saref4auto/ElectricChargingParkingSpot
		:ElectricChargingParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		@@ -207,20 +180,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "ElectronicControlUnit"@en .


		### https://saref.etsi.org/saref4auto/LargeObject
		:LargeObject rdf:type owl:Class ;
		rdfs:subClassOf :CriticalObject ;
		rdfs:comment "A type of Critical Object"@en ;
		rdfs:label "Large Object"@en .


		### https://saref.etsi.org/saref4auto/MediumObject
		:MediumObject rdf:type owl:Class ;
		rdfs:subClassOf :CriticalObject ;
		rdfs:comment "A type of Critical Object"@en ;
		rdfs:label "Medium Object"@en .


		### https://saref.etsi.org/saref4auto/NotifiedEvent
		:NotifiedEvent rdf:type owl:Class ;
		rdfs:subClassOf owl:Thing ;
		@@ -333,7 +292,7 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:consistsOf ;
		owl:someValuesFrom :CriticalObject
		owl:someValuesFrom [ a owl:Restriction ; owl:onProperty saref:hasFeatureKind ; owl:hasValue :CriticalObject ] ;
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:consistsOf ;
		@@ -360,8 +319,8 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		owl:hasValue :RelativePosition
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasShape ;
		owl:someValuesFrom :Shape
		owl:onProperty saref:hasProperty ;
		owl:hasValue :Shape
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasWidth ;
		@@ -453,13 +412,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "Route"@en .


		### https://saref.etsi.org/saref4auto/SmallObject
		:SmallObject rdf:type owl:Class ;
		rdfs:subClassOf :CriticalObject ;
		rdfs:comment "A type of Critical Object"@en ;
		rdfs:label "Small Object"@en .


		### https://saref.etsi.org/saref4auto/SpecialPermitParkingSpot
		:SpecialPermitParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		@@ -627,6 +579,32 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		# Individuals
		#################################################################



		### Instances of CriticalObject

		:CriticalObject rdf:type saref:FeatureKind ;
		saref:hasProperty :Height , :Length , :Width , :Shape ;
		saref:hasState :Movement ;
		rdfs:comment "A critical object located on the road. Critical objects are small object, medium object, large object"@en ;
		rdfs:label "Critical Object"@en .

		:LargeObject rdf:type saref:FeatureKind ;
		skos:broader :CriticalObject ;
		rdfs:comment "A kind of Critical Object"@en ;
		rdfs:label "Large Object"@en .

		:MediumObject rdf:type saref:FeatureKind ;
		skos:broader :CriticalObject ;
		rdfs:comment "A kind of Critical Object"@en ;
		rdfs:label "Medium Object"@en .

		:SmallObject rdf:type saref:FeatureKind ;
		skos:broader :CriticalObject ;
		rdfs:comment "A kind of Critical Object"@en ;
		rdfs:label "Small Object"@en .


		### Instances of VehicleKind

		:Car rdf:type :VehicleKind ;
		@@ -891,6 +869,10 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:comment "The location where the vehicle member joins a platoon" ;
		rdfs:label "Rendez-vous Location"@en .

		:Shape rdf:type saref:Property ;
		rdfs:comment "The shape of an entity: i.e., Sphere, Torus, Cylinder, Cone, Ellipsoid, Cube, Cuboid, Pyramid, Prism, Multiple shapes"@en ;
		rdfs:label "Shape"@en .

		### SAREF patterns for states: Categorizing states for the automotive domain

		:AutomotiveState a owl:Class ;
		@@ -1090,13 +1072,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "static"@en .


		### SAREF Pattern for states: shape

		:Shape rdf:type owl:Class ;
		rdfs:subClassOf saref:State ;
		rdfs:comment "The state of shape of an entity: i.e., Sphere, Torus, Cylinder, Cone, Ellipsoid, Cube, Cuboid, Pyramid, Prism, Multiple shapes"@en ;
		rdfs:label "Shape"@en .

		### SAREF Pattern for states: automation level

		:PlatoonAutomationLevel rdf:type saref:State ;