From 7c3aa0501bae92910f583da0eebc2f9c4d2d9b47 Mon Sep 17 00:00:00 2001 From: dragoni Date: Wed, 17 Feb 2021 10:44:45 +0100 Subject: [PATCH] Added entities related to the CarSignal requirements category. --- ontology/saref4lift.ttl | 202 +++++++++++++++++++++++++++++++++++++--- tests/.~lock.tests.csv# | 1 + 2 files changed, 191 insertions(+), 12 deletions(-) create mode 100644 tests/.~lock.tests.csv# diff --git a/ontology/saref4lift.ttl b/ontology/saref4lift.ttl index c842a6d..d34f1e6 100644 --- a/ontology/saref4lift.ttl +++ b/ontology/saref4lift.ttl @@ -1,23 +1,201 @@ @prefix : . -@prefix dcterms: . @prefix owl: . @prefix rdf: . +@prefix xml: . @prefix xsd: . @prefix rdfs: . -@prefix saref: . @prefix vann: . +@prefix saref: . @prefix schema: . +@prefix dcterms: . @base . rdf:type owl:Ontology ; - dcterms:title "SAREF extension for Smart Lifts"@en ; - dcterms:description "This ontology extends the SAREF ontology for the Smart Lifts domain."@en ; - dcterms:publisher ; - owl:versionIRI ; - owl:versionInfo "v1.1.1" ; - dcterms:modified "2021-01-11"^^xsd:date ; - dcterms:license ; - dcterms:source ; - vann:preferredNamespacePrefix "s4lift" ; - vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" . + owl:versionIRI ; + dcterms:description "This ontology extends the SAREF ontology for the Smart Lifts domain."@en ; + dcterms:license ; + dcterms:modified "2021-01-11"^^xsd:date ; + dcterms:publisher ; + dcterms:source ; + dcterms:title "SAREF extension for Smart Lifts"@en ; + vann:preferredNamespacePrefix "s4lift" ; + vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" ; + owl:versionInfo "v1.1.1" . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/terms/description +dcterms:description rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/license +dcterms:license rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/modified +dcterms:modified rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/publisher +dcterms:publisher rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/source +dcterms:source rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/title +dcterms:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespacePrefix +vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceUri +vann:preferredNamespaceUri rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### https://saref.etsi.org/saref4lift/hasLimitLoad +:hasLimitLoad rdf:type owl:ObjectProperty ; + rdfs:domain :SmartLiftSystem ; + rdfs:range :Load . + + +### https://saref.etsi.org/saref4lift/hasPowerSupply +:hasPowerSupply rdf:type owl:ObjectProperty ; + rdfs:domain :SmartLiftSystem ; + rdfs:range :PowerSupply . + + +### https://saref.etsi.org/saref4lift/hasStandardPowerSupply +:hasStandardPowerSupply rdf:type owl:ObjectProperty ; + rdfs:domain :SmartLiftSystem ; + rdfs:range :PowerSupply . + + +################################################################# +# Data properties +################################################################# + +### https://saref.etsi.org/saref4lift/hasCarStops +:hasCarStops rdf:type owl:DatatypeProperty ; + rdfs:domain :SmartLiftSystem ; + rdfs:range xsd:integer . + + +### https://saref.etsi.org/saref4lift/hasDoorsStatus +:hasDoorsStatus rdf:type owl:DatatypeProperty ; + rdfs:domain :SmartLiftSystem ; + 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/hasStatusValue +:hasStatusValue rdf:type owl:DatatypeProperty ; + rdfs:domain :StatusSignal ; + rdfs:range xsd:boolean . + + +################################################################# +# Classes +################################################################# + +### https://saref.etsi.org/saref4lift/CarAlarm +:CarAlarm rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/CarInUnlockingZone +:CarInUnlockingZone rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/CarSignal +:CarSignal rdf:type owl:Class . + + +### https://saref.etsi.org/saref4lift/CurrentCarStop +:CurrentCarStop rdf:type owl:Class ; + rdfs:subClassOf :PositionSignal . + + +### https://saref.etsi.org/saref4lift/Fault +:Fault rdf:type owl:Class ; + rdfs:subClassOf :FaultSignal . + + +### https://saref.etsi.org/saref4lift/FaultSignal +:FaultSignal rdf:type owl:Class ; + rdfs:subClassOf :CarSignal . + + +### https://saref.etsi.org/saref4lift/FireOperation +:FireOperation rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### 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 . + + +### https://saref.etsi.org/saref4lift/MovingDownwardDirection +:MovingDownwardDirection rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/MovingUpwardDirection +:MovingUpwardDirection rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/OutOfService +:OutOfService rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/Overload +:Overload rdf:type owl:Class ; + rdfs:subClassOf :StatusSignal . + + +### https://saref.etsi.org/saref4lift/PositionSignal +:PositionSignal rdf:type owl:Class ; + rdfs:subClassOf :CarSignal . + + +### https://saref.etsi.org/saref4lift/PowerSupply +:PowerSupply rdf:type owl:Class . + + +### https://saref.etsi.org/saref4lift/SmartLiftSystem +:SmartLiftSystem rdf:type owl:Class . + + +### 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 . + +### 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# new file mode 100644 index 0000000..d79733b --- /dev/null +++ b/tests/.~lock.tests.csv# @@ -0,0 +1 @@ +,drago,drago-notebook,17.02.2021 10:33,file:///home/drago/.config/libreoffice/4; \ No newline at end of file -- GitLab