From ca16e9996aca260b8155a390961109b7ef2f0901 Mon Sep 17 00:00:00 2001
From: dragoni <dragoni@fbk.eu>
Date: Mon, 22 Feb 2021 00:44:42 +0100
Subject: [PATCH] Added requirements.
---
ontology/saref4lift.ttl | 304 +++++++++++++++++++++++++++++++++++++++-
tests/.~lock.tests.csv# | 1 -
2 files changed, 299 insertions(+), 6 deletions(-)
delete mode 100644 tests/.~lock.tests.csv#
diff --git a/ontology/saref4lift.ttl b/ontology/saref4lift.ttl
index d34f1e6..44d1a18 100644
--- a/ontology/saref4lift.ttl
+++ b/ontology/saref4lift.ttl
@@ -62,6 +62,18 @@ 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 ;
@@ -80,6 +92,31 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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
#################################################################
@@ -96,25 +133,102 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 :StatusSignal .
+ rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/CarInUnlockingZone
@@ -123,7 +237,12 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
### https://saref.etsi.org/saref4lift/CarSignal
-:CarSignal rdf:type owl:Class .
+: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
@@ -131,6 +250,26 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -146,6 +285,16 @@ 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/FloodAlarm
+:FloodAlarm rdf:type owl:Class ;
+ rdfs:subClassOf :Alarm .
+
+
### https://saref.etsi.org/saref4lift/InspectionOperation
:InspectionOperation rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
@@ -155,6 +304,11 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
: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 .
@@ -165,6 +319,35 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -175,6 +358,10 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
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 .
@@ -184,18 +371,125 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
: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/TestRide
-:TestRide rdf:type owl:Class ;
- rdfs:subClassOf :StatusSignal .
+### 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
diff --git a/tests/.~lock.tests.csv# b/tests/.~lock.tests.csv#
deleted file mode 100644
index d79733b..0000000
--- a/tests/.~lock.tests.csv#
+++ /dev/null
@@ -1 +0,0 @@
-,drago,drago-notebook,17.02.2021 10:33,file:///home/drago/.config/libreoffice/4;
\ No newline at end of file
--
GitLab