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/v2.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/v2.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/v2.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:observes ex:carservice1 .
_:signal saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime .
# movingUpwardDirection and movingDownwardDirection
ex:car2 a s4lift:SmartLiftCar .
_:movingDirectionObs a saref:Observation ;
saref:observes ex:car2 ;
saref:observes s4lift:MovingDirectionState ;
saref:hasResult s4lift:MovingUpwardDirectionState ;
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 .
_:carInUnlockingSpaceObs a saref:Observation ;
saref:observes ex:carservice1 ;
saref:hasResult s4lift:CarInUnlockingSpaceState ;
rdfs:comment "example of a s4lift:CarInUnlockingSpaceState of a s4lift:SmartLiftCarService"@en ;
saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime .
## s4lift:StatusSignal are signals that convey states
_:signal a s4lift:StatusSignal ;
rdfs:comment "example of a signal that conveys an observation of the s4lift:CarInUnlockingSpaceState of a s4lift:SmartLiftCarService"@en ;
saref:observes ex:carservice1 ;
s4lift:conveys _:carInUnlockingSpaceObs .
# doorStatus
## Open/Close are states of the DoorConnectionPoints of the car
_:openclosestateobs a saref:Observation ;
saref:observes ex:car1_doorA ;
saref:hasResult ex:OpenState ;
rdfs:comment "example of a ex:OpenState of a s4lift:DoorConnectionPoint"@en ;
saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime .
## s4lift:StatusSignal are signals that convey states
_:openclosesignal a s4lift:StatusSignal ;
rdfs:comment "example of a signal that conveys a ex:OpenState of a s4lift:DoorConnectionPoint"@en ;
saref:observes ex:car1_doorA ;
s4lift:conveys _:openclosestateobs .
# Overload is a state
## s4lift:OverloadedState is a state of the car
_:overloadedStateobs a saref:Observation ;
saref:observes ex:car1 ;
saref:hasResult ex:OverloadedState ;
rdfs:comment "example of a s4lift:OverloadedState of a s4lift:SmartLiftCar"@en ;
saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime .
## s4lift:StatusSignal are signals that convey states
_:overloadedSignal a s4lift:StatusSignal ;
rdfs:comment "example of a signal that conveys a s4lift:OverloadedState of a s4lift:SmartLiftCar"@en ;
saref:observes ex:car1 ;
s4lift:conveys _:overloadedStateobs .