Skip to content
saref4lift.ttl 33.5 KiB
Newer Older
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix : <https://saref.etsi.org/saref4lift/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix saref: <https://saref.etsi.org/core/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@prefix schema: <http://schema.org/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
Maxime Lefrançois's avatar
Maxime Lefrançois committed
@base <https://saref.etsi.org/saref4lift/> .

<https://saref.etsi.org/saref4lift/> rdf:type owl:Ontology ;
                                      owl:versionIRI <https://saref.etsi.org/saref4lift/v1.1.1/> ;
                                      dcterms:source <https://saref.etsi.org/sources/saref4lift/> ;
                                      vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" ;
                                      owl:versionInfo "v1.2.1" ;
                                      dcterms:publisher <https://www.etsi.org/> ;
                                      dcterms:modified "2021-02-22" ;
                                      dcterms:title "SAREF extension for Smart Lifts"@en ;
                                      vann:preferredNamespacePrefix "s4lift" ;
                                      dcterms:license <https://forge.etsi.org/etsi-software-license> ;
                                      dcterms:description "This ontology extends the SAREF ontology for the Smart Lifts domain."@en .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/terms/description
dcterms:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/license
dcterms:license rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/modified
dcterms:modified rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/publisher
dcterms:publisher rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/source
dcterms:source rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/title
dcterms:title rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2002/07/owl#qualifiedCardinality
owl:qualifiedCardinality rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  https://saref.etsi.org/core/hasCommand
saref:hasCommand rdf:type owl:ObjectProperty ;
                 rdfs:domain saref:Function ;
                 rdfs:range saref:Command ;
                 rdfs:comment "A relationship between a function and a command" ,
                              "has command" ;
                 rdfs:isDefinedBy saref: .


###  https://saref.etsi.org/core/isMeasuredIn
saref:isMeasuredIn rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf owl:topObjectProperty ;
                   rdfs:comment "A relationship identifying the unit of measure used for a certain entity." ;
                   rdfs:isDefinedBy saref: ;
                   rdfs:label "is measured in" .


###  https://saref.etsi.org/core/relatesToProperty
saref:relatesToProperty rdf:type owl:ObjectProperty ;
                        rdfs:isDefinedBy <https://saref.etsi.org/core> ;
                        rdfs:label "relates to property" .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/hasDoorCloseTime
:hasDoorCloseTime rdf:type owl:ObjectProperty ;
                  rdfs:domain :SmartLiftInstallation ;
                  rdfs:range saref:Time ;
                  rdfs:comment "A relationship defining the time spent by a lift to close its doors" ;
                  rdfs:label "has door close time" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/hasDoorOpenTime
:hasDoorOpenTime rdf:type owl:ObjectProperty ;
                 rdfs:domain :SmartLiftInstallation ;
                 rdfs:range saref:Time ;
                 rdfs:comment "A relationship defining the time spent by a lift to open its doors" ;
                 rdfs:label "has door open time" .
###  https://saref.etsi.org/saref4lift/hasLimitLoad
:hasLimitLoad rdf:type owl:ObjectProperty ;
              rdfs:range :Load ;
              rdfs:comment "A relationship defining the limit load of a lift" ;
              rdfs:label "has limit load" .


###  https://saref.etsi.org/saref4lift/hasPowerSupply
:hasPowerSupply rdf:type owl:ObjectProperty ;
                rdfs:range saref:Power ;
                rdfs:comment "A relationship defining the value of the main power supply of a lift" ;
                rdfs:label "has power supply" .


###  https://saref.etsi.org/saref4lift/hasStandardPowerSupply
:hasStandardPowerSupply rdf:type owl:ObjectProperty ;
                        rdfs:range saref:Power ;
                        rdfs:comment "A relationship defining the value of the standard power supply of a lift" ;
                        rdfs:label "has standard power supply" .
Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/hasTraveledTime
:hasTraveledTime rdf:type owl:ObjectProperty ;
                 rdfs:domain :SmartLiftInstallation ;
                 rdfs:range saref:Time ;
                 rdfs:comment "A relationship defining the time spent by a lift to travel between car stops" ;
                 rdfs:label "has travel time" .


###  https://saref.etsi.org/saref4lift/isAssociatedTo
:isAssociatedTo rdf:type owl:ObjectProperty ;
                rdfs:domain :Signal ;
                rdfs:range saref:FeatureOfInterest ;
                rdfs:comment "A relationship specifying the features of interest that are associated to a signal" ;
                rdfs:label "is associated to" .


###  https://saref.etsi.org/saref4lift/isGroupedIn
:isGroupedIn rdf:type owl:ObjectProperty ;
             rdfs:domain :SmartLiftInstallation ;
             rdfs:range :SmartLiftGroup ;
             rdfs:comment "A relationship specifying the smart lift installations grouped into smart lift groups" ;
             rdfs:label "is grouped in" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/isMeasuredIn
:isMeasuredIn rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf owl:topObjectProperty ;
              rdfs:domain :NetworkCoverage ;
              rdfs:range :Percentage .


###  https://saref.etsi.org/saref4lift/receives
:receives rdf:type owl:ObjectProperty ;
          rdfs:range :BCSSignal .


###  https://saref.etsi.org/saref4lift/sendsCommand
:sendsCommand rdf:type owl:ObjectProperty ;
              rdfs:range saref:Command .


###  https://saref.etsi.org/saref4syst/hasSubSystem
<https://saref.etsi.org/saref4syst/hasSubSystem> rdf:type owl:ObjectProperty ;
                                                 rdfs:comment "Links a system to one of its sub systems." ;
                                                 rdfs:isDefinedBy <https://saref.etsi.org/saref4syst/> ;
                                                 rdfs:label "has sub system" .


###  ttps://saref.etsi.org/core/hasFunction
<ttps://saref.etsi.org/core/hasFunction> rdf:type owl:ObjectProperty ;
                                         rdfs:domain saref:Device ;
                                         rdfs:range saref:Function ;
                                         rdfs:comment "A relationship identifying the function of a device" ;
                                         rdfs:isDefinedBy saref: ;
                                         rdfs:label "has function" .
#################################################################
#    Data properties
#################################################################

###  https://saref.etsi.org/core/hasManufacturer
saref:hasManufacturer rdf:type owl:DatatypeProperty ;
                      rdfs:comment "A relationship identifying the manufacturer of an entity (e.g., device). The value is expected to be a string or a string with language tag." ;
                      rdfs:isDefinedBy saref: ;
                      rdfs:label "has manufacturer" .


###  https://saref.etsi.org/core/hasValue
saref:hasValue rdf:type owl:DatatypeProperty ;
               rdfs:isDefinedBy saref: ;
               rdfs:label "has value" .


###  https://saref.etsi.org/saref4lift/hasBuildingManager
:hasBuildingManager rdf:type owl:DatatypeProperty ;
                    rdfs:range xsd:string ;
                    rdfs:comment "A relationship identifying the building manager  of the lift." ;
                    rdfs:label "has building manager" .


###  https://saref.etsi.org/saref4lift/hasCarStops
:hasCarStops rdf:type owl:DatatypeProperty ;
             rdfs:range xsd:integer ;
             rdfs:label "The number of car stops in a lift" ,
                        "has car stops" .


###  https://saref.etsi.org/saref4lift/hasDoorsStatus
:hasDoorsStatus rdf:type owl:DatatypeProperty ;
                rdfs:range xsd:boolean ;
                rdfs:label "Status of the door. TRUE indicates that indicates that the corresponding port identified by the array index is open at the given stop. FALSE indicates that the port is closed." ,
                           "has door status" .


###  https://saref.etsi.org/saref4lift/hasInstallerLiftCompany
:hasInstallerLiftCompany rdf:type owl:DatatypeProperty ;
                         rdfs:range xsd:string ;
                         rdfs:comment "A relationship identifying the installer company of the lift." ;
                         rdfs:label "has installer company" .


###  https://saref.etsi.org/saref4lift/hasMainEmergencyNumber
:hasMainEmergencyNumber rdf:type owl:DatatypeProperty ;
                        rdfs:range xsd:string ;
                        rdfs:comment "Main emergency numbers to be called in case of emergency" ;
                        rdfs:label "has main Emergency Number" .
Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/hasNetworkValue
:hasNetworkValue rdf:type owl:DatatypeProperty ;
                 rdfs:domain :RegisteredNetworkOperator ;
                 rdfs:range xsd:string .


###  https://saref.etsi.org/saref4lift/hasOwner
:hasOwner rdf:type owl:DatatypeProperty ;
          rdfs:range xsd:string ;
          rdfs:comment "A relationship identifying the owner of an entity." ;
          rdfs:label "has owner" .


###  https://saref.etsi.org/saref4lift/hasPositionValue
:hasPositionValue rdf:type owl:DatatypeProperty ;
                  rdfs:domain :PositionSignal ;
                  rdfs:range xsd:integer .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/hasPowerSupplyValue
:hasPowerSupplyValue rdf:type owl:DatatypeProperty ;
                     rdfs:domain :EmergencyPowerSupply ,
                                 :StandardEmergencyPowerSupply ;
                     rdfs:range xsd:boolean .


###  https://saref.etsi.org/saref4lift/hasSecondaryEmergencyTelephoneNumber
:hasSecondaryEmergencyTelephoneNumber rdf:type owl:DatatypeProperty ;
                                      rdfs:domain :SmartLiftInstallation ;
                                      rdfs:range xsd:string ;
                                      rdfs:comment "Secondary emergency numbers to be called in case of emergency." ;
                                      rdfs:label "has secondary emergency telephone number" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/hasStatisticValue
:hasStatisticValue rdf:type owl:DatatypeProperty ;
                   rdfs:domain :StatisticSignal ;
                   rdfs:range xsd:integer .


###  https://saref.etsi.org/saref4lift/hasStatusValue
:hasStatusValue rdf:type owl:DatatypeProperty ;
                rdfs:domain :StatusSignal ;
                rdfs:range xsd:boolean .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/hasTelephoneNumber
:hasTelephoneNumber rdf:type owl:DatatypeProperty ;
                    rdfs:range xsd:string ;
                    rdfs:comment "Number corresponding to the lift communication module to be used for call terminated to the lift car." ;
                    rdfs:label "has telephone number" .
#################################################################
#    Classes
#################################################################

###  https://saref.etsi.org/core/Command
saref:Command rdf:type owl:Class ;
              rdfs:comment "A directive that a device must support to perform a certain function. A command may act upon a state, but does not necessarily act upon a state. For example, the ON command acts upon the ON/OFF state, but the GET command does not act upon any state, it simply gives a directive to retrieve a certain value" ;
              rdfs:isDefinedBy saref: ;
              rdfs:label "Command" .


###  https://saref.etsi.org/core/Device
saref:Device rdf:type owl:Class ;
             rdfs:comment "A tangible object designed to accomplish a particular task. In order to accomplish this task, the device performs one or more functions. For example, a washing machine is designed to wash (task) and to accomplish this task it performs a start and stop function." ;
             rdfs:isDefinedBy <https://saref.etsi.org/core> ;
             rdfs:label "Device" .


###  https://saref.etsi.org/core/FeatureOfInterest
saref:FeatureOfInterest rdf:type owl:Class ;
                        rdfs:comment "A feature of interest represents any real world entity from which a property is measured." ;
                        rdfs:isDefinedBy "https://saref.etsi.org/core/" ;
                        rdfs:label "FeatureOfInterest" .


###  https://saref.etsi.org/core/Function
saref:Function rdf:type owl:Class ;
               rdfs:comment "The functionality necessary to accomplish the task for which a device is designed. A device can be designed to perform more than one function. Functions can be structured in categories (subclasses) that reflect different points of view, for example, considering the specific application area for which a function can be used (e.g., light, temperature, motion, heat, power, etc.), or the capability that a function can support (e.g., receive, reply, notify, etc.), and so forth." ;
               rdfs:isDefinedBy <https://saref.etsi.org/core> ;
               rdfs:label "Function" .


###  https://saref.etsi.org/core/Measurement
saref:Measurement rdf:type owl:Class ;
                  rdfs:subClassOf [ rdf:type owl:Restriction ;
                                    owl:onProperty saref:relatesToProperty ;
                                    owl:allValuesFrom saref:Property
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty saref:isMeasuredIn ;
                                    owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                    owl:onClass saref:UnitOfMeasure
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty saref:relatesToProperty ;
                                    owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                    owl:onClass saref:Property
                                  ] ;
                  rdfs:comment "Represents the measured value made over a property. It is also linked to the unit of measure in which the value is expressed and the timestamp of the measurement." ;
                  rdfs:isDefinedBy saref: ;
                  rdfs:label "Measurement" .


###  https://saref.etsi.org/core/Power
saref:Power rdf:type owl:Class ;
            rdfs:subClassOf saref:Property ;
            rdfs:comment "A saref:Property related to some measurements that are characterized by a certain value that is measured in a power unit (such as watt or kilowatt). Further specializations of the saref:Power class can be found in the SAREF4ENER extension, where classes such as PowerMax, PowerMin and PowerExpected are defined." ;
            rdfs:isDefinedBy <https://saref.etsi.org/core> ;
            rdfs:label "Power" .


###  https://saref.etsi.org/core/Property
saref:Property rdf:type owl:Class ;
               rdfs:comment "A quality of a feature of interest that can be measured; an aspect of a feature of interest that is intrinsic to and cannot exist without the feature" ;
               rdfs:isDefinedBy saref: ;
               rdfs:label "Property" .


###  https://saref.etsi.org/core/Time
saref:Time rdf:type owl:Class ;
           rdfs:comment "A class that allows to specify the time concept." ;
           rdfs:isDefinedBy saref: ;
           rdfs:label "Time" .


###  https://saref.etsi.org/core/UnitOfMeasure
saref:UnitOfMeasure rdf:type owl:Class ;
                    rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property. For example, Power is a property and Watt is a unit of power that represents a definite predetermined power: when we say 10 Watt, we actually mean 10 times the definite predetermined power called \\\"watt\\\". Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM). We propose here a list of some units of measure that are relevant for the purpose of the Smart Appliances ontology, but this list can be extended." ;
                    rdfs:isDefinedBy saref: ;
                    rdfs:label "Unit of measure" .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/Alarm
:Alarm rdf:type owl:Class ;
       rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/AlarmInTheMachinery
:AlarmInTheMachinery rdf:type owl:Class ;
                     rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/AlarmInTheWell
:AlarmInTheWell rdf:type owl:Class ;
                rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/AlarmVoiceCommunication
:AlarmVoiceCommunication rdf:type owl:Class ;
                         rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/AudioFault
:AudioFault rdf:type owl:Class ;
            rdfs:subClassOf :Fault .


###  https://saref.etsi.org/saref4lift/BCSSignal
:BCSSignal rdf:type owl:Class ;
           rdfs:subClassOf :Signal ;
           rdfs:label "Bidirectional communication system signal" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/BoardReset
:BoardReset rdf:type owl:Class ;
            rdfs:subClassOf saref:Command ;
            rdfs:comment "A type of command to initiate the board reset" ;
            rdfs:label "Board reset" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/CallCarToSpecificFloor
:CallCarToSpecificFloor rdf:type owl:Class ;
                        rdfs:subClassOf saref:Command ;
                        rdfs:comment "A type of command to call a car to a specific floor" ;
                        rdfs:label "CallCarToSpecificFloor" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/CallsPerService
:CallsPerService rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/CarAlarm
:CarAlarm rdf:type owl:Class ;
Mauro Dragoni's avatar
Mauro Dragoni committed
          rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/CarInUnlockingZone
:CarInUnlockingZone rdf:type owl:Class ;
                    rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/CarSignal
Mauro Dragoni's avatar
Mauro Dragoni committed
:CarSignal rdf:type owl:Class ;
           rdfs:subClassOf :Signal .


###  https://saref.etsi.org/saref4lift/CurrentCarStop
:CurrentCarStop rdf:type owl:Class ;
                rdfs:subClassOf :PositionSignal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/DangerousFault
:DangerousFault rdf:type owl:Class ;
                rdfs:subClassOf :Fault .


###  https://saref.etsi.org/saref4lift/DownwardTravels
:DownwardTravels rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/EmergencyPowerAlarm
:EmergencyPowerAlarm rdf:type owl:Class ;
                     rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/EmergencyPowerSupply
:EmergencyPowerSupply rdf:type owl:Class ;
                      rdfs:subClassOf :Signal .


###  https://saref.etsi.org/saref4lift/Fault
:Fault rdf:type owl:Class ;
       rdfs:subClassOf :FaultSignal .


###  https://saref.etsi.org/saref4lift/FaultSignal
:FaultSignal rdf:type owl:Class ;
             rdfs:subClassOf :CarSignal .


###  https://saref.etsi.org/saref4lift/FireOperation
:FireOperation rdf:type owl:Class ;
               rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/FiremanLift
:FiremanLift rdf:type owl:Class ;
             rdfs:subClassOf :SmartLiftInstallation ;
             rdfs:label "Fireman lift" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/FloodAlarm
:FloodAlarm rdf:type owl:Class ;
            rdfs:subClassOf :Alarm .


###  https://saref.etsi.org/saref4lift/GoodsOnlySmartLift
:GoodsOnlySmartLift rdf:type owl:Class ;
                    rdfs:subClassOf :SmartLiftInstallation ;
                    rdfs:label "Goods only smart lift" .


###  https://saref.etsi.org/saref4lift/GoodsSmartLift
:GoodsSmartLift rdf:type owl:Class ;
                rdfs:subClassOf :SmartLiftInstallation ;
                rdfs:label "Goods smart lift" .


###  https://saref.etsi.org/saref4lift/InspectionOperation
:InspectionOperation rdf:type owl:Class ;
                     rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/Load
:Load rdf:type owl:Class ;
      rdfs:subClassOf saref:Property ;
      rdfs:comment "A saref:Property related to the amount of electricity on the grid at any given time" ;
      rdfs:label "Load" .
Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/MinorFault
:MinorFault rdf:type owl:Class ;
            rdfs:subClassOf :Fault .


###  https://saref.etsi.org/saref4lift/MovingDownwardDirection
:MovingDownwardDirection rdf:type owl:Class ;
                         rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/MovingUpwardDirection
:MovingUpwardDirection rdf:type owl:Class ;
                       rdfs:subClassOf :StatusSignal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/Network
:Network rdf:type owl:Class ;
         rdfs:label "Network" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/NetworkCoverage
:NetworkCoverage rdf:type owl:Class ;
                 rdfs:subClassOf :BCSSignal ;
                 rdfs:label "Network coverage" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/NetworkQualityBER
:NetworkQualityBER rdf:type owl:Class ;
                   rdfs:subClassOf :BCSSignal .


###  https://saref.etsi.org/saref4lift/NetworkQualityRSSI
:NetworkQualityRSSI rdf:type owl:Class ;
                    rdfs:subClassOf :BCSSignal .


###  https://saref.etsi.org/saref4lift/NumberOfCalls
:NumberOfCalls rdf:type owl:Class ;
               rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/NumberOfFaults
:NumberOfFaults rdf:type owl:Class ;
                rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/OutOfService
:OutOfService rdf:type owl:Class ;
              rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/Overload
:Overload rdf:type owl:Class ;
          rdfs:subClassOf :StatusSignal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/Percentage
:Percentage rdf:type owl:Class .


###  https://saref.etsi.org/saref4lift/PositionSignal
:PositionSignal rdf:type owl:Class ;
                rdfs:subClassOf :CarSignal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/RegisteredNetworkOperator
:RegisteredNetworkOperator rdf:type owl:Class ;
                           rdfs:subClassOf :BCSSignal .


###  https://saref.etsi.org/saref4lift/SendCarToSpecificFloor
:SendCarToSpecificFloor rdf:type owl:Class ;
                        rdfs:subClassOf saref:Command ;
                        rdfs:comment "A type of command to send a car to a specific floor" ;
                        rdfs:label "SendCarToSpecificFloor" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/SetOutOfService
:SetOutOfService rdf:type owl:Class ;
                 rdfs:subClassOf saref:Command ;
                 rdfs:comment "A type of command to set a lift out of service" ;
                 rdfs:label "SetOutOfService" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/SetRealTimeMode
:SetRealTimeMode rdf:type owl:Class ;
                 rdfs:subClassOf saref:Command ;
                 rdfs:comment "A type of command to set the real time mode" ;
                 rdfs:label "SetRealTimeMode" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/Signal
:Signal rdf:type owl:Class ;
        rdfs:subClassOf [ rdf:type owl:Restriction ;
                          owl:onProperty saref:isMeasuredIn ;
                          owl:someValuesFrom saref:Measurement
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isAssociatedTo ;
                          owl:someValuesFrom saref:FeatureOfInterest
                        ] ;
        rdfs:label "Signal" .


###  https://saref.etsi.org/saref4lift/SmartLiftEdgeComponent
:SmartLiftEdgeComponent rdf:type owl:Class ;
                        rdfs:subClassOf saref:Device ,
                                        <https://saref.etsi.org/saref4syst/System> ;
                        rdfs:comment "A Smart Lift Edge Component is dedicated to the hosting of SL additional modules in the case that they are not hosted directly in the  Smart Lift Edge Control Unit. An example could be the case of an additional earthquake sensor added after the lift deployment and not controlled by the SLECU." ;
                        rdfs:label "Smart Lift Edge Component" .


###  https://saref.etsi.org/saref4lift/SmartLiftEdgeControlUnit
:SmartLiftEdgeControlUnit rdf:type owl:Class ;
                          rdfs:subClassOf saref:Device ,
                                          <https://saref.etsi.org/saref4syst/System> ;
                          rdfs:comment "A  Smart Lift Edge Control Unit  is the main element of a SLI and it is typically associated with the lift control cabinet" ;
                          rdfs:label "Smart Lift Edge Control Unit" .


###  https://saref.etsi.org/saref4lift/SmartLiftGroup
:SmartLiftGroup rdf:type owl:Class ;
                rdfs:subClassOf <https://saref.etsi.org/saref4syst/System> ;
                rdfs:comment "A Smart Lift Group represents the correlation of multiple Smart Lifts Installation and it is supported by the introduction of a Smart Lift Group identifier common each Smart Lifts Installation belonging to the same Smart Lift Group. Such kind of installations usually presents control units connected one each other to coordinate the movement and position of the different lifts, where the common commands (e.g. the call buttons) are given to one of these control units that acts as a principal master and coordinates the other installations or is composed by peer installations that coordinates one each othe" ;
                rdfs:label "Smart Lift Group" .


###  https://saref.etsi.org/saref4lift/SmartLiftInstallation
:SmartLiftInstallation rdf:type owl:Class ;
                       rdfs:subClassOf <https://saref.etsi.org/saref4syst/System> ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasDoorCloseTime ;
                                         owl:someValuesFrom saref:Time
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasDoorOpenTime ;
                                         owl:someValuesFrom saref:Time
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasLimitLoad ;
                                         owl:someValuesFrom :Load
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty <https://saref.etsi.org/saref4syst/hasSubSystem> ;
                                         owl:someValuesFrom :SmartLiftEdgeComponent
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty <https://saref.etsi.org/saref4syst/hasSubSystem> ;
                                         owl:someValuesFrom :SmartLiftEdgeControlUnit
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasCarStops ;
                                         owl:someValuesFrom xsd:integer
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasMainEmergencyNumber ;
                                         owl:someValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasSecondaryEmergencyTelephoneNumber ;
                                         owl:someValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasTelephoneNumber ;
                                         owl:someValuesFrom xsd:string
                                       ] ;
                       rdfs:comment "A Smart Lift Installation  in the Smart Lift  System corresponds to a single lift, with all its elements." ;
                       rdfs:label "Smart lift Installation" .


###  https://saref.etsi.org/saref4lift/SmartLiftPlatform
:SmartLiftPlatform rdf:type owl:Class ;
                   rdfs:subClassOf :SmartLiftInstallation ;
                   rdfs:label "Smart lift platform" .
Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/StandardEmergencyPowerSupply
:StandardEmergencyPowerSupply rdf:type owl:Class ;
                              rdfs:subClassOf :Signal .


###  https://saref.etsi.org/saref4lift/StatisticSignal
:StatisticSignal rdf:type owl:Class ;
                 rdfs:subClassOf :Signal .


###  https://saref.etsi.org/saref4lift/StatusSignal
:StatusSignal rdf:type owl:Class ;
              rdfs:subClassOf :CarSignal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/TestEmergencyNumber
:TestEmergencyNumber rdf:type owl:Class ;
                     rdfs:subClassOf saref:Command ;
                     rdfs:comment "A type of command to test the emergency number" ;
                     rdfs:label "TestEmergencyNumber" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TestRideCommand
:TestRideCommand rdf:type owl:Class ;
                 rdfs:subClassOf saref:Command ;
                 rdfs:comment "A type of command to test the ride" ;
                 rdfs:label "TestRideCommand" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TestRideSignal
:TestRideSignal rdf:type owl:Class ;
                rdfs:subClassOf :StatusSignal .


###  https://saref.etsi.org/saref4lift/TimeOfConfirmationOfLastPeriodicTest72hAttempt
:TimeOfConfirmationOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
                                                rdfs:subClassOf :BCSSignal .


###  https://saref.etsi.org/saref4lift/TimeOfLastPeriodicTest72hAttempt
:TimeOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
                                  rdfs:subClassOf :BCSSignal .


###  https://saref.etsi.org/saref4lift/TotalFloorsCovered
:TotalFloorsCovered rdf:type owl:Class ;
                    rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/TotalResetSequence
:TotalResetSequence rdf:type owl:Class ;
                    rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/TotalReverseDirection
:TotalReverseDirection rdf:type owl:Class ;
                       rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/TotalTimeOpened
:TotalTimeOpened rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4lift/UpwardTravels
:UpwardTravels rdf:type owl:Class ;
               rdfs:subClassOf :StatisticSignal .


###  https://saref.etsi.org/saref4syst/System
<https://saref.etsi.org/saref4syst/System> rdf:type owl:Class ;
                                           rdfs:comment "The class of systems, i.e., systems virtually isolated from the environment, whose behaviour and interactions with the environment are modeled. Systems can be connected to other systems. Connected systems interact in some ways. Systems can also have subsystems. Properties of subsystems somehow contribute to the properties of the supersystem." ;
                                           rdfs:isDefinedBy <https://saref.etsi.org/saref4syst/> ;
                                           rdfs:label "System" .


#################################################################
#    Individuals
#################################################################

###  https://saref.etsi.org/saref4lift/Network2G
:Network2G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "Network2G" .


###  https://saref.etsi.org/saref4lift/Network3G
:Network3G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "3G" .

Mauro Dragoni's avatar
Mauro Dragoni committed

###  https://saref.etsi.org/saref4lift/Network4G
:Network4G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "4G" .
###  https://saref.etsi.org/saref4lift/Network5G
:Network5G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "5G" .
###  https://saref.etsi.org/saref4lift/NetworkFixedLine
:NetworkFixedLine rdf:type owl:NamedIndividual ,
                           :Network .
Mauro Dragoni's avatar
Mauro Dragoni committed

[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
] .
Maxime Lefrançois's avatar
Maxime Lefrançois committed

###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi