From 9a67eeec9457ffc24a22331be92c50feea143d06 Mon Sep 17 00:00:00 2001
From: albaizq <albaizq13@gmail.com>
Date: Mon, 22 Feb 2021 19:46:48 +0100
Subject: [PATCH] added labels and more classes and properties from the
requirements
---
ontology/saref4lift.ttl | 462 +++++++++++++++++++++++++++++++++-------
1 file changed, 384 insertions(+), 78 deletions(-)
diff --git a/ontology/saref4lift.ttl b/ontology/saref4lift.ttl
index 44d1a18..0fab230 100644
--- a/ontology/saref4lift.ttl
+++ b/ontology/saref4lift.ttl
@@ -12,15 +12,15 @@
<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/> ;
+ 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" ;
- vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" ;
- owl:versionInfo "v1.1.1" .
+ 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
@@ -58,44 +58,96 @@ vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .
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" .
+
+
### https://saref.etsi.org/saref4lift/hasDoorCloseTime
:hasDoorCloseTime rdf:type owl:ObjectProperty ;
- rdfs:domain :SmartLift ;
- rdfs:range :Time .
+ 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" .
### https://saref.etsi.org/saref4lift/hasDoorOpenTime
:hasDoorOpenTime rdf:type owl:ObjectProperty ;
- rdfs:domain :SmartLift ;
- rdfs:range :Time .
+ 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:domain :SmartLiftSystem ;
- rdfs:range :Load .
+ 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:domain :SmartLiftSystem ;
- rdfs:range :PowerSupply .
+ 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:domain :SmartLiftSystem ;
- rdfs:range :PowerSupply .
+ 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" .
### https://saref.etsi.org/saref4lift/hasTraveledTime
:hasTraveledTime rdf:type owl:ObjectProperty ;
- rdfs:domain :SmartLift ;
- rdfs:range :Time .
+ 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" .
### https://saref.etsi.org/saref4lift/isMeasuredIn
@@ -107,30 +159,80 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### 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 .
+ 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:domain :SmartLiftSystem ;
- rdfs:range xsd:integer .
+ 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:domain :SmartLiftSystem ;
- rdfs:range xsd:string .
+ 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" .
### https://saref.etsi.org/saref4lift/hasNetworkValue
@@ -139,6 +241,13 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 ;
@@ -147,7 +256,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/hasPowerSupplyValue
:hasPowerSupplyValue rdf:type owl:DatatypeProperty ;
- rdfs:subPropertyOf owl:topDataProperty ;
rdfs:domain :EmergencyPowerSupply ,
:StandardEmergencyPowerSupply ;
rdfs:range xsd:boolean .
@@ -155,8 +263,10 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/hasSecondaryEmergencyTelephoneNumber
:hasSecondaryEmergencyTelephoneNumber rdf:type owl:DatatypeProperty ;
- rdfs:domain :SmartLift ;
- rdfs:range xsd:string .
+ 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" .
### https://saref.etsi.org/saref4lift/hasStatisticValue
@@ -173,14 +283,93 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/hasTelephoneNumber
:hasTelephoneNumber rdf:type owl:DatatypeProperty ;
- rdfs:domain :SmartLiftSystem ;
- rdfs:range xsd:string .
+ 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" .
+
+
### https://saref.etsi.org/saref4lift/Alarm
:Alarm rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
@@ -208,17 +397,22 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/BCSSignal
:BCSSignal rdf:type owl:Class ;
- rdfs:subClassOf :Signal .
+ rdfs:subClassOf :Signal ;
+ rdfs:label "Bidirectional communication system signal" .
### https://saref.etsi.org/saref4lift/BoardReset
:BoardReset rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to initiate the board reset" ;
+ rdfs:label "Board reset" .
### https://saref.etsi.org/saref4lift/CallCarToSpecificFloor
:CallCarToSpecificFloor rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to call a car to a specific floor" ;
+ rdfs:label "CallCarToSpecificFloor" .
### https://saref.etsi.org/saref4lift/CallsPerService
@@ -241,10 +435,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -285,9 +475,10 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
rdfs:subClassOf :StatusSignal .
-### https://saref.etsi.org/saref4lift/FixedLine
-:FixedLine rdf:type owl:Class ;
- rdfs:subClassOf :Network .
+### https://saref.etsi.org/saref4lift/FiremanLift
+:FiremanLift rdf:type owl:Class ;
+ rdfs:subClassOf :SmartLiftInstallation ;
+ rdfs:label "Fireman lift" .
### https://saref.etsi.org/saref4lift/FloodAlarm
@@ -295,13 +486,28 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
+: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" .
### https://saref.etsi.org/saref4lift/MinorFault
@@ -320,12 +526,14 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/Network
-:Network rdf:type owl:Class .
+:Network rdf:type owl:Class ;
+ rdfs:label "Network" .
### https://saref.etsi.org/saref4lift/NetworkCoverage
:NetworkCoverage rdf:type owl:Class ;
- rdfs:subClassOf :BCSSignal .
+ rdfs:subClassOf :BCSSignal ;
+ rdfs:label "Network coverage" .
### https://saref.etsi.org/saref4lift/NetworkQualityBER
@@ -367,10 +575,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -378,29 +582,108 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/SendCarToSpecificFloor
:SendCarToSpecificFloor rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to send a car to a specific floor" ;
+ rdfs:label "SendCarToSpecificFloor" .
### https://saref.etsi.org/saref4lift/SetOutOfService
:SetOutOfService rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to set a lift out of service" ;
+ rdfs:label "SetOutOfService" .
### https://saref.etsi.org/saref4lift/SetRealTimeMode
:SetRealTimeMode rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to set the real time mode" ;
+ rdfs:label "SetRealTimeMode" .
### 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 .
+: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" .
### https://saref.etsi.org/saref4lift/StandardEmergencyPowerSupply
@@ -420,12 +703,16 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/TestEmergencyNumber
:TestEmergencyNumber rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to test the emergency number" ;
+ rdfs:label "TestEmergencyNumber" .
### https://saref.etsi.org/saref4lift/TestRideCommand
:TestRideCommand rdf:type owl:Class ;
- rdfs:subClassOf :Command .
+ rdfs:subClassOf saref:Command ;
+ rdfs:comment "A type of command to test the ride" ;
+ rdfs:label "TestRideCommand" .
### https://saref.etsi.org/saref4lift/TestRideSignal
@@ -433,10 +720,6 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -472,24 +755,47 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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/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" .
+
+### https://saref.etsi.org/saref4lift/Network4G
+:Network4G rdf:type owl:NamedIndividual ,
+ :Network ;
+ rdfs:label "4G" .
-### https://saref.etsi.org/saref4lift/3G
-<https://saref.etsi.org/saref4lift/3G> rdf:type owl:Class ;
- rdfs:subClassOf :Network .
+### https://saref.etsi.org/saref4lift/Network5G
+:Network5G rdf:type owl:NamedIndividual ,
+ :Network ;
+ rdfs:label "5G" .
-### https://saref.etsi.org/saref4lift/4G
-<https://saref.etsi.org/saref4lift/4G> rdf:type owl:Class ;
- rdfs:subClassOf :Network .
+### https://saref.etsi.org/saref4lift/NetworkFixedLine
+:NetworkFixedLine rdf:type owl:NamedIndividual ,
+ :Network .
-### https://saref.etsi.org/saref4lift/5G
-<https://saref.etsi.org/saref4lift/5G> rdf:type owl:Class ;
- rdfs:subClassOf :Network .
+[ owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger
+] .
-### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
+### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi
--
GitLab