SAREF4AUTO example ParkingSpot

IRI
https://saref.etsi.org/saref4auto/v2.1.1/example/ParkingSpot#
Conforms to ontologies
Download serialization
License
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 .