@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> .
@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/> .
@prefix schema: <http://schema.org/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@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-01-11"^^xsd:date ;
                                      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.1.1" .

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


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

###  https://saref.etsi.org/saref4lift/hasDoorCloseTime
:hasDoorCloseTime rdf:type owl:ObjectProperty ;
                  rdfs:domain :SmartLift ;
                  rdfs:range :Time .


###  https://saref.etsi.org/saref4lift/hasDoorOpenTime
:hasDoorOpenTime rdf:type owl:ObjectProperty ;
                 rdfs:domain :SmartLift ;
                 rdfs:range :Time .


###  https://saref.etsi.org/saref4lift/hasLimitLoad
:hasLimitLoad rdf:type owl:ObjectProperty ;
              rdfs:domain :SmartLiftSystem ;
              rdfs:range :Load .


###  https://saref.etsi.org/saref4lift/hasPowerSupply
:hasPowerSupply rdf:type owl:ObjectProperty ;
                rdfs:domain :SmartLiftSystem ;
                rdfs:range :PowerSupply .


###  https://saref.etsi.org/saref4lift/hasStandardPowerSupply
:hasStandardPowerSupply rdf:type owl:ObjectProperty ;
                        rdfs:domain :SmartLiftSystem ;
                        rdfs:range :PowerSupply .


###  https://saref.etsi.org/saref4lift/hasTraveledTime
:hasTraveledTime rdf:type owl:ObjectProperty ;
                 rdfs:domain :SmartLift ;
                 rdfs:range :Time .


###  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:domain :SmartLiftSystem ;
          rdfs:range :BCSSignal .


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


#################################################################
#    Data properties
#################################################################

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


###  https://saref.etsi.org/saref4lift/hasDoorsStatus
:hasDoorsStatus rdf:type owl:DatatypeProperty ;
                rdfs:domain :SmartLiftSystem ;
                rdfs:range xsd:string .


###  https://saref.etsi.org/saref4lift/hasNetworkValue
:hasNetworkValue rdf:type owl:DatatypeProperty ;
                 rdfs:domain :RegisteredNetworkOperator ;
                 rdfs:range xsd:string .


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


###  https://saref.etsi.org/saref4lift/hasPowerSupplyValue
:hasPowerSupplyValue rdf:type owl:DatatypeProperty ;
                     rdfs:subPropertyOf owl:topDataProperty ;
                     rdfs:domain :EmergencyPowerSupply ,
                                 :StandardEmergencyPowerSupply ;
                     rdfs:range xsd:boolean .


###  https://saref.etsi.org/saref4lift/hasSecondaryEmergencyTelephoneNumber
:hasSecondaryEmergencyTelephoneNumber rdf:type owl:DatatypeProperty ;
                                      rdfs:domain :SmartLift ;
                                      rdfs:range xsd:string .


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


###  https://saref.etsi.org/saref4lift/hasTelephoneNumber
:hasTelephoneNumber rdf:type owl:DatatypeProperty ;
                    rdfs:domain :SmartLiftSystem ;
                    rdfs:range xsd:string .


#################################################################
#    Classes
#################################################################

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


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


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


###  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 ;
          rdfs:subClassOf :Alarm .


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


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


###  https://saref.etsi.org/saref4lift/Command
:Command rdf:type owl:Class .


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


###  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/FixedLine
:FixedLine rdf:type owl:Class ;
           rdfs:subClassOf :Network .


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


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


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


###  https://saref.etsi.org/saref4lift/Network
:Network rdf:type owl:Class .


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


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


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


###  https://saref.etsi.org/saref4lift/PowerSupply
:PowerSupply rdf:type owl:Class .


###  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 :Command .


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


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


###  https://saref.etsi.org/saref4lift/Signal
:Signal rdf:type owl:Class .


###  https://saref.etsi.org/saref4lift/SmartLift
:SmartLift rdf:type owl:Class .


###  https://saref.etsi.org/saref4lift/SmartLiftSystem
:SmartLiftSystem rdf:type owl:Class .


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


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


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


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


###  https://saref.etsi.org/saref4lift/Time
:Time rdf:type owl:Class .


###  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/saref4lift/2G
<https://saref.etsi.org/saref4lift/2G> rdf:type owl:Class ;
                                       rdfs:subClassOf :Network .


###  https://saref.etsi.org/saref4lift/3G
<https://saref.etsi.org/saref4lift/3G> rdf:type owl:Class ;
                                       rdfs:subClassOf :Network .


###  https://saref.etsi.org/saref4lift/4G
<https://saref.etsi.org/saref4lift/4G> rdf:type owl:Class ;
                                       rdfs:subClassOf :Network .


###  https://saref.etsi.org/saref4lift/5G
<https://saref.etsi.org/saref4lift/5G> rdf:type owl:Class ;
                                       rdfs:subClassOf :Network .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi