use pattern for states, closes #12 (5eb44fa7) · Commits · SAREF / saref4auto

ontology/saref4auto.ttl

+172 −253

Original line number	Diff line number	Diff line
		@@ -241,16 +241,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "hasOrigin"@en .


		### https://saref.etsi.org/saref4auto/AutomotiveState
		:AutomotiveState a owl:Class ;
		rdfs:subClassOf saref:State ,
		[ a owl:Restriction ;
		owl:onProperty saref:hasTimestamp ;
		owl:allValuesFrom xsd:dateTime
		] ;
		rdfs:label "AutomotiveState"@en ;
		rdfs:comment "A class dedicated to describe the relevant states in the automotive domain"@en .


		### https://saref.etsi.org/saref4auto/hasPlatoonMember
		:hasPlatoonMember rdf:type owl:ObjectProperty ;
		@@ -321,12 +311,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "hasSize"@en .


		### https://saref.etsi.org/saref4auto/hasState
		:hasState rdf:type owl:ObjectProperty ;
		rdfs:comment "An hasState relation to connect to a certain state. The saref:hasState property could not be reused because it has domain saref:Device, but a s4auto:Platoon or s4auto:Vehicle are not devices. Therefore, a new s4auto:hasState property with subroperties has been created."@en ;
		rdfs:label "hasState"@en .


		### https://saref.etsi.org/saref4auto/hasVehicleEnvironmentMember
		:hasVehicleEnvironmentMember rdf:type owl:ObjectProperty ;
		rdfs:subPropertyOf :hasMember ;
		@@ -509,27 +493,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "AngularDirection"@en .


		### https://saref.etsi.org/saref4auto/Assembling
		:Assembling rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonState ;
		rdfs:comment "A type of state for Platoon"@en ;
		rdfs:label "assembling"@en .


		### https://saref.etsi.org/saref4auto/AtDropOffSpot
		:AtDropOffSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "At Drop Off Spot"@en .


		### https://saref.etsi.org/saref4auto/AtPickUpSpot
		:AtPickUpSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "At Pick Up Spot"@en .


		### https://saref.etsi.org/saref4auto/AutomationLevel
		:AutomationLevel rdf:type owl:Class ;
		rdfs:comment "The level of automation a platoon of vehicles or a singular vehicle"@en ;
		@@ -570,21 +533,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "cardinality unit"@en .


		### https://saref.etsi.org/saref4auto/Charging
		:Charging rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpotState ,
		:ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Spot or for Parking Vehicle"@en ;
		rdfs:label "charging"@en .


		### https://saref.etsi.org/saref4auto/Closed
		:Closed rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "closed"@en .


		### https://saref.etsi.org/saref4auto/Confidence
		:Confidence rdf:type owl:Class ;
		rdfs:subClassOf [ rdf:type owl:Restriction ;
		@@ -626,28 +574,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "CriticalObject"@en .


		### https://saref.etsi.org/saref4auto/Disengaging
		:Disengaging rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonState ,
		:PlatoonVehicleState ;
		rdfs:comment "A type of state for Platoon or for a Vehicle in a Platoon"@en ;
		rdfs:label "disengaging"@en .


		### https://saref.etsi.org/saref4auto/DrivingToParkingSpot
		:DrivingToParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Driving To Parking Spot"@en .


		### https://saref.etsi.org/saref4auto/DrivingToPickUpSpot
		:DrivingToPickUpSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Driving To Pick Up Spot"@en .


		### https://saref.etsi.org/saref4auto/ElectricChargingParkingSpot
		:ElectricChargingParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpot ;
		@@ -694,27 +620,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "EndPoint"@en .


		### https://saref.etsi.org/saref4auto/Engaging
		:Engaging rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "engaging"@en .


		### https://saref.etsi.org/saref4auto/Forming
		:Forming rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "forming"@en .


		### https://saref.etsi.org/saref4auto/Free
		:Free rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "free"@en .


		### https://saref.etsi.org/saref4auto/Heading
		:Heading rdf:type owl:Class ;
		rdfs:subClassOf saref:Property ;
		@@ -817,13 +722,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "NotifiedEvent"@en .


		### https://saref.etsi.org/saref4auto/Occupied
		:Occupied rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "occupied"@en .


		### https://saref.etsi.org/saref4auto/P1Pedestrian
		:P1Pedestrian rdf:type owl:Class ;
		rdfs:subClassOf :VulnerableRoadUser ;
		@@ -852,20 +750,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "P4 Animal"@en .


		### https://saref.etsi.org/saref4auto/Parked
		:Parked rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "parked"@en .


		### https://saref.etsi.org/saref4auto/Parking
		:Parking rdf:type owl:Class ;
		rdfs:subClassOf :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "parking"@en .


		### https://saref.etsi.org/saref4auto/ParkingSpot
		:ParkingSpot rdf:type owl:Class ;
		rdfs:subClassOf geosp:Feature ,
		@@ -894,7 +778,7 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		owl:someValuesFrom :Width
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasAutomotiveState ;
		owl:onProperty saref:hasState ;
		owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
		owl:onClass :ParkingSpotState
		] ,
		@@ -913,24 +797,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "ParkingSpotPoint"@en .


		### https://saref.etsi.org/saref4auto/ParkingSpotState
		:ParkingSpotState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		skos:broader :AutomotiveState ;
		skos:narrower :ParkingSpotState , :Charging , :Closed , :Free , :Occupied , :Reserved ;
		rdfs:comment "A parking spot has a state. Possible values for parking spot state are Free, occupied, reserved, closed, charging"@en ;
		rdfs:label "ParkingSpotState"@en .


		### https://saref.etsi.org/saref4auto/ParkingVehicleState
		:ParkingVehicleState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		skos:broader :AutomotiveState ;
		skos:narrower :AtDropOffSpot , :AtPickUpSpot , :DrivingToParkingSpot , :DrivingToPickUpSpot , :Parked , :Parking ;
		rdfs:comment "A vehicle can be found at different states (or parking phases) during parking . Possible values for parking state (or parking phase) of a vehicle are: At drop-off spot, at pick-up spot, driving to parking spot, driving to pick up spot, parking, parked, charging."@en ;
		rdfs:label "ParkingVehicleState"@en .


		### https://saref.etsi.org/saref4auto/PassengerCar
		:PassengerCar rdf:type owl:Class ;
		rdfs:subClassOf :Car ;
		@@ -938,15 +804,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "PassengerCar"@en .


		### https://saref.etsi.org/saref4auto/PerceptionState
		:PerceptionState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		skos:broader :AutomotiveState ;
		# skos:narrower :AutomotiveState ;
		rdfs:comment "A state of the vehicle related to its environment"@en ;
		rdfs:label "perception state"@en .


		### https://saref.etsi.org/saref4auto/PersonalDevice
		:PersonalDevice rdf:type owl:Class ;
		rdfs:subClassOf saref:Device ,
		@@ -974,7 +831,7 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		owl:someValuesFrom :Vehicle
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasAutomotiveState ;
		owl:onProperty saref:hasState ;
		owl:someValuesFrom :PlatoonState
		] ,
		[ rdf:type owl:Restriction ;
		@@ -1017,32 +874,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:comment "In platoon a vehicle can assume roles such as: unknown, leader, follower, ready-for-leading, trailing, etc."@en ;
		rdfs:label "PlatoonRole"@en .


		### https://saref.etsi.org/saref4auto/PlatoonState
		:PlatoonState rdf:type owl:Class ;
		skos:broader :AutomotiveState ;
		skos:narrower :Assembling , :Disengaging , :Platooning , :Standalone , :Unknown ;
		rdfs:comment "The state of a platoon. Examples of states for a platoon are: unknown, standalone, assembling, platooning, disengaging, etc."@en ;
		rdfs:label "PlatoonState"@en .


		### https://saref.etsi.org/saref4auto/PlatoonVehicleState
		:PlatoonVehicleState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		skos:broader :AutomotiveState ;
		skos:narrower :Disengaging , :Platooning , :Standalone , :Unknown , :Engaging , :Forming , :Shape ;
		rdfs:comment "Examples of states for a vehicle in a platoon are: unknown, standalone, engaging, platooning, disengaging, searching, forming."@en ;
		rdfs:label "PlatoonVehicleState"@en .


		### https://saref.etsi.org/saref4auto/Platooning
		:Platooning rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonState ,
		:PlatoonVehicleState ;
		rdfs:comment "A type of state for Platoon or for a Vehicle in a Platoon"@en ;
		rdfs:label "platooning"@en .


		### https://saref.etsi.org/saref4auto/Point
		:Point rdf:type owl:Class ;
		rdfs:subClassOf geosp:Geometry ,
		@@ -1115,13 +946,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "RendezvousLocation"@en .


		### https://saref.etsi.org/saref4auto/Reserved
		:Reserved rdf:type owl:Class ;
		rdfs:subClassOf :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "reserved"@en .


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


		### https://saref.etsi.org/saref4auto/Searching
		:Searching rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Searching"@en .


		### https://saref.etsi.org/saref4auto/Shape
		:Shape rdf:type owl:Class ;
		rdfs:subClassOf saref:Property ;
		@@ -1332,14 +1149,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "speed unit"@en .


		### https://saref.etsi.org/saref4auto/Standalone
		:Standalone rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonState ,
		:PlatoonVehicleState ;
		rdfs:comment "A type of state for Platoon or for a Vehicle in a Platoon"@en ;
		rdfs:label "standalone"@en .


		### https://saref.etsi.org/saref4auto/StartPoint
		:StartPoint rdf:type owl:Class ;
		rdfs:subClassOf :Point ;
		@@ -1347,17 +1156,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "StartPoint"@en .


		### https://saref.etsi.org/saref4auto/State
		:State rdf:type owl:Class ;
		rdfs:subClassOf saref:State ,
		[ rdf:type owl:Restriction ;
		owl:onProperty saref:hasTimestamp ;
		owl:someValuesFrom xsd:dateTime
		] ;
		rdfs:comment "A class dedicated to describe the relevant states in the automotive domain"@en ;
		rdfs:label "State"@en .


		### https://saref.etsi.org/saref4auto/StationID
		:StationID rdf:type owl:Class ;
		rdfs:subClassOf :Identifier ;
		@@ -1407,14 +1205,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:label "UUID"@en .


		### https://saref.etsi.org/saref4auto/Unknown
		:Unknown rdf:type owl:Class ;
		rdfs:subClassOf :PlatoonState ,
		:PlatoonVehicleState ;
		rdfs:comment "A type of state for Platoon or for a Vehicle in a Platoon"@en ;
		rdfs:label "unknown"@en .


		### https://saref.etsi.org/saref4auto/Vehicle
		:Vehicle rdf:type owl:Class ;
		rdfs:subClassOf saref:FeatureOfInterest ,
		@@ -1461,7 +1251,7 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		owl:someValuesFrom :Length
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasAutomotiveState ;
		owl:onProperty saref:hasState ;
		owl:someValuesFrom :PlatoonVehicleState
		] ,
		[ rdf:type owl:Restriction ;
		@@ -1472,10 +1262,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		owl:onProperty :hasPlatoonRole ;
		owl:someValuesFrom :PlatoonRole
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasAutomotiveState ;
		owl:someValuesFrom :PlatoonVehicleState
		] ,
		[ rdf:type owl:Restriction ;
		owl:onProperty :hasRelativePosition ;
		owl:someValuesFrom :RelativePosition
		@@ -1605,6 +1391,7 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		# Individuals
		#################################################################


		### https://saref.etsi.org/saref4auto/agriculture
		:Agriculture rdf:type owl:NamedIndividual ,
		:VehicleRole ;
		@@ -1744,54 +1531,186 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
		rdfs:comment "A type of vehicle role"@en ;
		rdfs:label "taxi"@en .

		### https://saref.etsi.org/saref4auto/trailing
		:Trailing rdf:type owl:NamedIndividual ,
		:PlatoonRole ;
		rdfs:comment "A type of platoon role"@en ;
		rdfs:label "trailing"@en .


		### https://saref.etsi.org/saref4auto/unknown
		:Unknown rdf:type owl:NamedIndividual ,
		:PlatoonRole ;
		rdfs:comment "A type of platoon role"@en ;
		rdfs:label "unknown"@en .


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

		:AutomotiveState a owl:Class ;
		rdfs:subClassOf saref:State ;
		rdfs:label "Automotive State"@en ;
		rdfs:comment "Class of states related to the automotive domain."@en .

		### https://saref.etsi.org/saref4auto/PlatoonStateKind
		:PlatoonStateKind a owl:NamedIndividual ,
		:PlatoonState ;
		rdfs:comment "A king of platoon state"@en ;
		rdfs:label "platoon state kind"@en .
		### SAREF patterns for states: for parking spots

		:ParkingSpotState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		rdfs:comment "The class of states related to parking spots. Possible values for parking spot state are Free, occupied, reserved, closed, charging"@en ;
		rdfs:label "Parking Spot State"@en ;
		rdfs:subClassOf [ a owl:Restriction ; owl:onProperty saref:isStateOf ; owl:hasValue :ParkingSpot ] .

		### https://saref.etsi.org/saref4auto/PlatoonVehicleStateKind
		:PlatoonVehicleStateKind a owl:NamedIndividual ,
		:PlatoonVehicleState ;
		rdfs:comment "A king of platoon vehicle state"@en ;
		rdfs:label "platoon vehicle state kind"@en .
		:ParkingSpotStateFree rdf:type saref:State, :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "Parking Spot State free"@en ;
		saref:isStateOf :ParkingSpot .

		:ParkingSpotStateOccupied rdf:type saref:State, :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "Parking Spot State occupied"@en ;
		saref:isStateOf :ParkingSpot .

		### https://saref.etsi.org/saref4auto/ParkingVehicleStateKind
		:ParkingVehicleStateKind a owl:NamedIndividual ,
		:ParkingVehicleState ;
		rdfs:comment "A king of parking vehicle state"@en ;
		rdfs:label "parking vehicle state kind"@en .
		:ParkingSpotStateReserved rdf:type saref:State, :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "Parking Spot State reserved"@en ;
		saref:isStateOf :ParkingSpot .

		:ParkingSpotStateClosed rdf:type saref:State, :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "Parking Spot State closed"@en ;
		saref:isStateOf :ParkingSpot .

		### https://saref.etsi.org/saref4auto/ParkingSpotStateKind
		:ParkingSpotStateKind a owl:NamedIndividual ,
		:ParkingSpotState ;
		rdfs:comment "A king of parking spot state"@en ;
		rdfs:label "parking spot state kind"@en .
		:ParkingSpotStateCharging rdf:type saref:State, :ParkingSpotState ;
		rdfs:comment "A type of state for Parking Spot"@en ;
		rdfs:label "Parking Spot State charging"@en ;
		saref:isStateOf :ParkingSpot .


		### https://saref.etsi.org/saref4auto/PerceptionStateKind
		:PerceptionStateKind a owl:NamedIndividual ,
		:PerceptionState ;
		rdfs:comment "A king of perception state"@en ;
		rdfs:label "perception state kind"@en .
		### SAREF patterns for states: for parking vehicle

		:ParkingVehicleState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		rdfs:comment "The class of states related to the parking phases of a vehicle."@en ;
		rdfs:label "Parking Vehicle State"@en ;
		saref:isStateOf :ParkingVehicle .

		### https://saref.etsi.org/saref4auto/trailing
		:Trailing rdf:type owl:NamedIndividual ,
		:PlatoonRole ;
		rdfs:comment "A type of platoon role"@en ;
		rdfs:label "trailing"@en .
		:ParkingVehicleStateParked rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State parked"@en ;
		saref:isStateOf :ParkingVehicle .

		:ParkingVehicleStateParking rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State parking"@en ;
		saref:isStateOf :ParkingVehicle .

		### https://saref.etsi.org/saref4auto/unknown
		:Unknown rdf:type owl:NamedIndividual ,
		:PlatoonRole ;
		rdfs:comment "A type of platoon role"@en ;
		rdfs:label "unknown"@en .
		:ParkingVehicleStateDrivingToParkingSpot rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State Driving To Parking Spot"@en ;
		saref:isStateOf :ParkingVehicle .

		:ParkingVehicleStateDrivingToPickUpSpot rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State Driving To Pick Up Spot"@en ;
		saref:isStateOf :ParkingVehicle .

		:ParkingVehicleStateAtDropOffSpot rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State At Drop Off Spot"@en ;
		saref:isStateOf :ParkingVehicle .

		:ParkingVehicleStateAtPickUpSpot rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State At Pick Up Spot"@en ;
		saref:isStateOf :ParkingVehicle .

		:ParkingVehicleStateCharging rdf:type saref:State, :ParkingVehicleState ;
		rdfs:comment "A type of state for Parking Vehicle"@en ;
		rdfs:label "Parking Vehicle State charging"@en ;
		saref:isStateOf :ParkingVehicle .


		### SAREF patterns for states: for platoon vehicle

		:PlatoonVehicleState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		rdfs:comment "The class of states of platoon vehicles. Examples of states are: standalone, engaging, platooning, disengaging, searching, forming."@en ;
		rdfs:label "Platoon Vehicle State"@en .

		:PlatoonVehicleStateSearching rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State Searching"@en ;
		saref:isStateOf :PlatoonVehicle .

		:PlatoonVehicleStateStandalone rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State standalone"@en ;
		saref:isStateOf :PlatoonVehicle .

		:PlatoonVehicleStateDisengaging rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State disengaging"@en ;
		saref:isStateOf :PlatoonVehicle .

		:PlatoonVehicleStatePlatooning rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Platoon"@en ;
		rdfs:label "Platoon Vehicle State platooning"@en ;
		saref:isStateOf :PlatoonVehicle .

		:PlatoonVehicleStateEngaging rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State engaging"@en ;
		saref:isStateOf :PlatoonVehicle .

		### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
		:PlatoonVehicleStateForming rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:subClassOf :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State forming"@en ;
		saref:isStateOf :PlatoonVehicle .

		:PlatoonVehicleStateUnknown rdf:type saref:State, :PlatoonVehicleState ;
		rdfs:subClassOf :PlatoonVehicleState ;
		rdfs:comment "A type of state for a Vehicle in a Platoon"@en ;
		rdfs:label "Platoon Vehicle State unknown"@en ;
		saref:isStateOf :PlatoonVehicle .


		### SAREF patterns for states: for platoon

		:PlatoonState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		rdfs:comment "The class of states of platoons. Examples of states for a platoon are: unknown, standalone, assembling, platooning, disengaging, etc."@en ;
		rdfs:label "Platoon State"@en .

		:PlatoonStateStandalone rdf:type saref:State, :PlatoonState ;
		rdfs:comment "A type of state for a Platoon"@en ;
		rdfs:label "Platoon State standalone"@en ;
		saref:isStateOf :Platoon .

		:PlatoonStateAssembling rdf:type saref:State, :PlatoonState ;
		rdfs:comment "A type of state for Platoon"@en ;
		rdfs:label "Platoon State assembling"@en ;
		saref:isStateOf :Platoon .

		:PlatoonStatePlatooning rdf:type saref:State, :PlatoonState ;
		rdfs:comment "A type of state for a Platoon"@en ;
		rdfs:label "Platoon Stateplatooning"@en ;
		saref:isStateOf :Platoon .

		:PlatoonStateDisengaging rdf:type saref:State, :PlatoonState ;
		rdfs:comment "A type of state for a Platoon"@en ;
		rdfs:label "Platoon State disengaging"@en ;
		saref:isStateOf :Platoon .

		:PlatoonStateUnknown rdf:type saref:State, :PlatoonState ;
		rdfs:comment "A type of state for a Platoon"@en ;
		rdfs:label "Platoon State unknown"@en ;
		saref:isStateOf :Platoon .


		### SAREF patterns for states: for perception

		:PerceptionState rdf:type owl:Class ;
		rdfs:subClassOf :AutomotiveState ;
		rdfs:comment "The class of states describing the relation of a vehicle with respect to its environment"@en ;
		rdfs:label "Perception State"@en .

Admin message