From ca16e9996aca260b8155a390961109b7ef2f0901 Mon Sep 17 00:00:00 2001 From: dragoni 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 + rdf:type owl:Class ; + rdfs:subClassOf :Network . + + +### https://saref.etsi.org/saref4lift/3G + rdf:type owl:Class ; + rdfs:subClassOf :Network . + + +### https://saref.etsi.org/saref4lift/4G + rdf:type owl:Class ; + rdfs:subClassOf :Network . + + +### 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