diff --git a/examples/example1.ttl b/examples/example1.ttl index d84fe0c22c7cf27bc7961343c6b5f465ed1eb559..208d48b99c2f51958955d35d71a2b1db5f6ee356 100644 --- a/examples/example1.ttl +++ b/examples/example1.ttl @@ -1,25 +1,34 @@ -@prefix : . + +@prefix ex: . +@prefix om: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . -@base . - - rdf:type owl:Ontology ; - "An example of SAREF4AUTO for the use cases Platooning, AVP and CPS"@en ; - ; - ; - ; - "Example instances for SAREF extension to automotive"@en ; - "s4auto-ex" ; - "https://saref.etsi.org/saref4auto/example/" ; - owl:versionInfo "1.0" . - +@prefix time: . +@prefix geosp: . +@prefix saref: . +@prefix s4auto: . +@prefix s4syst: . +@prefix dctype: . +@prefix dcterms: . + + + a dctype:Dataset ; + dcterms:license ; + dcterms:conformsTo ; + dcterms:title "Example instances for SAREF extension to automotive"@en ; + dcterms:description "An example of SAREF4AUTO for the use cases Platooning, AVP and CPS"@en . + + ################################################################# # Annotation properties ################################################################# +### http://purl.org/dc/terms/conformsTo + rdf:type owl:AnnotationProperty . + ### http://purl.org/dc/terms/description rdf:type owl:AnnotationProperty . @@ -28,31 +37,15 @@ rdf:type owl:AnnotationProperty . -### http://purl.org/dc/terms/publisher - rdf:type owl:AnnotationProperty . - - -### http://purl.org/dc/terms/source - rdf:type owl:AnnotationProperty . - - ### http://purl.org/dc/terms/title rdf:type owl:AnnotationProperty . -### http://purl.org/vocab/vann/preferredNamespacePrefix - rdf:type owl:AnnotationProperty . - - -### http://purl.org/vocab/vann/preferredNamespaceUri - rdf:type owl:AnnotationProperty . - ################################################################# # Object Properties ################################################################# - ### http://www.opengis.net/ont/geosparql#hasGeometry rdf:type owl:ObjectProperty . @@ -65,21 +58,20 @@ rdf:type owl:ObjectProperty . - ### https://saref.etsi.org/core/hasConfidenceUnitOfMeasure - rdf:type owl:ObjectProperty . +saref:hasConfidenceUnitOfMeasure rdf:type owl:ObjectProperty . ### https://saref.etsi.org/core/hasProperty - rdf:type owl:ObjectProperty . +saref:hasProperty rdf:type owl:ObjectProperty . ### https://saref.etsi.org/core/isMeasuredIn - rdf:type owl:ObjectProperty . +saref:isMeasuredIn rdf:type owl:ObjectProperty . ### https://saref.etsi.org/core/relatesToMeasurement - rdf:type owl:ObjectProperty . +saref:relatesToMeasurement rdf:type owl:ObjectProperty . ### https://saref.etsi.org/saref4auto/consistsOfEntity @@ -178,9 +170,8 @@ rdf:type owl:ObjectProperty . - ################################################################# -# Data Properties +# Data properties ################################################################# ### http://www.w3.org/2003/01/geo/wgs84_pos#alt @@ -198,11 +189,14 @@ ### http://www.w3.org/2006/time#inXSDDateTimeStamp rdf:type owl:DatatypeProperty . + ### https://saref.etsi.org/core/hasTimestamp - rdf:type owl:DatatypeProperty . +saref:hasTimestamp rdf:type owl:DatatypeProperty . + ### https://saref.etsi.org/core/hasValue - rdf:type owl:DatatypeProperty . +saref:hasValue rdf:type owl:DatatypeProperty . + ### https://saref.etsi.org/saref4auto/hasConfidenceValue rdf:type owl:DatatypeProperty . @@ -223,6 +217,7 @@ ### https://saref.etsi.org/saref4auto/hasIDValue rdf:type owl:DatatypeProperty . + ### https://saref.etsi.org/saref4auto/hasMaxSize rdf:type owl:DatatypeProperty . @@ -231,7 +226,6 @@ rdf:type owl:DatatypeProperty . - ################################################################# # Classes ################################################################# @@ -245,7 +239,7 @@ ### https://saref.etsi.org/core/Measurement - rdf:type owl:Class . +saref:Measurement rdf:type owl:Class . ### https://saref.etsi.org/saref4auto/AbsolutePosition @@ -420,6 +414,24 @@ # Individuals ################################################################# +### http://www.ontology-of-units-of-measure.org/resource/om-2/kilometrePerHour +om:kilometrePerHour rdf:type owl:NamedIndividual , + . + + +### http://www.ontology-of-units-of-measure.org/resource/om-2/metre +om:metre rdf:type owl:NamedIndividual , + , + , + . + + +### https://saref.etsi.org/saref4auto/example#platoon_cardinality +:platoon_cardinality rdf:type owl:NamedIndividual , + ; + saref:isMeasuredIn :platoon_cardinality . + + ### https://saref.etsi.org/saref4auto/example/Address1 :Address1 rdf:type owl:NamedIndividual , . @@ -427,9 +439,9 @@ ### https://saref.etsi.org/saref4auto/example/Adult1Height_Meas :Adult1Height_Meas rdf:type owl:NamedIndividual , - ; - 1.8 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 1.8 . ### https://saref.etsi.org/saref4auto/example/Adult1RelativePosition @@ -444,16 +456,16 @@ :BlackMoto rdf:type owl:NamedIndividual , ; :Moto1Height ; - :static . + . ### https://saref.etsi.org/saref4auto/example/Car1 :Car1 rdf:type owl:NamedIndividual , ; - :Car1Speed , - :HeightCar1 , - :LengthCar1 , - :WidthCar1 ; + saref:hasProperty :Car1Speed , + :HeightCar1 , + :LengthCar1 , + :WidthCar1 ; :Car1AbsolutePosition1 ; :Car1VehicleEnv ; :StationID1 ; @@ -476,13 +488,13 @@ ### https://saref.etsi.org/saref4auto/example/Car1AtDropOffSpot1 :Car1AtDropOffSpot1 rdf:type owl:NamedIndividual , ; - "2020-04-08T14:02:10"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:02:10"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Car1DrivingToParkingSpot1 :Car1DrivingToParkingSpot1 rdf:type owl:NamedIndividual , ; - "2020-04-08T14:04:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:04:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Car1DropOffPointParkingSpot1 @@ -500,28 +512,28 @@ ### https://saref.etsi.org/saref4auto/example/Car1Height_ManufacturerMeas :Car1Height_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 1.5 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 1.5 . ### https://saref.etsi.org/saref4auto/example/Car1Length_ManufacturerMeas :Car1Length_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 3 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 3 . ### https://saref.etsi.org/saref4auto/example/Car1ParkedInSpot1 :Car1ParkedInSpot1 rdf:type owl:NamedIndividual , ; - "2020-04-08T14:10:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:10:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Car1ParkingInSpot1 :Car1ParkingInSpot1 rdf:type owl:NamedIndividual , ; - "2020-04-08T14:07:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:07:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Car1ParkingSpot1Route @@ -534,16 +546,16 @@ ### https://saref.etsi.org/saref4auto/example/Car1Speed :Car1Speed rdf:type owl:NamedIndividual , ; - :Car1Speed_Meas1 . + saref:relatesToMeasurement :Car1Speed_Meas1 . ### https://saref.etsi.org/saref4auto/example/Car1Speed_Meas1 :Car1Speed_Meas1 rdf:type owl:NamedIndividual , - ; - "2020-04-15T11:45:24"^^xsd:dateTime ; - 100 ; - :km_per_hour ; - :Confidence1 . + saref:Measurement ; + saref:isMeasuredIn om:kilometrePerHour ; + :Confidence1 ; + saref:hasTimestamp "2020-04-15T11:45:24"^^xsd:dateTime ; + saref:hasValue 100 . ### https://saref.etsi.org/saref4auto/example/Car1VehicleEnv @@ -559,9 +571,9 @@ ### https://saref.etsi.org/saref4auto/example/Car1Width_ManufacturerMeas :Car1Width_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 1.475 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 1.475 . ### https://saref.etsi.org/saref4auto/example/Car2 @@ -572,7 +584,7 @@ ### https://saref.etsi.org/saref4auto/example/Car2Height_ManufacturerMeas :Car2Height_ManufacturerMeas rdf:type owl:NamedIndividual , - . + saref:Measurement . ### https://saref.etsi.org/saref4auto/example/Car3 @@ -583,13 +595,13 @@ ### https://saref.etsi.org/saref4auto/example/Car3Height_ManufacturerMeas :Car3Height_ManufacturerMeas rdf:type owl:NamedIndividual , - . + saref:Measurement . ### https://saref.etsi.org/saref4auto/example/Car4CPS :Car4CPS rdf:type owl:NamedIndividual , ; - :Car4CPSSpeed ; + saref:hasProperty :Car4CPSSpeed ; :StationID7 ; :Car4CPSRelativePosition . @@ -605,22 +617,22 @@ ### https://saref.etsi.org/saref4auto/example/Car4CPSSpeed :Car4CPSSpeed rdf:type owl:NamedIndividual , ; - :Car4CPSSpeed_Meas1 . + saref:relatesToMeasurement :Car4CPSSpeed_Meas1 . ### https://saref.etsi.org/saref4auto/example/Car4CPSSpeed_Meas1 :Car4CPSSpeed_Meas1 rdf:type owl:NamedIndividual , - ; - "2020-04-15T11:45:24"^^xsd:dateTime ; - 20 ; - :km_per_hour . + saref:Measurement ; + saref:isMeasuredIn om:kilometrePerHour ; + saref:hasTimestamp "2020-04-15T11:45:24"^^xsd:dateTime ; + saref:hasValue 20 . ### https://saref.etsi.org/saref4auto/example/Child1Height_Meas :Child1Height_Meas rdf:type owl:NamedIndividual , - ; - 1.2 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 1.2 . ### https://saref.etsi.org/saref4auto/example/Child1RelativePosition @@ -634,14 +646,14 @@ ### https://saref.etsi.org/saref4auto/example/Confidence1 :Confidence1 rdf:type owl:NamedIndividual , ; - :km_per_hour ; + saref:hasConfidenceUnitOfMeasure om:kilometrePerHour ; 3 . ### https://saref.etsi.org/saref4auto/example/EnvironmentDetected :EnvironmentDetected rdf:type owl:NamedIndividual , ; - "2020-04-15T11:45:24"^^xsd:dateTime . + saref:hasTimestamp "2020-04-15T11:45:24"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Event1RelativePosition @@ -655,7 +667,7 @@ ### https://saref.etsi.org/saref4auto/example/HeightCar1 :HeightCar1 rdf:type owl:NamedIndividual , ; - :Car1Height_ManufacturerMeas . + saref:relatesToMeasurement :Car1Height_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/HeightCar2 @@ -671,7 +683,7 @@ ### https://saref.etsi.org/saref4auto/example/HeightTruck1 :HeightTruck1 rdf:type owl:NamedIndividual , ; - :Truck1Heigth_ManufacturerMeas . + saref:relatesToMeasurement :Truck1Heigth_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/HeightTruck2 @@ -687,7 +699,7 @@ ### https://saref.etsi.org/saref4auto/example/LengthCar1 :LengthCar1 rdf:type owl:NamedIndividual , ; - :Car1Length_ManufacturerMeas . + saref:relatesToMeasurement :Car1Length_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/LengthCar2 @@ -703,7 +715,7 @@ ### https://saref.etsi.org/saref4auto/example/LengthTruck1 :LengthTruck1 rdf:type owl:NamedIndividual , ; - :Truck1Length_ManufacturerMeas . + saref:relatesToMeasurement :Truck1Length_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/LengthTruck2 @@ -719,14 +731,14 @@ ### https://saref.etsi.org/saref4auto/example/Moto1Height :Moto1Height rdf:type owl:NamedIndividual , ; - :Moto1Height_Meas . + saref:relatesToMeasurement :Moto1Height_Meas . ### https://saref.etsi.org/saref4auto/example/Moto1Height_Meas :Moto1Height_Meas rdf:type owl:NamedIndividual , - ; - 1.3 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 1.3 . ### https://saref.etsi.org/saref4auto/example/Moto1RelativePosition @@ -756,13 +768,13 @@ ### https://saref.etsi.org/saref4auto/example/ParkingSpot1Free :ParkingSpot1Free rdf:type owl:NamedIndividual , ; - "2020-04-08T14:00:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:00:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/ParkingSpot1Occupied :ParkingSpot1Occupied rdf:type owl:NamedIndividual , ; - "2020-04-08T14:07:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:07:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/ParkingSpot1OpeningTime @@ -788,20 +800,20 @@ ### https://saref.etsi.org/saref4auto/example/ParkingSpot1Reserved :ParkingSpot1Reserved rdf:type owl:NamedIndividual , ; - "2020-04-08T14:03:00"^^xsd:dateTime . + saref:hasTimestamp "2020-04-08T14:03:00"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Platoon1 :Platoon1 rdf:type owl:NamedIndividual , ; - :Platoon1Size ; + saref:hasProperty :Platoon1Size ; :Platoon1EndPoint ; - 6 ; :Truck1 , :Truck2 , :Truck3 ; - , - :Platoon1Unknown . + :Platoon1Platooning , + :Platoon1Unknown ; + 6 . ### https://saref.etsi.org/saref4auto/example/Platoon1EndPoint @@ -814,30 +826,31 @@ :Platoon1Platooning rdf:type owl:NamedIndividual , , ; - "2020-02-02T19:01:00"^^xsd:dateTime , - "2020-02-02T19:04:50"^^xsd:dateTime , - "2020-02-02T19:16:38"^^xsd:dateTime . + saref:hasTimestamp "2020-02-02T19:01:00"^^xsd:dateTime , + "2020-02-02T19:04:50"^^xsd:dateTime , + "2020-02-02T19:16:38"^^xsd:dateTime . ### https://saref.etsi.org/saref4auto/example/Platoon1Size :Platoon1Size rdf:type owl:NamedIndividual , ; - :Platoon1Size_Meas1 . + saref:relatesToMeasurement :Platoon1Size_Meas1 . ### https://saref.etsi.org/saref4auto/example/Platoon1Size_Meas1 :Platoon1Size_Meas1 rdf:type owl:NamedIndividual , - ; - "2020-02-02T18:45:35"^^xsd:dateTime ; - 2 . + saref:Measurement ; + saref:isMeasuredIn :platoon_cardinality ; + saref:hasTimestamp "2020-02-02T18:45:35"^^xsd:dateTime ; + saref:hasValue 2 . ### https://saref.etsi.org/saref4auto/example/Platoon1Unknown :Platoon1Unknown rdf:type owl:NamedIndividual , , ; - rdfs:label "unknown"@en ; - "2020-02-02T18:48:15"^^xsd:dateTime . + saref:hasTimestamp "2020-02-02T18:48:15"^^xsd:dateTime ; + rdfs:label "unknown"@en . ### https://saref.etsi.org/saref4auto/example/PlatoonID1 @@ -866,9 +879,9 @@ ### https://saref.etsi.org/saref4auto/example/PlatoonSize_Meas2 :PlatoonSize_Meas2 rdf:type owl:NamedIndividual , - ; - "2020-02-02T19:00:00"^^xsd:dateTime ; - "3"^^xsd:int . + saref:Measurement ; + saref:hasTimestamp "2020-02-02T19:00:00"^^xsd:dateTime ; + saref:hasValue "3"^^xsd:int . ### https://saref.etsi.org/saref4auto/example/RoadConeObject @@ -950,9 +963,9 @@ ### https://saref.etsi.org/saref4auto/example/Truck1 :Truck1 rdf:type owl:NamedIndividual , ; - :HeightTruck1 , - :LengthTruck1 , - :WidthTruck1 ; + saref:hasProperty :HeightTruck1 , + :LengthTruck1 , + :WidthTruck1 ; :StationID4 ; :PlatoonPosition1 ; ; @@ -968,16 +981,16 @@ ### https://saref.etsi.org/saref4auto/example/Truck1Heigth_ManufacturerMeas :Truck1Heigth_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 2.45 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 2.45 . ### https://saref.etsi.org/saref4auto/example/Truck1Length_ManufacturerMeas :Truck1Length_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 13 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 13 . ### https://saref.etsi.org/saref4auto/example/Truck1Route @@ -988,9 +1001,9 @@ ### https://saref.etsi.org/saref4auto/example/Truck1Width_ManufacturerMeas :Truck1Width_ManufacturerMeas rdf:type owl:NamedIndividual , - ; - 2.45 ; - :meter . + saref:Measurement ; + saref:isMeasuredIn om:metre ; + saref:hasValue 2.45 . ### https://saref.etsi.org/saref4auto/example/Truck2 @@ -1013,7 +1026,7 @@ ### https://saref.etsi.org/saref4auto/example/Truck4CPS :Truck4CPS rdf:type owl:NamedIndividual , ; - :Truck4CPSSpeed ; + saref:hasProperty :Truck4CPSSpeed ; :StationID8 ; :Truck4CPSRelativePosition . @@ -1029,21 +1042,21 @@ ### https://saref.etsi.org/saref4auto/example/Truck4CPSSpeed :Truck4CPSSpeed rdf:type owl:NamedIndividual , ; - :Truck4CPSSpeed_Meas1 . + saref:relatesToMeasurement :Truck4CPSSpeed_Meas1 . ### https://saref.etsi.org/saref4auto/example/Truck4CPSSpeed_Meas1 :Truck4CPSSpeed_Meas1 rdf:type owl:NamedIndividual , - ; - "2020-04-15T11:45:24"^^xsd:dateTime ; - 0 ; - :km_per_hour . + saref:Measurement ; + saref:isMeasuredIn om:kilometrePerHour ; + saref:hasTimestamp "2020-04-15T11:45:24"^^xsd:dateTime ; + saref:hasValue 0 . ### https://saref.etsi.org/saref4auto/example/WidthCar1 :WidthCar1 rdf:type owl:NamedIndividual , ; - :Car1Width_ManufacturerMeas . + saref:relatesToMeasurement :Car1Width_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/WidthCar2 @@ -1059,7 +1072,7 @@ ### https://saref.etsi.org/saref4auto/example/WidthTruck1 :WidthTruck1 rdf:type owl:NamedIndividual , ; - :Truck1Width_ManufacturerMeas . + saref:relatesToMeasurement :Truck1Width_ManufacturerMeas . ### https://saref.etsi.org/saref4auto/example/WidthTruck2 @@ -1082,7 +1095,7 @@ ### https://saref.etsi.org/saref4auto/example/adult1Height :adult1Height rdf:type owl:NamedIndividual , ; - :Adult1Height_Meas . + saref:relatesToMeasurement :Adult1Height_Meas . ### https://saref.etsi.org/saref4auto/example/child1 @@ -1095,7 +1108,7 @@ ### https://saref.etsi.org/saref4auto/example/child1Height :child1Height rdf:type owl:NamedIndividual , ; - :Child1Height_Meas . + saref:relatesToMeasurement :Child1Height_Meas . ### https://saref.etsi.org/saref4auto/example/cone @@ -1108,16 +1121,4 @@ . -### https://saref.etsi.org/saref4auto/example/km_per_hour -:km_per_hour rdf:type owl:NamedIndividual , - . - - -### https://saref.etsi.org/saref4auto/example/meter -:meter rdf:type owl:NamedIndividual , - , - , - . - - ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi