closes #33: defines Parking Spot as feature kind with narrower kinds (7491870e) · Commits · SAREF / saref4auto

ontology/saref4auto.ttl

+29 −60

Original line number	Diff line number	Diff line
		@@ -83,13 +83,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "has Environment"@en .


		### https://saref.etsi.org/saref4auto/hasOpeningTimeAvailability
		:hasOpeningTimeAvailability rdf:type owl:ObjectProperty ;
		rdfs:range time:TemporalEntity ;
		rdfs:comment "A relation to express the opening time of parking spot"@en ;
		rdfs:label "hasOpeningTimeAvailability"@en .


		### https://saref.etsi.org/saref4auto/hasPlatoonRole
		:hasPlatoonRole rdf:type owl:ObjectProperty ;
		rdfs:subPropertyOf :hasRole ;
		@@ -141,13 +134,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "AutomotiveObject"@en .


		### https://saref.etsi.org/saref4auto/ElectricChargingParkingSpot
		:ElectricChargingParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		rdfs:comment "A type pf parking spot"@en ;
		rdfs:label "ElectricChargingParkingSpot"@en .


		### https://saref.etsi.org/saref4auto/ElectronicControlUnit
		:ElectronicControlUnit rdf:type owl:Class ;
		rdfs:subClassOf saref:Device ,
		@@ -187,38 +173,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "NotifiedEvent"@en .


		### https://saref.etsi.org/saref4auto/ParkingSpot
		:ParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf saref:FeatureOfInterest, geo:Feature ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasProperty ;
		owl:hasValue :Height
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasIdentifier ;
		owl:minCardinality 1
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasProperty ;
		owl:hasValue :Length
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasOpeningTimeAvailability ;
		owl:someValuesFrom time:TemporalEntity
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasWidth ;
		owl:hasValue :Width
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasState ;
		owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
		owl:onClass :ParkingSpotState
		] ;
		rdfs:comment "A location that is designated for parking. A parking spot is a geo:Feature and can thus have a geometry."@en ;
		rdfs:label "ParkingSpot"@en .


		### https://saref.etsi.org/saref4auto/PersonalDevice
		:PersonalDevice rdf:type owl:Class ;
		rdfs:subClassOf saref:Device ,
		@@ -272,13 +226,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "PlatoonRole"@en .


		### https://saref.etsi.org/saref4auto/RegularParkingSpot
		:RegularParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		rdfs:comment "A type pf parking spot"@en ;
		rdfs:label "RegularParkingSpot"@en .


		### https://saref.etsi.org/saref4auto/RoadEntity
		:RoadEntity rdf:type owl:Class ;
		rdfs:subClassOf saref:FeatureOfInterest ,
		@@ -412,13 +359,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "Route"@en .


		### https://saref.etsi.org/saref4auto/SpecialPermitParkingSpot
		:SpecialPermitParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		rdfs:comment "A type pf parking spot. Parking spot reserved for special permits (authorities, disabled, blue Zone, resident ...)"@en ;
		rdfs:label "SpecialPermitParkingSpot"@en .


		### https://saref.etsi.org/saref4auto/TrafficLightController
		:TrafficLightController rdf:type owl:Class ;
		rdfs:subClassOf :RoadSideActuator ;
		@@ -873,6 +813,10 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		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 .

		:OpeningTimeAvailability rdf:type owl:ObjectProperty ;
		rdfs:comment "The opening time of a parking spot."@en ;
		rdfs:label "has opening time availability"@en .

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

		:AutomotiveState a owl:Class ;
		@@ -880,6 +824,31 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "Automotive State"@en ;
		rdfs:comment "Class of states related to the automotive domain."@en .


		### SAREF patterns for feature kinds: for parking spots

		:ParkingSpot rdf:type saref:FeatureKind ;
		saref:hasProperty :Height , :Length , :Width , :OpeningTimeAvailability ;
		saref:hasState :ParkingSpotState ;
		rdfs:comment "A location that is designated for parking. A parking spot is a geo:Feature and can thus have a geometry."@en ;
		rdfs:label "ParkingSpot"@en .

		:ElectricChargingParkingSpot rdf:type saref:FeatureKind ;
		skos:broader :ParkingSpot ;
		rdfs:comment "A type pf parking spot"@en ;
		rdfs:label "ElectricChargingParkingSpot"@en .

		:RegularParkingSpot rdf:type saref:FeatureKind ;
		skos:broader :ParkingSpot ;
		rdfs:comment "A type pf parking spot"@en ;
		rdfs:label "RegularParkingSpot"@en .

		:SpecialPermitParkingSpot rdf:type saref:FeatureKind ;
		skos:broader :ParkingSpot ;
		rdfs:comment "A type pf parking spot. Parking spot reserved for special permits (authorities, disabled, blue Zone, resident ...)"@en ;
		rdfs:label "SpecialPermitParkingSpot"@en .


		### SAREF patterns for states: for parking spots

		:ParkingSpotState rdf:type owl:Class ;