General Signals example

IRI
https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_6_GeneralSignals#
Conforms to ontologies
Download serialization
License
Example demonstrating how to represent information from group name GeneralSignals as in ETSI TS 103 735, Clause 6.6

Turtle

@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_6_GeneralSignals/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@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 saref: <https://saref.etsi.org/core/> .
@prefix s4syst: <https://saref.etsi.org/saref4syst/> .
@prefix s4bldg: <https://saref.etsi.org/saref4bldg/> .
@prefix s4lift: <https://saref.etsi.org/saref4lift/> .
@prefix dctype: <http://purl.org/dc/dcmitype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix cdt: <http://w3id.org/lindt/custom_datatypes#>.


<https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_6_GeneralSignals#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "General Signals example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name GeneralSignals as in ETSI TS 103 735, Clause 6.6"@en .

# currentCarStop and currentCarService

## s4lift:SmartLiftCarService is a connection between the s4lift:SmartLiftCar the s4lift:CarStopSpace and the sbldg:BuildingSpace
ex:building a s4bldg:Building ;
  s4bldg:hasSpace ex:storey1 , ex:storey2 .

ex:storey1 a s4bldg:BuildingSpace .

ex:storey2 a s4bldg:BuildingSpace ;
  s4bldg:hasSpace ex:aisle2N , ex:aisle2S .

ex:aisle2N a s4bldg:BuildingSpace .

ex:aisle2S a s4bldg:BuildingSpace .


<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation ;
  s4bldg:hasSpace ex:carstopspace1 , ex:carstopspace2 ;
  s4lift:hasCarService ex:carservice1 , ex:carservice2 , ex:carservice3 ;
  s4lift:containsCar ex:car1 .



ex:carstopspace1 a s4lift:CarStopSpace ;
  rdfs:label "storey 1" ;
  s4syst:connectsAt ex:carstopspace1_portA .
ex:carstopspace1_portA a s4lift:DoorConnectionPoint .

ex:carstopspace2 a s4lift:CarStopSpace ;
  rdfs:label "storey 2" ;
  s4syst:connectsAt ex:carstopspace2_portA , ex:carstopspace2_portB .
ex:carstopspace2_portA a s4lift:DoorConnectionPoint .
ex:carstopspace2_portB a s4lift:DoorConnectionPoint .



ex:car1 a s4lift:SmartLiftCar ;
  s4syst:connectsAt ex:car1_doorA , ex:car1_doorB .
ex:car1_doorA a s4lift:DoorConnectionPoint .
ex:car1_doorB a s4lift:DoorConnectionPoint .



# the current car stop is ex:carstopspace1 and the currentCarService is ex:carservice1
ex:carservice1 a s4lift:SmartLiftCarService ;
  s4syst:connectsSystem ex:storey1 ;
  s4syst:connectsSystemAt ex:carstopspace1_portA , ex:car1_doorA .

ex:carservice2 a s4lift:PossibleSmartLiftCarService ;
  s4syst:connectsSystem ex:aisle2N ;
  s4syst:connectsSystemAt ex:carstopspace2_portA , ex:car1_doorA .

ex:carservice3 a s4lift:PossibleSmartLiftCarService ;
  s4syst:connectsSystem ex:aisle2S ;
  s4syst:connectsSystemAt ex:carstopspace2_portB , ex:car1_doorB .


## the signal is about the s4lift:SmartLiftCarService, and holds all the information about the currentCarStop and currentCarService

_:signal a s4lift:Signal .
_:signal saref:isAbout ex:carservice1 .
_:signal saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

# movingUpwardDirection and movingDownwardDirection

ex:car2 a s4lift:SmartLiftCar .
ex:car2 saref:hasState _:movingDirectionState .
_:movingDirectionState a s4lift:MovingUpwardDirectionState .
_:movingDirectionState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

# carInUnlockingSpace

## same as currentCarStop and currentCarService: the connection s4lift:SmartLiftCarService holds all the information about the fact that the car is in UnlockingSpace

ex:carservice1 a s4lift:SmartLiftCarService .
ex:carservice1 saref:hasState _:carInUnlockingSpaceState .
_:carInUnlockingSpaceState a s4lift:CarInUnlockingSpaceState .
_:carInUnlockingSpaceState rdfs:comment "example of a s4lift:CarInUnlockingSpaceState of a s4lift:SmartLiftCarService"@en .
_:carInUnlockingSpaceState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

## s4lift:StatusSignal are signals that convey states

_:signal a s4lift:StatusSignal .
_:signal rdfs:comment "example of a signal that conveys a s4lift:CarInUnlockingSpaceState of a s4lift:SmartLiftCarService"@en .
_:signal saref:isAbout ex:carservice1 .
_:signal s4lift:conveys _:carInUnlockingSpaceState .


# doorStatus

## Open/Close are states of the DoorConnectionPoints of the car

ex:car1_doorA saref:hasState _:openclosestate .
_:openclosestate a saref:OpenState .
_:openclosestate rdfs:comment "example of a saref:OpenState of a s4lift:DoorConnectionPoint"@en .
_:openclosestate saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

## s4lift:StatusSignal are signals that convey states

_:openclosesignal a s4lift:StatusSignal .
_:openclosesignal rdfs:comment "example of a signal that conveys a saref:OpenState of a s4lift:DoorConnectionPoint"@en .
_:openclosesignal saref:isAbout ex:car1_doorA .
_:openclosesignal s4lift:conveys _:openclosestate .


# Overload is a state

## s4lift:OverloadedState is a state of the car

ex:car1 saref:hasState _:overloadedState .
_:overloadedState a s4lift:OverloadedState .
_:overloadedState rdfs:comment "example of a s4lift:OverloadedState of a s4lift:SmartLiftCar"@en .
_:overloadedState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

## s4lift:StatusSignal are signals that convey states

_:overloadedSignal a s4lift:StatusSignal .
_:overloadedSignal rdfs:comment "example of a signal that conveys a s4lift:OverloadedState of a s4lift:SmartLiftCar"@en .
_:overloadedSignal saref:isAbout ex:car1 .
_:overloadedSignal s4lift:conveys _:overloadedState .


# Detected load is a state

## s4lift:OverloadedState is a state of the car

ex:car1 saref:hasState _:detectedLoadState .
_:detectedLoadState a s4lift:DetectedLoadState .
_:detectedLoadState rdfs:comment "example of a s4lift:DetectedLoadState of a s4lift:SmartLiftCar"@en .
_:detectedLoadState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

## s4lift:StatusSignal are signals that convey states

_:detectedLoadSignal a s4lift:StatusSignal .
_:detectedLoadSignal rdfs:comment "example of a signal that conveys a s4lift:DetectedLoadState of a s4lift:SmartLiftCar"@en .
_:detectedLoadSignal saref:isAbout ex:car1 .
_:detectedLoadSignal s4lift:conveys _:detectedLoadState .


# Detected load is a state

## s4lift:DetectedLoadState is a state of the car

ex:car1 saref:hasState _:detectedLoadState .
_:detectedLoadState a s4lift:DetectedLoadState .
_:detectedLoadState rdfs:comment "example of a s4lift:DetectedLoadState of a s4lift:SmartLiftCar"@en .
_:detectedLoadState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

## s4lift:StatusSignal are signals that convey states

_:detectedLoadSignal a s4lift:StatusSignal .
_:detectedLoadSignal rdfs:comment "example of a signal that conveys a s4lift:DetectedLoadState of a s4lift:SmartLiftCar"@en .
_:detectedLoadSignal saref:isAbout ex:car1 .
_:detectedLoadSignal s4lift:conveys _:detectedLoadState .