Unverified Commit 2f7073b5 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

Updated examples

parent dfe85077
Loading
Loading
Loading
Loading
Loading
+49 −0
Original line number Diff line number Diff line
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_10_GeneralCommands/> .
@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_10_GeneralCommands#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "Fault Signals example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name GeneralCommands as in ETSI TS 103 735, Clause 6.10"@en .

# sendCarToSpecificService, setOutOfService, testEmergencyNumber, mainBoardReset, testRide, setRealTimeMode

ex:carservice2 a s4lift:PossibleSmartLiftCarService .
_:SendCarToSpecificServiceCommand a s4lift:SendCarToSpecificServiceCommand .
_:SendCarToSpecificServiceCommand saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 
_:SendCarToSpecificServiceCommand saref:isAbout ex:carservice2 .

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .
_:SetOutOfServiceCommand a s4lift:SetOutOfServiceCommand .
_:SetOutOfServiceCommand saref:hasTimestamp "2021-03-16T12:00:00Z"^^xsd:dateTime . 
_:SetOutOfServiceCommand saref:isAbout <mailto:lift.1415@company1.com> .

_:TestEmergencyNumberCommand a s4lift:TestEmergencyNumberCommand .
_:TestEmergencyNumberCommand saref:hasTimestamp "2021-03-17T12:00:00Z"^^xsd:dateTime . 
_:TestEmergencyNumberCommand saref:isAbout <mailto:lift.1415@company1.com> .

_:MainBoardResetCommand a s4lift:MainBoardResetCommand .
_:MainBoardResetCommand saref:hasTimestamp "2021-03-18T12:00:00Z"^^xsd:dateTime . 
_:MainBoardResetCommand saref:isAbout <mailto:lift.1415@company1.com> .

_:TestRideCommand a s4lift:TestRideCommand .
_:TestRideCommand saref:hasTimestamp "2021-03-19T12:00:00Z"^^xsd:dateTime . 
_:TestRideCommand saref:isAbout <mailto:lift.1415@company1.com> .

_:SetRealTimeModeCommand a s4lift:SetRealTimeModeCommand .
_:SetRealTimeModeCommand saref:hasTimestamp "2021-03-20T12:00:00Z"^^xsd:dateTime . 
_:SetRealTimeModeCommand saref:hasValue false .
_:SetRealTimeModeCommand saref:isAbout <mailto:lift.1415@company1.com> .
+66 −0
Original line number Diff line number Diff line
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_12_PowerSupplySignals/> .
@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_12_PowerSupplySignals#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "Power Supply Signals example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name PowerSupplySignals as in ETSI TS 103 735, Clause 6.12"@en .

# emergencyBatteryPower is modeled as a state for a generic battery

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .

<mailto:lift.1415@company1.com> s4lift:connectedToEmergencyBattery ex:emergencyBattery .

ex:emergencyBattery saref:hasState _:BatteryPowerState_1 .
_:BatteryPowerState_1 a s4lift:GoodBatteryPowerState .
_:BatteryPowerState_1 saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

ex:emergencyBattery saref:hasState _:BatteryPowerState_2 .
_:BatteryPowerState_2 a s4lift:WarnBatteryPowerState .
_:BatteryPowerState_2 saref:hasTimestamp "2021-03-16T12:00:00Z"^^xsd:dateTime . 

ex:emergencyBattery saref:hasState _:BatteryPowerState_3 .
_:BatteryPowerState_3 a s4lift:CriticalBatteryPowerState .
_:BatteryPowerState_3 saref:hasTimestamp "2021-03-17T12:00:00Z"^^xsd:dateTime . 

ex:emergencyBattery saref:hasState _:BatteryPowerState_4 .
_:BatteryPowerState_4 a s4lift:InsufficientBatteryPowerState .
_:BatteryPowerState_4 saref:hasTimestamp "2021-03-18T12:00:00Z"^^xsd:dateTime . 



# standardPowerSupply: s4lift:StandardPowerSupplyState for a smart lift installation

<mailto:lift.1415@company1.com> saref:hasState _:StandardPowerSupplyState .
_:StandardPowerSupplyState a s4lift:StandardPowerSupplyState .
_:StandardPowerSupplyState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

<mailto:lift.1415@company1.com> saref:hasState _:EmergencyPowerSupplyState .
_:EmergencyPowerSupplyState a s4lift:EmergencyPowerSupplyState .
_:EmergencyPowerSupplyState saref:hasTimestamp "2021-03-16T12:00:00Z"^^xsd:dateTime . 


# alarmSOSSystemPower: for a smart lift installation

<mailto:lift.1415@company1.com> s4lift:hasAlarmSOSSystem ex:alarmSOSSystem .
ex:alarmSOSSystem s4lift:connectedToEmergencyBattery ex:alarmSOSSystemBattery .
ex:alarmSOSSystem saref:hasState _:alarmSOSSystemBatteryEmergency .
_:alarmSOSSystemBatteryEmergency a s4lift:EmergencyPowerSupplyState .
ex:alarmSOSSystemBattery saref:hasState _:alarmSOSSystemBatteryState .
_:alarmSOSSystemBatteryState a s4lift:GoodBatteryPowerState .

+35 −0
Original line number Diff line number Diff line
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_13_BCSConfiguration/> .
@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_13_BCSConfiguration#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "Bidirectional Communication System Configuration example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name BCSConfiguration as in ETSI TS 103 735, Clause 6.13"@en .

# supportedNetworkTechnologies

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .
<mailto:lift.1415@company1.com> s4lift:canConnectToNetwork s4lift:Network2G .

# liftTelephoneNumber, mainEmergencyNumber

<mailto:lift.1415@company1.com> s4lift:hasTelephoneNumber "tel:+123456789"^^xsd:anyURI .
<mailto:lift.1415@company1.com> s4lift:hasMainEmergencyTelephoneNumber "tel:+12345678910"^^xsd:anyURI .

# otherEmergencyNumbers

<mailto:lift.1415@company1.com> s4lift:hasSecondaryEmergencyTelephoneNumber
 "tel:+12345678911"^^xsd:anyURI , "tel:+12345678912"^^xsd:anyURI .
+56 −0
Original line number Diff line number Diff line
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_14_BCSAlarms/> .
@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_14_BCSAlarms#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "Bidirectional Communication System alarms example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name BCSAlarms as in ETSI TS 103 735, Clause 6.14"@en .

# alarmInTheCar

ex:car1 a s4lift:SmartLiftCar .

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

# s4lift:AlarmSignal can convey alarm state

_:AlarmInTheCarSignal a s4lift:AlarmSignal .
_:AlarmInTheCarSignal saref:isAbout ex:car1 .
_:AlarmInTheCarSignal s4lift:conveys _:AlarmInTheCarState .


# alarmInTheWell

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .
_:AlarmInTheWellState a s4lift:AlarmInTheWellState .
_:AlarmInTheWellState saref:isAbout <mailto:lift.1415@company1.com> .
_:AlarmInTheWellState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 


# alarmInTheRoof

_:AlarmInTheRoofState a s4lift:AlarmInTheRoofState .
_:AlarmInTheRoofState saref:isAbout <mailto:lift.1415@company1.com> .
_:AlarmInTheRoofState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 


# alarmInTheMachinery

_:AlarmInTheMachineryState a s4lift:AlarmInTheMachineryState .
_:AlarmInTheMachineryState saref:isAbout <mailto:lift.1415@company1.com> .
_:AlarmInTheMachineryState saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 
+57 −0
Original line number Diff line number Diff line
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_15_BCSSignals/> .
@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_15_BCSSignals#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;
  dcterms:title "Bidirectional Communication System Signals example"@en ;
  dcterms:description "Example demonstrating how to represent information from group name BCSSignals as in ETSI TS 103 735, Clause 6.15"@en .

# timeOfLastPeriodicTest72hAttempt 

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .

<mailto:lift.1415@company1.com> s4lift:hasTimeOfLastPeriodicTest72hAttempt _:timeOfLastPeriodicTest72hAttempt .
_:measure a saref:Measurement .
_:measure saref:relatesToProperty _:timeOfLastPeriodicTest72hAttempt .
_:measure saref:hasValue "2020-03-05T12:00:00.000Z"^^xsd:dateTime .


# timeOfConfirmationOfLastPeriodicTest72hAttempt 

<mailto:lift.1415@company1.com> s4lift:hasTimeOfConfirmationOfLastPeriodicTest72hAttempt _:timeOfConfirmationOfLastPeriodicTest72hAttempt .
_:measure a saref:Measurement .
_:measure saref:relatesToProperty _:timeOfConfirmationOfLastPeriodicTest72hAttempt .
_:measure saref:hasValue "2020-03-05T12:00:05.000Z"^^xsd:dateTime .


# networkQualityRSSI and networkQualityBER

<mailto:lift.1415@company1.com> a s4lift:SmartLiftInstallation .
<mailto:lift.1415@company1.com> s4lift:canConnectToNetwork s4lift:Network2G .

_:2GConnection a s4lift:NetworkAccess .
_:2GConnection s4syst:connectsSystem <mailto:lift.1415@company1.com> .
_:2GConnection s4syst:connectsSystem s4lift:Network2G .
_:2GConnection s4lift:hasReceivedSignalStrengthIndicator _:2GRSSI .
_:2GConnection s4lift:hasChannelBitErrorRate _:2GBER .

_:2GRSSI_measure a saref:Measurement .
_:2GRSSI_measure saref:hasValue 21 .
_:2GRSSI_measure saref:relatesToProperty _:2GRSSI .

_:2GBER_measure a saref:Measurement .
_:2GBER_measure saref:hasValue 5 .
_:2GBER_measure saref:relatesToProperty _:2GBER .
Loading