Skip to content
Snippets Groups Projects
Commit b182d020 authored by Mauro Dragoni's avatar Mauro Dragoni
Browse files

Merge branch 'master' into 'develop-v1.1.1' 

Added requirements.

See merge request SAREF/saref4lift!3
parents 525bbb6b ca16e999
No related branches found
No related tags found
1 merge request!3Added requirements.
Pipeline #273 failed
Stage: test
Stage: deploy
Hide whitespace changes
Inline Side-by-side
ontology/saref4lift.ttl
+ 299
− 5
View file @ b182d020
......@@ -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
tests/.~lock.tests.csv# deleted 100644 → 0
+ 0
− 1
View file @ 525bbb6b
,drago,drago-notebook,17.02.2021 10:33,file:///home/drago/.config/libreoffice/4;
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment