SAREF4AUTO example ParkingSpot
Turtle
@prefix : <https://saref.etsi.org/saref4auto/v2.1.1/example/ParkingSpot/> .
@prefix ex: <https://saref.etsi.org/saref4auto/v2.1.1/example/ParkingSpot/> .
@prefix om: <http://www.ontology-of-units-of-measure.org/resource/om-2/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix geosp: <http://www.opengis.net/ont/geosparql#> .
@prefix saref: <https://saref.etsi.org/core/> .
@prefix s4auto: <https://saref.etsi.org/saref4auto/> .
@prefix s4syst: <https://saref.etsi.org/saref4syst/> .
@prefix dctype: <http://purl.org/dc/dcmitype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix geo: <http://www.opengis.net/ont/geosparql#> .
<https://saref.etsi.org/saref4auto/v2.1.1/example/ParkingSpot#> a dctype:Dataset ;
dcterms:license <https://forge.etsi.org/etsi-software-license> ;
dcterms:conformsTo <https://saref.etsi.org/saref4auto/v2.1.1/> ;
dcterms:title "SAREF4AUTO example ParkingSpot"@en ;
dcterms:description "SAREF4AUTO example ParkingSpot"@en .
dcterms:conformsTo a owl:AnnotationProperty .
#################################################################
# Annotation properties
#################################################################
### http://purl.org/dc/terms/conformsTo
<http://purl.org/dc/terms/conformsTo> a owl:AnnotationProperty .
### http://purl.org/dc/terms/description
<http://purl.org/dc/terms/description> a owl:AnnotationProperty .
### http://purl.org/dc/terms/license
<http://purl.org/dc/terms/license> a owl:AnnotationProperty .
### http://purl.org/dc/terms/title
<http://purl.org/dc/terms/title> a owl:AnnotationProperty .
#################################################################
# Object Properties
#################################################################
### http://www.w3.org/2006/time#hasBeginning
time:hasBeginning a owl:ObjectProperty .
### http://www.w3.org/2006/time#hasEnd
time:hasEnd a owl:ObjectProperty .
#################################################################
# Data properties
#################################################################
### http://www.w3.org/2006/time#inXSDDateTimeStamp
time:inXSDDateTimeStamp a owl:DatatypeProperty .
#################################################################
# Classes
#################################################################
### http://www.w3.org/2006/time#Instant
time:Instant a owl:Class .
### http://www.w3.org/2006/time#Interval
time:Interval a owl:Class .
#################################################################
# Individuals
#################################################################
### http://www.ontology-of-units-of-measure.org/resource/om-2/kilometrePerHour
om:kilometrePerHour a saref:UnitOfMeasure .
### http://www.ontology-of-units-of-measure.org/resource/om-2/metre
om:metre a saref:UnitOfMeasure .
#################################################################
# Parking spot
#################################################################
geo:Feature a owl:Class .
geo:hasCentroid a owl:ObjectProperty .
geo:inWKT a owl:DatatypeProperty .
<ParkingSpot1> a saref:FeatureOfInterest , geo:Feature , s4auto:ParkingSpot ;
saref:hasFeatureKind s4auto:RegularParkingSpot ;
geo:hasCentroid [
geo:inWKT "POINT( 4.325145 52.081927 )"^^geo:wktLiteral
] .
#################################################################
# Route of car1 to parking spot
#################################################################
[] a saref:Observation ;
saref:observes <car1> ;
saref:observes s4auto:ItineraryPath ;
saref:hasTimestamp "2020-04-08T14:02:10"^^xsd:dateTime ;
saref:hasResult [
s4auto:isComposedOf [
saref:isValueOfProperty s4auto:GeoPosition ;
saref:hasValue "POINT( 4.330057 52.082028 )"^^geo:wktLiteral ;
s4auto:hasIndex 1
] , [
saref:isValueOfProperty s4auto:GeoPosition ;
saref:hasValue "POINT( 4.325145 52.081927 )"^^geo:wktLiteral ;
s4auto:hasIndex 2
]
] .
#################################################################
# Parking states of Car1
#################################################################
[] a saref:Observation ;
saref:observes <car1> ;
saref:observes s4auto:VehicleParkingState ;
saref:hasTimestamp "2020-04-08T14:02:10"^^xsd:dateTime ;
saref:hasResult s4auto:VehicleParkingStateAtDropOffSpot .
[] a saref:Observation ;
saref:observes <car1> ;
saref:observes s4auto:VehicleParkingState ;
saref:hasTimestamp "2020-04-08T14:04:00"^^xsd:dateTime ;
saref:hasResult s4auto:VehicleParkingStateDrivingToParkingSpot .
[] a saref:Observation ;
saref:observes <car1> ;
saref:observes s4auto:VehicleParkingStateParked ;
saref:hasTimestamp "2020-04-08T14:07:00"^^xsd:dateTime ;
saref:hasResult s4auto:VehicleParkingStateParking .
[] a saref:Observation ;
saref:observes <car1> ;
saref:observes s4auto:VehicleParkingStateParked ;
saref:hasTimestamp "2020-04-08T14:10:00"^^xsd:dateTime ;
saref:hasResult s4auto:VehicleParkingStateParked .
#################################################################
# Parking states of ParkingSpot1
#################################################################
[] a saref:Observation ;
saref:observes <ParkingSpot1> ;
saref:observes s4auto:ParkingSpotState ;
saref:hasPhenomenonTime [
a time:Interval ;
time:hasBeginning [ time:inXSDDateTimeStamp "2020-04-08T09:00:00Z"^^xsd:dateTimeStamp ] ;
time:hasEnd [ time:inXSDDateTimeStamp "2020-04-08T21:00:00Z"^^xsd:dateTimeStamp ]
] ;
saref:hasResult s4auto:ParkingSpotStateOpen .
[] a saref:Observation ;
saref:observes <ParkingSpot1> ;
saref:observes s4auto:ParkingSpotState ;
saref:hasTimestamp "2020-04-08T14:00:00"^^xsd:dateTime ;
saref:hasResult s4auto:ParkingSpotStateFree .
[] a saref:Observation ;
saref:observes <ParkingSpot1> ;
saref:observes s4auto:ParkingSpotState ;
saref:hasTimestamp "2020-04-08T14:03:00"^^xsd:dateTime ;
saref:hasResult s4auto:ParkingSpotStateReserved .
[] a saref:Observation ;
saref:observes <ParkingSpot1> ;
saref:observes s4auto:ParkingSpotState ;
saref:hasTimestamp "2020-04-08T14:07:00"^^xsd:dateTime ;
saref:hasResult s4auto:ParkingSpotStateOccupied .