Unverified Commit 42ece590 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

updated examples, finalized diagrams

parent 87f30caa

documentation/diagrams/SAREF4AUTO_examples.drawio

+5000 −202

File changed.

Preview size limit exceeded, changes collapsed.

examples/AutomotiveDevice.ttl

+4 −4
Original line number Diff line number Diff line
@@ -48,16 +48,16 @@ ex:RoadSideEquipmentInCatalog a s4auto:RoadSideEquipment , saref:DeviceKind . 






ex:RetractableBollard a s4auto:AutomotiveEntity , saref:FeatureKind .

ex:RetractableBollardInCatalog a s4auto:AutomotiveEntity , saref:FeatureKind .



ex:RoadSideActuatorInCatalog a s4auto:RoadSideActuator , saref:DeviceKind ;

  saref:controls ex:RetractableBollard .

  saref:controls ex:RetractableBollardInCatalog .





<RetractableBollardInApplication> a s4auto:AutomotiveEntity , saref:FeatureOfInterest ;

  saref:hasFeatureKind ex:RetractableBollard .

  saref:hasFeatureKind ex:RetractableBollardInCatalog .



<RoadSideActuatorInApplication> a s4auto:RoadSideActuator , saref:Device ;

  saref:hasDeviceKind ex:RoadSideActuatorInCatalog ;

  saref:controls <RetractableBollardInApplication> ;

  saref:controls ex:RetractableBollard . # this triple can be inferred.
 
  saref:controls ex:RetractableBollardInCatalog . # this triple can be inferred.

examples/Confidence.ttl

+1 −1
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ 


[] a saref:Observation ;

  saref:hasTimestamp "2020-04-15T11:45:24"^^xsd:dateTime ;

  saref:observes <Car1> ;

  saref:observes <car1> ;

  saref:observes s4auto:VelocityCartesian ;

  saref:hasResult [ 

    s4auto:isComposedOf [

examples/DangerousGoods.ttl

+3 −3
Original line number Diff line number Diff line
@@ -23,11 +23,11 @@ 
											dcterms:description "SAREF4AUTO example DangerousGoods"@en .						



<truck> a s4auto:Vehicle , saref:FeatureOfInterest ;

  saref:consistsOf <DangerousGoods> .

  saref:consistsOf <dangerousGoods> .



<DangerousGoods> a saref:FeatureOfInterest ; 

<dangerousGoods> a saref:FeatureOfInterest , s4auto:DangerousGoods ; 

  rdfs:comment "Example (probably erroneous) of Lead dioxide"@en ;

  saref:hasFeatureKind s4auto:DangerousGoods , s4auto:DangerousGoods_oxidizingSubstances , s4auto:DangerousGoods_toxicSubstances ;

  saref:hasFeatureKind s4auto:DangerousGoods_oxidizingSubstances , s4auto:DangerousGoods_toxicSubstances ;

  s4auto:hasDangerousGoodsUnNumber 1872 ;

  s4auto:hasDangerousGoodsEmergencyActionCode "1Z" ;

  s4auto:hasDangerousGoodsCompany "company" ;

examples/ParkingSpot.ttl

+11 −11
Original line number Diff line number Diff line
@@ -94,7 +94,7 @@ geo:Feature a owl:Class . 
geo:hasCentroid a owl:ObjectProperty .

geo:inWKT a owl:DatatypeProperty .



:ParkingSpot1 a saref:FeatureOfInterest , geo:Feature ;

<ParkingSpot1> a saref:FeatureOfInterest , geo:Feature , s4auto:ParkingSpot ;

  saref:hasFeatureKind s4auto:RegularParkingSpot ;

  geo:hasCentroid [

    geo:inWKT "POINT( 4.325145 52.081927 )"^^geo:wktLiteral
@@ -105,7 +105,7 @@ geo:inWKT a owl:DatatypeProperty . 
#################################################################



[] a saref:Observation ;

  saref:observes :Car1 ;

  saref:observes <car1> ;

  saref:observes s4auto:ItineraryPath ;

  saref:hasTimestamp "2020-04-08T14:02:10"^^xsd:dateTime ;

  saref:hasResult [
@@ -114,7 +114,7 @@ geo:inWKT a owl:DatatypeProperty . 
      saref:hasValue "POINT( 4.330057 52.082028 )"^^geo:wktLiteral ;

      s4auto:hasIndex 1

    ] , [

      saref:isValueOfProperty s4auto:MapReferencePosition ;

      saref:isValueOfProperty s4auto:GeoPosition ;

      saref:hasValue "POINT( 4.325145 52.081927 )"^^geo:wktLiteral ;

      s4auto:hasIndex 2

    ]
@@ -126,25 +126,25 @@ geo:inWKT a owl:DatatypeProperty . 
#################################################################



[] a saref:Observation ;

  saref:observes :Car1 ;

  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 <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 <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 <car1> ;

  saref:observes s4auto:VehicleParkingStateParked ;

  saref:hasTimestamp "2020-04-08T14:10:00"^^xsd:dateTime ;

  saref:hasResult s4auto:VehicleParkingStateParked .
@@ -155,7 +155,7 @@ geo:inWKT a owl:DatatypeProperty . 
#################################################################



[] a saref:Observation ;

  saref:observes :ParkingSpot1 ;

  saref:observes <ParkingSpot1> ;

  saref:observes s4auto:ParkingSpotState ;

  saref:hasPhenomenonTime [

    a time:Interval ;
@@ -165,19 +165,19 @@ geo:inWKT a owl:DatatypeProperty . 
  saref:hasResult s4auto:ParkingSpotStateOpen .



[] a saref:Observation ;

  saref:observes :ParkingSpot1 ;

  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 <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 <ParkingSpot1> ;

  saref:observes s4auto:ParkingSpotState ;

  saref:hasTimestamp "2020-04-08T14:07:00"^^xsd:dateTime ;

  saref:hasResult s4auto:ParkingSpotStateOccupied .