Skip to content
saref4lift.ttl 40.9 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:description "This ontology extends the SAREF ontology for the Smart Lifts domain."@en ;
                                      dcterms:license <https://forge.etsi.org/etsi-software-license> ;
                                      dcterms:modified "2021-02-23" ;
                                      dcterms:publisher <https://www.etsi.org/> ;
                                      dcterms:source <https://saref.etsi.org/sources/saref4lift/> ;
                                      dcterms:title "SAREF extension for Smart Lifts"@en ;
                                      vann:preferredNamespacePrefix "s4lift" ;
                                      vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" ;
                                      owl:versionInfo "v1.2.2" .

#################################################################
#    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
#################################################################

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


###  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: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:comment "A relationship between a measurement and the property it relates to" ;
                        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 .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  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 ;
###  https://saref.etsi.org/saref4lift/supportsNetworkTechnology
:supportsNetworkTechnology rdf:type owl:ObjectProperty ;
                           rdfs:comment "A relationship to determine the supported network technologies of the lift. Examples of technologies are 2G, 3G,4G, 5G and fixed line." ;
                           rdfs:label "supports network technology" .


###  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/hasTimestamp
saref:hasTimestamp rdf:type owl:DatatypeProperty ;
                   rdfs:comment "A relationship stating the timestamp of an entity (e.g. a measurement)." ;
                   rdfs:isDefinedBy saref: ;
                   rdfs:label "has timestamp" .


###  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/hasInstallerCompany
:hasInstallerCompany rdf:type owl:DatatypeProperty ;
                     rdfs:range xsd:string ;
                     rdfs:comment "A relationship identifying the installer company of an entity." ;
                     rdfs:label "has installer company" .
albaizq's avatar
albaizq committed
###  https://saref.etsi.org/saref4lift/hasLocationValidator
:hasLocationValidator rdf:type owl:DatatypeProperty ;
                      rdfs:range xsd:string ;
                      rdfs:comment "Name of who has provided the validation of the correctness of the location of the entity" ;
                      rdfs:label "has location validator" .


###  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" .


###  https://saref.etsi.org/saref4lift/hasMaintenanceCompany
:hasMaintenanceCompany rdf:type owl:DatatypeProperty ;
                       rdfs:range xsd:string ;
                       rdfs:comment "A relationship identifying the maintenance company of an entity." ;
                       rdfs:label "has maintenance company" .
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 :EmergencyPowerSupplySignal ,
                                 :StandardEmergencyPowerSupplySignal ;
Mauro Dragoni's avatar
Mauro Dragoni committed
                     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
#################################################################

###  http://www.opengis.net/ont/geosparql#Feature
<http://www.opengis.net/ont/geosparql#Feature> rdf:type owl:Class ;
                                               rdfs:subClassOf <http://www.opengis.net/ont/geosparql#SpatialObject> ;
                                               rdfs:comment "This class represents the top-level feature type. This class is equivalent to GFI_Feature defined in ISO 19156:2011, and it is superclass of all feature types." ;
                                               rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;
                                               rdfs:label "Feature" .


###  http://www.opengis.net/ont/geosparql#Geometry
<http://www.opengis.net/ont/geosparql#Geometry> rdf:type owl:Class ;
                                                rdfs:subClassOf <http://www.opengis.net/ont/geosparql#SpatialObject> ;
                                                rdfs:comment "The class represents the top-level geometry type. This class is equivalent to the UML class GM_Object defined in ISO 19107, and it is superclass of all geometry types." ;
                                                rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;
                                                rdfs:label "Geometry" .


###  http://www.opengis.net/ont/geosparql#SpatialObject
<http://www.opengis.net/ont/geosparql#SpatialObject> rdf:type owl:Class ;
                                                     rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ;
                                                     rdfs:label "Spatial object" .


###  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" .


###  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 ;
       rdfs:label "Alarm" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/AlarmInTheMachinery
:AlarmInTheMachinery rdf:type owl:Class ;
                     rdfs:subClassOf :Alarm ;
                     rdfs:label "Alarm in the machinery" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/AlarmInTheWell
:AlarmInTheWell rdf:type owl:Class ;
                rdfs:subClassOf :Alarm ;
                rdfs:label "Alarm in the well" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/AlarmVoiceCommunication
:AlarmVoiceCommunication rdf:type owl:Class ;
                         rdfs:subClassOf :Alarm ;
                         rdfs:label "Alarm voice communication" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/AudioFault
:AudioFault rdf:type owl:Class ;
            rdfs:subClassOf :FaultSignal ;
            rdfs:label "Audio signal" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/BCSSignal
:BCSSignal rdf:type owl:Class ;
           rdfs:subClassOf :Signal ;
           rdfs:label "Bidirectional communication system signal" .
###  https://saref.etsi.org/saref4lift/BoardResetCommand
:BoardResetCommand rdf:type owl:Class ;
                   rdfs:subClassOf saref:Command ;
                   rdfs:comment "A type of command to initiate the board reset" ;
                   rdfs:label "Board reset command" .
###  https://saref.etsi.org/saref4lift/CallCarToSpecificFloorCommand
:CallCarToSpecificFloorCommand rdf:type owl:Class ;
                               rdfs:subClassOf saref:Command ;
                               rdfs:comment "A type of command to call a car to a specific floor" ;
                               rdfs:label "Call car to specific floor command" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/CallsPerService
:CallsPerService rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal ;
                 rdfs:label "Call per service" .
###  https://saref.etsi.org/saref4lift/CarAlarm
:CarAlarm rdf:type owl:Class ;
          rdfs:subClassOf :Alarm ;
          rdfs:label "Car alarm" .


###  https://saref.etsi.org/saref4lift/CarInUnlockingZone
:CarInUnlockingZone rdf:type owl:Class ;
                    rdfs:subClassOf :StatusSignal ;
                    rdfs:label "Car in unlocking zone" .


###  https://saref.etsi.org/saref4lift/CarSignal
Mauro Dragoni's avatar
Mauro Dragoni committed
:CarSignal rdf:type owl:Class ;
           rdfs:subClassOf :Signal ;
           rdfs:label "Car signal" .
###  https://saref.etsi.org/saref4lift/CurrentCarStop
:CurrentCarStop rdf:type owl:Class ;
                rdfs:subClassOf :PositionSignal ;
                rdfs:label "Current car stop" .
Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/DangerousFault
:DangerousFault rdf:type owl:Class ;
                rdfs:subClassOf :FaultSignal ;
                rdfs:label "Dangerous signal" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/DownwardTravels
:DownwardTravels rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal ;
                 rdfs:label "Downward travels" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/EmergencyPowerAlarm
:EmergencyPowerAlarm rdf:type owl:Class ;
                     rdfs:subClassOf :Alarm ;
                     rdfs:label "Emergency power alarm" .
###  https://saref.etsi.org/saref4lift/EmergencyPowerSupplySignal
:EmergencyPowerSupplySignal rdf:type owl:Class ;
                            rdfs:subClassOf :PowerSupplySignal ;
                            rdfs:label "Emergency power supply signal" .


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


###  https://saref.etsi.org/saref4lift/FireOperation
:FireOperation rdf:type owl:Class ;
               rdfs:subClassOf :StatusSignal ;
               rdfs:label "Fire operation" .
###  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 ;
            rdfs:label "Flood 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 ;
                     rdfs:label "Inspection operation" .


###  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 :FaultSignal ;
            rdfs:label "Minor fault" .
###  https://saref.etsi.org/saref4lift/MovingDownwardDirection
:MovingDownwardDirection rdf:type owl:Class ;
                         rdfs:subClassOf :StatusSignal ;
                         rdfs:label "Moving downward direction" .


###  https://saref.etsi.org/saref4lift/MovingUpwardDirection
:MovingUpwardDirection rdf:type owl:Class ;
                       rdfs:subClassOf :StatusSignal ;
                       rdfs:label "Moving upward direction" .
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 ;
                   rdfs:label "Network quality BER" .
Mauro Dragoni's avatar
Mauro Dragoni committed


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


###  https://saref.etsi.org/saref4lift/NumberOfCalls
:NumberOfCalls rdf:type owl:Class ;
               rdfs:subClassOf :StatisticSignal ;
               rdfs:label "Number of calls" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/NumberOfFaults
:NumberOfFaults rdf:type owl:Class ;
                rdfs:subClassOf :StatisticSignal ;
                rdfs:label "Number of faults" .
###  https://saref.etsi.org/saref4lift/OutOfService
:OutOfService rdf:type owl:Class ;
              rdfs:subClassOf :StatusSignal ;
              rdfs:label "Out of service" .


###  https://saref.etsi.org/saref4lift/Overload
:Overload rdf:type owl:Class ;
          rdfs:subClassOf :StatusSignal ;
          rdfs:label "Overload" .
###  https://saref.etsi.org/saref4lift/PositionSignal
:PositionSignal rdf:type owl:Class ;
                rdfs:subClassOf :CarSignal ;
                rdfs:label "Position signal" .
###  https://saref.etsi.org/saref4lift/PowerSupplySignal
:PowerSupplySignal rdf:type owl:Class ;
                   rdfs:subClassOf :Signal .


Mauro Dragoni's avatar
Mauro Dragoni committed
###  https://saref.etsi.org/saref4lift/RegisteredNetworkOperator
:RegisteredNetworkOperator rdf:type owl:Class ;
                           rdfs:subClassOf :BCSSignal ;
                           rdfs:label "Registered network operator" .
###  https://saref.etsi.org/saref4lift/SendCarToSpecificFloorCommand
:SendCarToSpecificFloorCommand rdf:type owl:Class ;
                               rdfs:subClassOf saref:Command ;
                               rdfs:comment "A type of command to send a car to a specific floor" ;
                               rdfs:label "Send car to specific floor command" .
###  https://saref.etsi.org/saref4lift/SetOutOfServiceCommand
:SetOutOfServiceCommand rdf:type owl:Class ;
                        rdfs:subClassOf saref:Command ;
                        rdfs:comment "A type of command to set a lift out of service" ;
                        rdfs:label "Set out of service command" .
###  https://saref.etsi.org/saref4lift/SetRealTimeModeCommand
:SetRealTimeModeCommand rdf:type owl:Class ;
                        rdfs:subClassOf saref:Command ;
                        rdfs:comment "A type of command to set the real time mode" ;
                        rdfs:label "Set real time mode command" .
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:UnitOfMeasure
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :isAssociatedTo ;
                          owl:someValuesFrom saref:FeatureOfInterest
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty saref:hasTimestamp ;
                          owl:someValuesFrom xsd:dateTime
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty saref:hasValue ;
                          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                          owl:onDataRange owl:rational
                        ] ;
        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 smar lift 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 Smart Lift Edge Control Unit." ;
                        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 Smart Lift installation 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 saref:FeatureOfInterest ,
                                <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 <http://www.opengis.net/ont/geosparql#Feature> ,
                                       saref:FeatureOfInterest ,
                                       <https://saref.etsi.org/saref4syst/System> ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasLimitLoad ;
                                         owl:someValuesFrom :Load
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :supportsNetworkTechnology ;
                                         owl:someValuesFrom :Network
                                       ] ,
                                       [ 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
                                       ] ,
albaizq's avatar
albaizq committed
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasLocationValidator ;
                                         owl:someValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasMainEmergencyNumber ;
                                         owl:someValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasMaintenanceCompany ;
                                         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" .
###  https://saref.etsi.org/saref4lift/StandardEmergencyPowerSupplySignal
:StandardEmergencyPowerSupplySignal rdf:type owl:Class ;
                                    rdfs:subClassOf :PowerSupplySignal ;
                                    rdfs:label "Standard emergency power supply signal" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/StatisticSignal
:StatisticSignal rdf:type owl:Class ;
                 rdfs:subClassOf :Signal ;
                 rdfs:label "Statistic signal" .
###  https://saref.etsi.org/saref4lift/StatusSignal
:StatusSignal rdf:type owl:Class ;
              rdfs:subClassOf :CarSignal ;
              rdfs:label "Status signal" .

###  https://saref.etsi.org/saref4lift/TestEmergencyNumberCommand
:TestEmergencyNumberCommand rdf:type owl:Class ;
                            rdfs:subClassOf saref:Command ;
                            rdfs:comment "A type of command to test the emergency number" ;
                            rdfs:label "Test emergency number command" .

###  https://saref.etsi.org/saref4lift/TestRide
:TestRide rdf:type owl:Class ;
          rdfs:subClassOf :StatusSignal ;
          rdfs:label "Test ride" .
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 "Test ride command" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TimeOfConfirmationOfLastPeriodicTest72hAttempt
:TimeOfConfirmationOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
                                                rdfs:subClassOf :BCSSignal ;
                                                rdfs:label "Time of confirmation of last periodic test 72h attempt" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TimeOfLastPeriodicTest72hAttempt
:TimeOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
                                  rdfs:subClassOf :BCSSignal ;
                                  rdfs:label "Time of last periodic test 72h attempt" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TotalFloorsCovered
:TotalFloorsCovered rdf:type owl:Class ;
                    rdfs:subClassOf :StatisticSignal ;
                    rdfs:label "Total floors covered" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TotalResetSequence
:TotalResetSequence rdf:type owl:Class ;
                    rdfs:subClassOf :StatisticSignal ;
                    rdfs:label "Total reset sequence" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TotalReverseDirection
:TotalReverseDirection rdf:type owl:Class ;
                       rdfs:subClassOf :StatisticSignal ;
                       rdfs:label "Total reverse direction" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/TotalTimeOpened
:TotalTimeOpened rdf:type owl:Class ;
                 rdfs:subClassOf :StatisticSignal ;
                 rdfs:label "Total time opened" .
Mauro Dragoni's avatar
Mauro Dragoni committed


###  https://saref.etsi.org/saref4lift/UpwardTravels
:UpwardTravels rdf:type owl:Class ;
               rdfs:subClassOf :StatisticSignal ;
               rdfs:label "Upward travels" .
###  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
#################################################################

###  http://www.ontology-of-units-of-measure.org/resource/om-2/Percentage
<http://www.ontology-of-units-of-measure.org/resource/om-2/Percentage> rdf:type owl:NamedIndividual ,
                                                                                saref:UnitOfMeasure ;
                                                                       rdfs:label "Percentage" .


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


###  https://saref.etsi.org/saref4lift/Network3G
:Network3G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "Network 3G" .
Mauro Dragoni's avatar
Mauro Dragoni committed

###  https://saref.etsi.org/saref4lift/Network4G
:Network4G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "Network 4G" .
###  https://saref.etsi.org/saref4lift/Network5G
:Network5G rdf:type owl:NamedIndividual ,
                    :Network ;
           rdfs:label "Network 5G" .
###  https://saref.etsi.org/saref4lift/NetworkFixedLine
:NetworkFixedLine rdf:type owl:NamedIndividual ,
                           :Network ;
                  rdfs:label "Network fixed line" .
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.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi