Unverified Commit 4d3357de authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

added first set of examples

parent 25c12aba

examples/AdministrativeInformation.ttl

0 → 100644
+31 −0
Original line number Diff line number Diff line 
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/AdministrativeInformation/> .

@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 geo: <http://www.opengis.net/ont/geosparql#> .

@prefix dctype: <http://purl.org/dc/dcmitype/> .

@prefix dcterms: <http://purl.org/dc/terms/> .



<https://saref.etsi.org/saref4lift/v1.1.1/example/AdministrativeInformation#> a dctype:Dataset ;

  dcterms:license <https://forge.etsi.org/etsi-software-license> ;

  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;

  dcterms:title "Example AdministrativeInformation"@en ;

  dcterms:description "Example AdministrativeInformation"@en .



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

  s4lift:hasManufacturingCompanyRepresentative "Company1" ;

  s4lift:hasInstallerCompany "CompanyB" ;

  s4lift:hasMaintenanceCompany "CompanyC" ;

  s4lift:hasLegalOwner "Owner & co" ;

  s4lift:hasBuildingManager "CompanyD" ;

  s4lift:hasAlarmMonitoringCentre "CenterA" ;

  s4lift:hasInspectionAuthority "Auth. O'Rity" ;

  geo:hasGeometry [ geo:asWKT "POINT (45.427862 4.403812)"^^geo:wktLiteral ] ;

  s4lift:hasGeographicLocationValidator "Davi Talor" ;

examples/SLConfiguration.ttl

0 → 100644
+90 −0
Original line number Diff line number Diff line 
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/SLConfiguration/> .

@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/SLConfiguration#> a dctype:Dataset ;

  dcterms:license <https://forge.etsi.org/etsi-software-license> ;

  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;

  dcterms:title "Example SLConfiguration"@en ;

  dcterms:description "Example SLConfiguration"@en .



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:carstopspace1_portA a s4lift:DoorConnectionPoint .

ex:carstopspace1_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 .









ex:carservice1 a s4lift:PossibleSmartLiftCarService ;

  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 .





ex:carstopspace1_portA saref:hasState ex:carstopspace1_portA_state .

ex:carstopspace1_portA_state a saref:OpenState ; saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

ex:carstopspace2_portA saref:hasState ex:carstopspace2_portA_state .

ex:carstopspace2_portA_state a saref:CloseState ; saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 

ex:carstopspace2_portB saref:hasState ex:carstopspace2_portB_state .

ex:carstopspace2_portB_state a saref:CloseState ; saref:hasTimestamp "2021-03-15T12:00:00Z"^^xsd:dateTime . 





<mailto:lift.1415@company1.com> s4lift:hasDoorOpenTime "PT10S"^^xsd:duration .

<mailto:lift.1415@company1.com> s4lift:hasDoorCloseTime "PT16S"^^xsd:duration .

<mailto:lift.1415@company1.com> s4lift:hasTravelTime "PT35S"^^xsd:duration .







<mailto:lift.1415@company1.com> owl:sameAs <http://company1.com/lift/1415> .
 
 No newline at end of file

examples/SLIIdentification.ttl

0 → 100644
+28 −0
Original line number Diff line number Diff line 
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/SLIIdentification/> .

@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/> .



<https://saref.etsi.org/saref4lift/v1.1.1/example/SLIIdentification#> a dctype:Dataset ;

  dcterms:license <https://forge.etsi.org/etsi-software-license> ;

  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;

  dcterms:title "Example SLIIdentification"@en ;

  dcterms:description "Example SLIIdentification"@en .



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

  s4lift:isGroupedIn <mailto:group.10354@company1.com> ;

  s4lift:isMasterInGroup <mailto:group.10354@company1.com> .



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

  s4lift:isGroupedIn <mailto:group.10354@company1.com> ;

  s4lift:isSecondaryInGroup <mailto:group.10354@company1.com> .



<mailto:group.10354@company1.com> a s4lift:SmartLiftGroup .
 
 No newline at end of file

examples/SLInstallation.ttl

0 → 100644
+83 −0
Original line number Diff line number Diff line 
@prefix ex: <https://saref.etsi.org/saref4lift/v1.1.1/example/SLInstallation/> .

@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/SLInstallation#> a dctype:Dataset ;

  dcterms:license <https://forge.etsi.org/etsi-software-license> ;

  dcterms:conformsTo <https://saref.etsi.org/saref4lift/v1.1.1/> ;

  dcterms:title "Example SLInstallation"@en ;

  dcterms:description "Example SLInstallation"@en .





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





<mailto:lift.1415@company1.com> rdf:type s4lift:HydraulicDevice .

<mailto:lift.1415@company1.com> rdf:type s4lift:MachineRoomLessSmartLift .





<mailto:lift.1415@company1.com> saref:hasManufacturer "Company1" .





<mailto:lift.1415@company1.com> s4lift:hasPlateInformation "abcd" .





<mailto:lift.1415@company1.com> s4lift:isGroupedIn <mailto:group.10354@company1.com> .

<mailto:lift.1415@company1.com> s4lift:isMasterInGroup <mailto:group.10354@company1.com> .

<mailto:group.10354@company1.com> a s4lift:SmartLiftGroup .





<mailto:lift.1415@company1.com> s4lift:hasStops 7 .





<mailto:lift.1415@company1.com> s4lift:hasDoors 1 .





<mailto:lift.1415@company1.com> s4lift:hasCarServices 7 .





<mailto:lift.1415@company1.com> s4lift:hasCarloadLimit _:carloadLimit .



_:carloadLimit a s4lift:Load .



_:carloadLimitMeasurement a saref:Measurement ;

  saref:hasValue "450 kg"^^cdt:ucum ;

  saref:relatesToProperty _:carloadLimit .





<mailto:lift.1415@company1.com> rdf:type s4lift:SmartLiftWithoutEmergencyCallSupport .







<mailto:lift.1415@company1.com> rdf:type s4lift:ElectricPowerSystem ;

  s4lift:hasMainPowerSupply _:mainPowerSupply .



_:mainPowerSupply rdf:type s4lift:ElectricalConnectionPoint , s4lift:ThreePhaseConnectionPoint .





_:mainPowerSupply s4lift:hasVoltage _:mainPowerSupplyVoltage .



_:mainPowerSupplyVoltageMeasurement a saref:Measurement ;

  saref:hasValue "380 V"^^cdt:ucum ;

  saref:relatesToProperty _:mainPowerSupplyVoltage .





<mailto:lift.1415@company1.com> s4lift:hasStandardPowerSupply _:standardPowerSupply .



_:standardPowerSupply rdf:type s4lift:ElectricalConnectionPoint , s4lift:SinglePhaseConnectionPoint ;

  s4lift:hasVoltage _:standardPowerSupplyVoltage .



_:standardPowerSupplyVoltageMeasurement a saref:Measurement ;

  saref:hasValue "12 V"^^cdt:ucum ;

  saref:relatesToProperty _:standardPowerSupplyVoltage .

ontology/saref4lift.ttl

+23 −2
Original line number Diff line number Diff line
@@ -412,6 +412,27 @@ s4lift:DoorConnectionPoint rdf:type owl:Class ; 
                                                rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;

                                                rdfs:label "Geometry"@en .



###  http://www.opengis.net/ont/geosparql#asWKT

<http://www.opengis.net/ont/geosparql#asWKT> rdf:type owl:DatatypeProperty ;

                                                rdfs:domain <http://www.opengis.net/ont/geosparql#Geometry> ;

                                                rdfs:range <http://www.opengis.net/ont/geosparql#wktLiteral> ;

                                                rdfs:comment "The WKT serialization of a geometry"@en ;

                                                rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;

                                                rdfs:label "asWKT"@en .



###  http://www.opengis.net/ont/geosparql#wktLiteral

<http://www.opengis.net/ont/geosparql#wktLiteral> rdf:type rdfs:Datatype ;

                                                rdfs:comment "A Well-known Text serialization of a geometry object."@en ;

                                                rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;

                                                rdfs:label "Well-known Text Literal"@en .



###  http://www.opengis.net/ont/geosparql#hasGeometry

<http://www.opengis.net/ont/geosparql#hasGeometry> rdf:type owl:ObjectProperty ;

                                                rdfs:domain <http://www.opengis.net/ont/geosparql#Feature> ;

                                                rdfs:range <http://www.opengis.net/ont/geosparql#Geometry> ;

                                                rdfs:comment "A spatial representation for a given feature."@en ;

                                                rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;

                                                rdfs:label "hasGeometry"@en .



###  http://www.opengis.net/ont/geosparql#SpatialObject

<http://www.opengis.net/ont/geosparql#SpatialObject> rdf:type owl:Class ;
@@ -422,8 +443,8 @@ s4lift:DoorConnectionPoint rdf:type owl:Class ; 
###  http://www.opengis.net/ont/sf#Point

<http://www.opengis.net/ont/sf#Point> rdf:type owl:Class ;

                                      rdfs:subClassOf <http://www.opengis.net/ont/geosparql#Geometry> ;

                                      rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ,

                                                       "Point" .

                                      rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ;

                                      rdfs:label "Point"@en .



###  https://saref.etsi.org/saref4lift/AlarmSignal

s4lift:AlarmSignal rdf:type owl:Class ;