Unverified Commit 87f30caa authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

starting new diagrams for examples

parent f45f1d1f
Loading
Loading
Loading
Loading
Loading
+653 −1

File changed.

Preview size limit exceeded, changes collapsed.

+22 −10
Original line number Diff line number Diff line
@@ -21,31 +21,43 @@
											dcterms:title "SAREF4AUTO example AutomotiveDevice"@en ;
											dcterms:description "SAREF4AUTO example AutomotiveDevice"@en .						



<bus> a saref:FeatureOfInterest , s4auto:Vehicle ;
  saref:hasFeatureKind s4auto:ConvertibleVehicle ;
  s4syst:hasSubSystem <obu> .

<obu> a saref:FeatureOfInterest , s4auto:AutomotiveDevice ;
  saref:hasFeatureKind s4auto:OnBoardUnit .
  saref:hasDeviceKind s4auto:OnBoardUnit .



<animal> a saref:FeatureOfInterest , s4auto:VulnerableRoadUser ;
  saref:hasFeatureKind s4auto:VulnerableRoadUser_Animal_farm-animal ;
  s4syst:hasSubSystem <mu> .

<mu> a saref:FeatureOfInterest , s4auto:AutomotiveDevice ;
  saref:hasFeatureKind s4auto:MobileUnit .
  saref:hasDeviceKind s4auto:MobileUnit .



ex:RoadSideEquipmentInCatalog a s4auto:RoadSideEquipment , saref:DeviceKind .

<RoadSideEquipmentInApplication> a s4auto:RoadSideEquipment , saref:Device ;
  saref:hasDeviceKind ex:RoadSideEquipmentInCatalog .

<RoadSideEquipment> a s4auto:RoadSideEquipment .

<RoadSideUnit> a s4auto:RoadSideUnit .

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

<RoadSideActuator> a s4auto:RoadSideActuator ;
  saref:controls <RetractableBollard> .
ex:RoadSideActuatorInCatalog a s4auto:RoadSideActuator , saref:DeviceKind ;
  saref:controls ex:RetractableBollard .

<TrafficLightController> a s4auto:TrafficLightController .

<RoadSideSensor> a s4auto:RoadSideSensor .
<RetractableBollardInApplication> a s4auto:AutomotiveEntity , saref:FeatureOfInterest ;
  saref:hasFeatureKind ex:RetractableBollard .

<TrafficManagementCentre> a s4auto:TrafficManagementCentre .
<RoadSideActuatorInApplication> a s4auto:RoadSideActuator , saref:Device ;
  saref:hasDeviceKind ex:RoadSideActuatorInCatalog ;
  saref:controls <RetractableBollardInApplication> ;
  saref:controls ex:RetractableBollard . # this triple can be inferred.