<p>SAREF4LIFT has been specified and formalised by investigating related resources in the smart lifts domain, as reported in ETSI TR 103 546 <ahref="#[i.1]">[i.1]</a> and ETSI TS 103 735 <ahref="#[i.2]">[i.2]</a>. Therefore, SAREF4LIFT shall both:
<p>SAREF4LIFT has been specified and formalised by investigating related resources in the smart lifts domain, as reported in ETSI TR 103 546 <ahref="#[i.1]">[i.1]</a> and ETSI TS 103 735 <ahref="#[i.2]">[i.2]</a>. Therefore, SAREF4LIFT shall both:</p>
<ul>
<li>Allow the implementation of a limited set of related use cases already identified in <ahref="#[i.1]">[i.1]</a>.</li>
@@ -29,97 +29,85 @@
<li>Individuals are denoted by rectangles in which the identifier is underlined.</li>
</ul>
<p>SAREF4LIFT is an OWL-DL ontology and shall be designed using the modularity principle (see ETSI TR 103 510 <ahref="#[i.1]">[i.1]</a>) and can thus be mainly described by the following self-contained knowledge modules:
<p>SAREF4LIFT is an OWL-DL ontology and shall be designed using the modularity principle (see ETSI TR 103 510 <ahref="#[i.1]">[i.1]</a>) and can thus be mainly described by the following self-contained knowledge modules:</p>
<ul>
<li><strong>Command.</strong> This module describes the type of commands supported by the defined smart lift. A command is defined as a directive that a device should 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. The root of this branch (<ahref="https://saref.etsi.org/core/Command">saref:Command</a>) is inherited directly from the SAREF Core ontology.</li>
<li><strong>Device.</strong> This module defines the devices included within a smart lift. A device is defined as a tangible object designed to accomplish a particular task. In order to accomplish this task, the device performs one or more functions. The root of this branch (<ahref="https://saref.etsi.org/core/Device">saref:Device</a>) is inherited directly from the SAREF Core ontology.</li>
<li><strong>System.</strong> This module defines the different systems modelled within a smart lift environment. A system is described as a component virtually isolated from the environment, whose behaviour and interactions with the environment are specifically defined. 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.</li>
<li><strong>Signal.</strong> This module describes the types of signals supported by a smart lift. Four type of signals have been identified: bidirectional communication system signal (<ahref="#s4lift:BCSSignal">s4lift:BCSSignal</a>), car signal (<ahref="#s4lift:CarSignal">s4lift:CarSignal</a>), power supply signal (<ahref="#s4lift:PowerSupplySignal">s4lift:PowerSupplySignal</a>), and statistic signal (<ahref="#s4lift:StatisticSignal">s4lift:StatisticSignal</a>). The <ahref="#Signal">section on Signals</a> provides a complete taxonomy of supported signals with respect to the ones reported in <ahref="#Figure_1">Figure 1</a>.</li>
<li><strong><ahref="#Systems_and_connections">Systems and connections</a>.</strong> This module defines the different systems modelled within a smart lift environment. A system is described as a component virtually isolated from the environment, whose behaviour and interactions with the environment are specifically defined. 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.</li>
<li><strong><ahref="#Devices_and_commands">Devices and commands</a>.</strong> This module defines the devices included within a smart lift. A device is defined as a tangible object designed to accomplish a particular task. In order to accomplish this task, the device performs one or more functions. The root of this branch (<ahref="https://saref.etsi.org/core/Device">saref:Device</a>) is inherited directly from the SAREF Core ontology. Also, this module defines commands supported by the defined smart lift. A command is defined as a directive that a device should 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. The root of this branch (<ahref="https://saref.etsi.org/core/Command">saref:Command</a>) is inherited directly from the SAREF Core ontology.</li>
<li><strong><ahref="#States_and_measurements">States and measurements</a>.</strong> This module defines states that features of interest in a smart lift installation can be found in, and measurements that can be made about features of interest in a smart lift.</li>
<li><strong><ahref="#Signals">Signals</a>.</strong> This module describes the types of signals supported by a smart lift. Four type of signals have been identified:, car signal (<ahref="#s4lift:AlarmSignal">s4lift:AlarmSignal</a>), fault signal (<ahref="#s4lift:FaultSignal">s4lift:FaultSignal</a>), status signal (<ahref="#s4lift:StatusSignal">s4lift:StatusSignal</a>), and statistic signal (<ahref="#s4lift:StatisticSignal">s4lift:StatisticSignal</a>). The <ahref="#Signal">section on Signals</a> provides a complete taxonomy of supported signals with respect to the ones reported in <ahref="#Figure_1">Figure 1</a>.</li>
</ul>
<p>Beside the four module described above, the SAREF4LIFT extension defines also:</p>
<p>Beside the four module described above, the SAREF4LIFT extension defines also two new property types (<ahref="#s4lift:Load">s4lift:Load</a> and <ahref="#s4lift:Voltage">s4lift:Voltage</a>) defining the load in the smart lift car and the electric voltage of some electric power system.</p>
<ul>
<li>a new property (<ahref="#s4lift:Load">s4lift:Load</a>) defining the amount of electricity on the grid at any given time.</li>
<li>the concept <ahref="#s4lift:Network">s4lift:Network</a> providing a conceptualization of the type of network with which the smart lift is equipped for communicating information.</li>
</ul>
<h3id="Systems_and_connections">Systems and connections</h3>
<p>This module specializes the SAREF4SYST ontology pattern for the Smart Lift domain.</p>
<h3id="Command">Command</h3>
<p>A Smart Lift system can be defined as a <ahref="https://saref.etsi.org/saref4syst/System">s4syst:System</a> made by different components. This module defines the subcomponents that are part of Smart Lift. In particular, we denoted two subcomponents: the <ahref="#s4lift:SmartLiftEdgeComponent">s4lift:SmartLiftEdgeComponent</a> and the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>. The former is dedicated to the hosting of smart lift additional modules in the case that they are not hosted directly in the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>. An example could be the case of an additional earthquake sensor added after the lift deployment and not controlled by the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>.
The latter is the main element of a Smart Lift installation and it is typically associated with the lift control cabinet.</p>
<p>This model specifies the list of commands that we considered relevant for the smart lift domain. We defined seven new commands that are subsumed by the <ahref="https://saref.etsi.org/core/Command">saref:Command</a> concept that can be triggered, in turn, by a <ahref="https://saref.etsi.org/core/Function">saref:Function</a> as presented in <ahref="#Figure_2">Figure 2</a>:</p>
<p>A <ahref="#s4lift:SmartLiftInstallation">s4lift:SmartLiftInstallation</a> corresponds to a single lift, with all its elements. Such a concept is equipped with the list of properties shown in Figure 2. Seven types of installations are considered relevant for this extension: namely s4lift :AccessibleGoodsOnlySmartLift as per [EN 81-31], s4lift: FirefightersSmartLift as per [EN 81-72], <ahref="#s4lift:GoodsSmartLift">s4lift:GoodsSmartLift</a>, and <ahref="#s4lift:MachineRoomLessSmartLift">s4lift:MachineRoomLessSmartLift</a>, <ahref="#s4lift:PassengerAndGoodsPassengerSmartLift">s4lift:PassengerAndGoodsPassengerSmartLift</a> as per [EN 81-20], <ahref="#s4lift:SmartLiftWithoutEmergencyCallSupport">s4lift:SmartLiftWithoutEmergencyCallSupport</a>, <ahref="#s4lift:VerticalSmartLiftingPlatform">s4lift:VerticalSmartLiftingPlatform</a> as per [EN 81-41]. All these concepts represent a type of smart lift that can be instantiated by the ontology.</p>
<p>A <ahref="#s4lift:SmartLiftGroup">s4lift:SmartLiftGroup</a> 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 other.</p>
<p>A <ahref="#s4lift:SmartLiftCar">s4lift:SmartLiftCar</a> represents the car of a Smart Lift. A <ahref="#s4lift:SmartLiftInstallation">s4lift:SmartLiftInstallation</a> usually contains different <ahref="#s4lift:CarStopSpaces">s4lift:CarStopSpaces</a> serving different spaces of different floors at <ahref="#s4lift:Smart">s4lift:Smart</a> LiftCarService. A <ahref="#s4lift:SmartLiftCar">s4lift:SmartLiftCar</a> can connect to some <ahref="https://saref.etsi.org/saref4bldg/BuildingSpace">s4bldg:BuildingSpace</a> through some <ahref="#s4lift:SmartLiftCarService">s4lift:SmartLiftCarService</a> at some <ahref="#s4lift:DoorConnectionPoint">s4lift:DoorConnectionPoint</a>. </p>
<p>A <ahref="#s4lift:Network">s4lift:Network</a> is the class of communication networks. Systems can connect to other networks through a potential <ahref="#s4lift:NetworkAccess">s4lift:NetworkAccess</a> connection.</p>
<ul>
<li><ahref="#s4lift:BoardResetCommand">s4lift:BoardResetCommand</a> defines the command for resetting the board of a smart lift;</li>
<li><ahref="#s4lift:CallCarToSpecificFloorCommand">s4lift:CallCarToSpecificFloorCommand</a> defines the internal command for calling the car of the smart lift to a specific floor;</li>
<li><ahref="#s4lift:SendCarToSpecificFloorCommand">s4lift:SendCarToSpecificFloorCommand</a> defines the internal command for sending the car to a specific floor;</li>
<li><ahref="#s4lift:SetOutOfServiceCommand">s4lift:SetOutOfServiceCommand</a> defines the command for putting the smart lift in out of service mode;</li>
<li><ahref="#s4lift:SetRealTimeModeCommand">s4lift:SetRealTimeModeCommand</a> defines the command for putting the smart lift in out of service mode;</li>
<li><ahref="#s4lift:TestEmergencyNumberCommand">s4lift:TestEmergencyNumberCommand</a> defines the command for testing if the emergency number is working;</li>
<li><ahref="#s4lift:TestRideCommand">s4lift:TestRideCommand</a> defines the command for performing a test ride of a smart lift.</li>
<ahref="diagrams/TS103735_Clause_6_2_2_SystemsAndConnections.png"><imgsrc="diagrams/TS103735_Clause_6_2_2_SystemsAndConnections.png"alt="Systems and connections model."/></a>
<figcaptionid="Figure_2">Figure 2: Systems and connections model.</figcaption>
</figure>
<h3id="Device">Device</h3>
<h3id="Devices_and_commands">Devices and commands</h3>
<p>A Smart Lift system can be defined as a <ahref="https://saref.etsi.org/core/Device">saref:Device</a> made by different components. This module defines the subcomponents that are part of Smart Lift. In particular, we denoted two subcomponents: the <ahref="#s4lift:SmartLiftEdgeComponent">s4lift:SmartLiftEdgeComponent</a> and the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>.
The former is dedicated to the hosting of smart lift additional modules in the case that they are not hosted directly in the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>. An example could be the case of an additional earthquake sensor added after the lift deployment and not controlled by the <ahref="#s4lift:SmartLiftEdgeControlUnit">s4lift:SmartLiftEdgeControlUnit</a>.</p>
<p>This model specifies the list of commands that we considered relevant for the smart lift domain. We defined six new commands that are subsumed by the saref:Command concept that can be triggered, in turn, by a <ahref="https://saref.etsi.org/core/Function">saref:Function</a> as presented in <ahref="#Figure_3">Figure 3</a>:</p>
<p>The</a> latter is the main element of a Smart Lift installation and it is typically associated with the lift control cabinet.
Both concepts are subsumed by the s4syst:System concept that, in turn, it subsumes the <ahref="#s4lift:SmartLiftInstallation">s4lift:SmartLiftInstallation</a> that corresponds to a single lift, with all its elements. Such a concept is equipped with the list of properties shown in <ahref="#Figure_3">Figure 3</a>.</p>
<p>Finally, the <ahref="#s4lift:SmartLiftGroup">s4lift:SmartLiftGroup</a>, subsumed by the <ahref="https://saref.etsi.org/core/FeatureOfInterest">saref:FeatureOfInterest</a> concept, 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 other.</p>
<ul>
<li><ahref="#s4lift:MainBoardResetCommand">s4lift:MainBoardResetCommand</a> defines the command for resetting the main board of a smart lift;</li>
<li><ahref="#s4lift:SendCarToSpecificServiceCommand">s4lift:SendCarToSpecificServiceCommand</a> defines the internal command for sending the car to a specific service;</li>
<li><ahref="#s4lift:SetOutOfServiceCommand">s4lift:SetOutOfServiceCommand</a> defines the command for putting the smart lift in out of service mode;</li>
<li><ahref="#s4lift:SetRealTimeModeCommand">s4lift:SetRealTimeModeCommand</a> defines the command for putting the smart lift in out of service mode;</li>
<li><ahref="#s4lift:TestEmergencyNumberCommand">s4lift:TestEmergencyNumberCommand</a> defines the command for testing if the emergency number is working;</li>
<li><ahref="#s4lift:TestRideCommand">s4lift:TestRideCommand</a> defines the command for performing a test ride of a smart lift.</li>
<ahref="diagrams/TS103735_Clause_6_2_3_DevicesAndCommands.png"><imgsrc="diagrams/TS103735_Clause_6_2_3_DevicesAndCommands.png"alt="Devices and commands model."/></a>
<figcaptionid="Figure_3">Figure 3: Devices and commands model.</figcaption>
</figure>
<h3>System</h3>
<p>This module expands the Device module by specifying two aspects.</p>
<h3id="States_and_measurements">States and measurements</h3>
<p>First, the <ahref="#s4lift:SmartLiftInstallation">s4lift:SmartLiftInstallation</a> concept subsumes four type of installations considered relevant for this extension, namely <ahref="#s4lift:SmartLiftPlatform">s4lift:SmartLiftPlatform</a>, <ahref="#s4lift:GoodsSmartLift">s4lift:GoodsSmartLift</a>, <ahref="#s4lift:GoodsOnlySmartLift">s4lift:GoodsOnlySmartLift</a>, and <ahref="#s4lift:FiremanLift">s4lift:FiremanLift</a>.
All these concepts represents a type of smart lift that can be instantiated by the ontology.</p>
<p>This module defines states that features of interest in a smart lift installation can be found in, and measurements that can be made about features of interest in a smart lift.</p>
<p>Second, the relationship between a <ahref="#s4lift:SmartLiftInstallation">s4lift:SmartLiftInstallation</a> entity and the <ahref="https://saref.etsi.org/core/Time">saref:Time</a> one. Indeed, three object properties have been defined modelling both the opening and closing time of the smart lift (<ahref="#s4lift:hasDoorOpenTime">s4lift:hasDoorOpenTime</a> and <ahref="#s4lift:hasDoorCloseTime">s4lift:hasDoorCloseTime</a> respectively) and the total usage time of the smart lift described by the object property <ahref="#s4lift:hasTraveledTime">s4lift:hasTraveledTime</a>.</p>
<figcaptionid="Figure_4">Figure 4: System model.</figcaption>
<ahref="diagrams/TS103735_Clause_6_2_4_StatesAndMeasurements.png"><imgsrc="diagrams/TS103735_Clause_6_2_4_StatesAndMeasurements.png"alt="States and measurements model."/></a>
<figcaptionid="Figure_4">Figure 4: States and measurements model.</figcaption>
</figure>
<h3id="Signal">Signal</h3>
<h3id="Signals">Signals</h3>
<p>This module describes the types of signals that can be read from a smart lift console. <ahref="#Figure_5">Figure 5</a> shows the taxonomy of the relevant types of signals foreseen within this extension.</p>
<p>It is possible to observe a set of four main types of signals:</p>
<ul>
<li><ahref="#s4lift:BCSSignal">s4lift:BCSSignal</a>: this type of signals relates to bidirectional signals where the communication works from the smart lift to an external console service and vice-versa. Here, it is possible to find network and test signals (i.e. <ahref="#s4lift:NetworkCoverage">s4lift:NetworkCoverage</a>, <ahref="#s4lift:NetworkQualityBER">s4lift:NetworkQualityBER</a>, <ahref="#s4lift:NetworkQualityRSSI">s4lift:NetworkQualityRSSI</a>, <ahref="#s4lift:RegisteredNetworkOperator">s4lift:RegisteredNetworkOperator</a>, <ahref="#s4lift:TimeOfConfirmationOfLastPeriodicTest72hAttempt">s4lift:TimeOfConfirmationOfLastPeriodicTest72hAttempt</a>, and <ahref="#s4lift:TimeOfLastPeriodicTest72hAttempt">s4lift:TimeOfLastPeriodicTest72hAttempt</a>).</li>
<li><ahref="#s4lift:PowerSupplySignal">s4lift:PowerSupplySignal</a>: these are the signals provided by a smart lift concerning the power supply status. Here, two signals are foreseen, i.e. <ahref="#s4lift:EmergencyPowerSupplySignal">s4lift:EmergencyPowerSupplySignal</a> and <ahref="#s4lift:StandardEmergencyPowerSupplySignal">s4lift:StandardEmergencyPowerSupplySignal</a>.</li>
<li><ahref="#s4lift:StatisticSignal">s4lift:StatisticSignal</a>: such signals refer to the collection of statistics about smart lift usage. Relevant type of signals detected are <ahref="#s4lift:CallsPerService">s4lift:CallsPerService</a>, <ahref="#s4lift:DownwardsTravels">s4lift:DownwardsTravels</a>, <ahref="#s4lift:UpwardsTravels">s4lift:UpwardsTravels</a>, <ahref="#s4lift:NumberOfCalls">s4lift:NumberOfCalls</a>, <ahref="#s4lift:NumberOfFaults">s4lift:NumberOfFaults</a>, <ahref="#s4lift:TotalFloorsCovered">s4lift:TotalFloorsCovered</a>, <ahref="#s4lift:TotalResetSequence">s4lift:TotalResetSequence</a>, <ahref="#s4lift:TotalReverseDirection">s4lift:TotalReverseDirection</a>, <ahref="#s4lift:TotalTimeOpened">s4lift:TotalTimeOpened</a>.</li>
<li><ahref="#s4lift:CarSignal">s4lift:CarSignal</a>: these are the signals sent by the smart lift car about its overall status. This concept subsumes three further concepts grouping likewise car signal types.</li>
<ul>
<li><ahref="#s4lift:FaultSignal">s4lift:FaultSignal</a>, defining the type of faults that can affect a smart lift car;</li>
<li><ahref="#s4lift:PositionSignal">s4lift:PositionSignal</a>, defining the position where the smart lift car is; and,</li>
<li><ahref="#s4lift:StatusSignal">s4lift:StatusSignal</a>, subsuming a list of status information that can be send by the smart lift car.</li>
<li><ahref="#s4lift:AlarmSignal">s4lift:AlarmSignal</a>: this defines high priority signals used to attract the operator’s attention to important deviations or abnormal events in system operation.</li>
<li><ahref="#s4lift:StatisticSignal">s4lift:StatisticSignal</a>: such signals convey (<ahref="#s4lift:conveys">s4lift:conveys</a>) a <ahref="#s4lift:StatisticsMeasurement">s4lift:StatisticsMeasurement</a> about the smart lift usage.</li>
<li><ahref="#s4lift:FaultSignal">s4lift:FaultSignal</a>: these are the signals sent by the smart lift car about its overall status. This concept subsumes three further concepts grouping likewise car signal types.</li>
<li><ahref="#s4lift:StatusSignal">s4lift:StatusSignal</a>: these are signals that convey (<ahref="#s4lift:conveys">s4lift:conveys</a>) a saref:State of a feature of interest.</li>
</ul>
</ul>
<p>All descendants of the <ahref="#s4lift:Signal">s4lift:Signal</a> inherit the <ahref="https://saref.etsi.org/core/hasTimestamp">saref:hasTimestamp</a> and <ahref="https://saref.etsi.org/core/hasValue">saref:hasValue</a> properties defining the timestamp when the signal has been generated and its value, respectively.</p>
<p>Then, the <ahref="#s4lift:PowerSupplySignal">s4lift:PowerSupplySignal</a> concept is associated with its power supply value through the <ahref="#s4lift:hasPowerSupplyValue">s4lift:hasPowerSupplyValue</a> property; while the <ahref="#s4lift:PositionSignal">s4lift:PositionSignal</a> is associated with the corresponding position value through the <ahref="#s4lift:hasPositionValue">s4lift:hasPositionValue</a> property.</p>
<p>Descendants of the <ahref="#s4lift:Signal">s4lift:Signal</a> inherit the <ahref="https://saref.etsi.org/core/hasTimestamp>saref:hasTimestamp</a> , <a href="https://saref.etsi.org/core/isAbout>saref:isAbout</a>, and <ahref="#s4lift:conveys">s4lift:conveys</a> properties defining the timestamp when the signal has been generated, the features of interest that the signal is about, and the states or measurements conveyed, respectively.</p>
