diff --git a/example/sportwearable.ttl b/example/sportwearable.ttl new file mode 100644 index 0000000000000000000000000000000000000000..b88603e01b0660769fc055ad5bd75e09160923b5 --- /dev/null +++ b/example/sportwearable.ttl @@ -0,0 +1,50 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix rdfs: . +@base . + + rdf:type owl:Ontology ; + owl:versionIRI ; + owl:imports . + +################################################################# +# Classes +################################################################# + +### https://saref.etsi.org/saref4wear/sportwearable#HeartRateMonitor +:HeartRateMonitor rdf:type owl:Class ; + rdfs:subClassOf . + + +### https://saref.etsi.org/saref4wear/sportwearable#SmartWatch +:SmartWatch rdf:type owl:Class ; + rdfs:subClassOf . + + +################################################################# +# Individuals +################################################################# + +### https://saref.etsi.org/saref4wear/sportwearable#GarminForerunner735XT +:GarminForerunner735XT rdf:type owl:NamedIndividual , + :SmartWatch . + + +### https://saref.etsi.org/saref4wear/sportwearable#HRM-Run +:HRM-Run rdf:type owl:NamedIndividual , + :HeartRateMonitor ; + :GarminForerunner735XT . + + +### https://saref.etsi.org/saref4wear/sportwearable#Mauro +:Mauro rdf:type owl:NamedIndividual , + ; + :GarminForerunner735XT ; + :GarminForerunner735XT , + :HRM-Run . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/ontology/saref4wear.ttl b/ontology/saref4wear.ttl index 676a84b2dfd81fa57abe560b1057542e3205b790..b13ae23f95001a4d848bba4d0cf74a2fdcdb4fda 100644 --- a/ontology/saref4wear.ttl +++ b/ontology/saref4wear.ttl @@ -14,7 +14,7 @@ rdf:type owl:Ontology ; owl:versionIRI ; - dcterms:contributor ; + dcterms:contributor ; dcterms:created "start date of the STF 2019-01-01"^^xsd:date ; dcterms:description "SAREF4WEAR is an extension of SAREF for Wearables"@en ; dcterms:issued "date when the document is online"^^xsd:date ; @@ -83,6 +83,57 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty . # Object Properties ################################################################# +### https://saref.etsi.org/s4wear#canSendInformationTo +s4wear:canSendInformationTo rdf:type owl:ObjectProperty ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearable . + + +### https://saref.etsi.org/s4wear#hasLocation +s4wear:hasLocation rdf:type owl:ObjectProperty ; + rdfs:domain owl:Thing ; + rdfs:range s4wear:Location . + + +### https://saref.etsi.org/s4wear#interactsWith +s4wear:interactsWith rdf:type owl:ObjectProperty ; + rdfs:domain s4wear:User ; + rdfs:range s4wear:Wearable . + + +### https://saref.etsi.org/s4wear#isActedBy +s4wear:isActedBy rdf:type owl:ObjectProperty ; + rdfs:domain s4wear:Wearer ; + rdfs:range s4wear:Wearable . + + +### https://saref.etsi.org/s4wear#isLocated +s4wear:isLocated rdf:type owl:ObjectProperty ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearer . + + +### https://saref.etsi.org/s4wear#isLocatedIn +s4wear:isLocatedIn rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf s4wear:isLocated ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearer . + + +### https://saref.etsi.org/s4wear#isLocatedNear +s4wear:isLocatedNear rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf s4wear:isLocated ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearer . + + +### https://saref.etsi.org/s4wear#isLocatedOn +s4wear:isLocatedOn rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf s4wear:isLocated ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearer . + + ### https://saref.etsi.org/s4wear#isSensedBy s4wear:isSensedBy rdf:type owl:ObjectProperty ; rdfs:domain s4wear:Wearer ; @@ -92,51 +143,60 @@ The definition of this object property satisfies the requirement WEAR-2.""" ; rdfs:label "is sensed by"@en . -### https://saref.etsi.org/saref4wear#interactsWith -:interactsWith rdf:type owl:ObjectProperty ; - rdfs:domain :User ; - rdfs:range s4wear:Wearable . +### https://saref.etsi.org/s4wear#monitors +s4wear:monitors rdf:type owl:ObjectProperty ; + rdfs:domain s4wear:Wearable ; + rdfs:range s4wear:Wearable . -### https://saref.etsi.org/saref4wear#isActedBy -:isActedBy rdf:type owl:ObjectProperty ; - rdfs:domain s4wear:Wearer ; - rdfs:range s4wear:Wearable . +################################################################# +# Data properties +################################################################# +### http://xmlns.com/foaf/0.1/name +foaf:name rdf:type owl:DatatypeProperty . -### https://saref.etsi.org/saref4wear#isLocated -:isLocated rdf:type owl:ObjectProperty ; - rdfs:domain s4wear:Wearable ; - rdfs:range s4wear:Wearer . +### https://saref.etsi.org/s4wear#capacity +s4wear:capacity rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Area ; + rdfs:range xsd:long . -### https://saref.etsi.org/saref4wear#isLocatedIn -:isLocatedIn rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :isLocated ; - rdfs:domain s4wear:Wearable ; - rdfs:range s4wear:Wearer . +### https://saref.etsi.org/s4wear#eventType +s4wear:eventType rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Event ; + rdfs:range xsd:string . -### https://saref.etsi.org/saref4wear#isLocatedNear -:isLocatedNear rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :isLocated ; - rdfs:domain s4wear:Wearable ; - rdfs:range s4wear:Wearer . +### https://saref.etsi.org/s4wear#latitude +s4wear:latitude rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Location ; + rdfs:range xsd:double . -### https://saref.etsi.org/saref4wear#isLocatedOn -:isLocatedOn rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf :isLocated ; - rdfs:domain s4wear:Wearable ; - rdfs:range s4wear:Wearer . +### https://saref.etsi.org/s4wear#longitude +s4wear:longitude rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Location ; + rdfs:range xsd:double . -################################################################# -# Data properties -################################################################# -### http://xmlns.com/foaf/0.1/name -foaf:name rdf:type owl:DatatypeProperty . +### https://saref.etsi.org/s4wear#meansOfTransport +s4wear:meansOfTransport rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Wearer ; + rdfs:range xsd:string . + + +### https://saref.etsi.org/s4wear#wearerRangeAge +s4wear:wearerRangeAge rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Wearer ; + rdfs:range xsd:string . + + +### https://saref.etsi.org/s4wear#wearerStatus +s4wear:wearerStatus rdf:type owl:DatatypeProperty ; + rdfs:domain s4wear:Wearer ; + rdfs:range xsd:string . ################################################################# @@ -151,176 +211,207 @@ voaf:Vocabulary rdf:type owl:Class . foaf:Person rdf:type owl:Class . +### https://saref.etsi.org/s4wear#Area +s4wear:Area rdf:type owl:Class . + + +### https://saref.etsi.org/s4wear#Biometric +s4wear:Biometric rdf:type owl:Class ; + rdfs:subClassOf s4wear:Information . + + +### https://saref.etsi.org/s4wear#Capability +s4wear:Capability rdf:type owl:Class . + + +### https://saref.etsi.org/s4wear#Child +s4wear:Child rdf:type owl:Class ; + rdfs:subClassOf s4wear:Wearer . + + +### https://saref.etsi.org/s4wear#Comunication +s4wear:Comunication rdf:type owl:Class ; + rdfs:subClassOf s4wear:Capability . + + +### https://saref.etsi.org/s4wear#Control +s4wear:Control rdf:type owl:Class ; + rdfs:subClassOf s4wear:Capability . + + ### https://saref.etsi.org/s4wear#Device s4wear:Device rdf:type owl:Class . -### https://saref.etsi.org/s4wear#LivingOrganism -s4wear:LivingOrganism rdf:type owl:Class ; - rdfs:subClassOf :Entity . +### https://saref.etsi.org/s4wear#ElecticalSafety +s4wear:ElecticalSafety rdf:type owl:Class ; + rdfs:subClassOf s4wear:Information . -### https://saref.etsi.org/s4wear#PhysicalObject -s4wear:PhysicalObject rdf:type owl:Class ; - rdfs:subClassOf :Entity . +### https://saref.etsi.org/s4wear#Emission +s4wear:Emission rdf:type owl:Class ; + rdfs:subClassOf s4wear:Information . -### https://saref.etsi.org/s4wear#Software -s4wear:Software rdf:type owl:Class ; - rdfs:subClassOf :Entity . +### https://saref.etsi.org/s4wear#Entity +s4wear:Entity rdf:type owl:Class . -### https://saref.etsi.org/s4wear#Wearable -s4wear:Wearable rdf:type owl:Class ; - rdfs:subClassOf s4wear:Device ; - rdfs:comment """A wearable device is a device that is intended to be located near, on or in an organism. -The definition of this concept satisfies the requirement WEAR-1."""@en ; - rdfs:label "Wearable device"@en . +### https://saref.etsi.org/s4wear#Event +s4wear:Event rdf:type owl:Class . -### https://saref.etsi.org/s4wear#Wearer -s4wear:Wearer rdf:type owl:Class ; - rdfs:subClassOf [ owl:intersectionOf ( :Entity - [ rdf:type owl:Restriction ; - owl:onProperty s4wear:isSensedBy ; - owl:someValuesFrom s4wear:Wearable - ] - ) ; - rdf:type owl:Class - ] ; - rdfs:comment """A wearer is any living organism that is sensed by a wearable. -The definition of this concept satisfies the requirement WEAR-2."""@en ; - rdfs:label "Wearer"@en . +### https://saref.etsi.org/s4wear#Fabric +s4wear:Fabric rdf:type owl:Class ; + rdfs:subClassOf s4wear:TextileBasedWearable . + +### https://saref.etsi.org/s4wear#InBodyWearable +s4wear:InBodyWearable rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( s4wear:PositionedWearable + [ rdf:type owl:Restriction ; + owl:onProperty s4wear:isLocatedIn ; + owl:someValuesFrom s4wear:Wearer + ] + ) ; + rdf:type owl:Class + ] . -### https://saref.etsi.org/saref4wear#Biometric -:Biometric rdf:type owl:Class ; - rdfs:subClassOf :Information . +### https://saref.etsi.org/s4wear#Information +s4wear:Information rdf:type owl:Class . -### https://saref.etsi.org/saref4wear#Capability -:Capability rdf:type owl:Class . + +### https://saref.etsi.org/s4wear#LivingOrganism +s4wear:LivingOrganism rdf:type owl:Class ; + rdfs:subClassOf s4wear:Entity . -### https://saref.etsi.org/saref4wear#Comunication -:Comunication rdf:type owl:Class ; - rdfs:subClassOf :Capability . +### https://saref.etsi.org/s4wear#Location +s4wear:Location rdf:type owl:Class . -### https://saref.etsi.org/saref4wear#Control -:Control rdf:type owl:Class ; - rdfs:subClassOf :Capability . +### https://saref.etsi.org/s4wear#NearBodyWearable +s4wear:NearBodyWearable rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( s4wear:PositionedWearable + [ rdf:type owl:Restriction ; + owl:onProperty s4wear:isLocatedNear ; + owl:someValuesFrom s4wear:Wearer + ] + ) ; + rdf:type owl:Class + ] . -### https://saref.etsi.org/saref4wear#ElecticalSafety -:ElecticalSafety rdf:type owl:Class ; - rdfs:subClassOf :Information . +### https://saref.etsi.org/s4wear#OnBodyWearable +s4wear:OnBodyWearable rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( s4wear:PositionedWearable + [ rdf:type owl:Restriction ; + owl:onProperty s4wear:isLocatedOn ; + owl:someValuesFrom s4wear:Wearer + ] + ) ; + rdf:type owl:Class + ] . -### https://saref.etsi.org/saref4wear#Emission -:Emission rdf:type owl:Class ; - rdfs:subClassOf :Information . +### https://saref.etsi.org/s4wear#Parent +s4wear:Parent rdf:type owl:Class ; + rdfs:subClassOf s4wear:Wearer . -### https://saref.etsi.org/saref4wear#Entity -:Entity rdf:type owl:Class . +### https://saref.etsi.org/s4wear#PhysicalObject +s4wear:PhysicalObject rdf:type owl:Class ; + rdfs:subClassOf s4wear:Entity . -### https://saref.etsi.org/saref4wear#Fabric -:Fabric rdf:type owl:Class ; - rdfs:subClassOf :TextileBasedWearable . +### https://saref.etsi.org/s4wear#PositionedWearable +s4wear:PositionedWearable rdf:type owl:Class ; + rdfs:subClassOf s4wear:Wearable . -### https://saref.etsi.org/saref4wear#InBodyWearable -:InBodyWearable rdf:type owl:Class ; - rdfs:subClassOf [ owl:intersectionOf ( :PositionedWearable - [ rdf:type owl:Restriction ; - owl:onProperty :isLocatedIn ; - owl:someValuesFrom s4wear:Wearer - ] - ) ; - rdf:type owl:Class - ] . +### https://saref.etsi.org/s4wear#Sensing +s4wear:Sensing rdf:type owl:Class ; + rdfs:subClassOf s4wear:Capability . -### https://saref.etsi.org/saref4wear#Information -:Information rdf:type owl:Class . +### https://saref.etsi.org/s4wear#Sensor +s4wear:Sensor rdf:type owl:Class . -### https://saref.etsi.org/saref4wear#NearBodyWearable -:NearBodyWearable rdf:type owl:Class ; - rdfs:subClassOf [ owl:intersectionOf ( :PositionedWearable - [ rdf:type owl:Restriction ; - owl:onProperty :isLocatedNear ; - owl:someValuesFrom s4wear:Wearer - ] - ) ; - rdf:type owl:Class - ] . +### https://saref.etsi.org/s4wear#Software +s4wear:Software rdf:type owl:Class ; + rdfs:subClassOf s4wear:Entity . -### https://saref.etsi.org/saref4wear#OnBodyWearable -:OnBodyWearable rdf:type owl:Class ; - rdfs:subClassOf [ owl:intersectionOf ( :PositionedWearable - [ rdf:type owl:Restriction ; - owl:onProperty :isLocatedOn ; - owl:someValuesFrom s4wear:Wearer - ] - ) ; - rdf:type owl:Class - ] . +### https://saref.etsi.org/s4wear#StaffMember +s4wear:StaffMember rdf:type owl:Class ; + rdfs:subClassOf s4wear:Wearer . -### https://saref.etsi.org/saref4wear#PositionedWearable -:PositionedWearable rdf:type owl:Class ; - rdfs:subClassOf s4wear:Wearable . +### https://saref.etsi.org/s4wear#Storage +s4wear:Storage rdf:type owl:Class ; + rdfs:subClassOf s4wear:Capability . -### https://saref.etsi.org/saref4wear#Sensing -:Sensing rdf:type owl:Class ; - rdfs:subClassOf :Capability . +### https://saref.etsi.org/s4wear#TextileBasedComponent +s4wear:TextileBasedComponent rdf:type owl:Class ; + rdfs:subClassOf s4wear:TextileBasedWearable . -### https://saref.etsi.org/saref4wear#Storage -:Storage rdf:type owl:Class ; - rdfs:subClassOf :Capability . +### https://saref.etsi.org/s4wear#TextileBasedDevice +s4wear:TextileBasedDevice rdf:type owl:Class ; + rdfs:subClassOf s4wear:TextileBasedWearable . -### https://saref.etsi.org/saref4wear#TextileBasedComponent -:TextileBasedComponent rdf:type owl:Class ; - rdfs:subClassOf :TextileBasedWearable . +### https://saref.etsi.org/s4wear#TextileBasedWearable +s4wear:TextileBasedWearable rdf:type owl:Class ; + rdfs:subClassOf s4wear:Wearable . -### https://saref.etsi.org/saref4wear#TextileBasedDevice -:TextileBasedDevice rdf:type owl:Class ; - rdfs:subClassOf :TextileBasedWearable . +### https://saref.etsi.org/s4wear#User +s4wear:User rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( s4wear:Entity + [ rdf:type owl:Restriction ; + owl:onProperty s4wear:interactsWith ; + owl:someValuesFrom s4wear:Wearable + ] + ) ; + rdf:type owl:Class + ] . -### https://saref.etsi.org/saref4wear#TextileBasedWearable -:TextileBasedWearable rdf:type owl:Class ; - rdfs:subClassOf s4wear:Wearable . +### https://saref.etsi.org/s4wear#Wearable +s4wear:Wearable rdf:type owl:Class ; + rdfs:subClassOf s4wear:Device ; + rdfs:comment """A wearable device is a device that is intended to be located near, on or in an organism. +The definition of this concept satisfies the requirement WEAR-1."""@en ; + rdfs:label "Wearable device"@en . -### https://saref.etsi.org/saref4wear#User -:User rdf:type owl:Class ; - rdfs:subClassOf [ owl:intersectionOf ( :Entity - [ rdf:type owl:Restriction ; - owl:onProperty :interactsWith ; - owl:someValuesFrom s4wear:Wearable - ] - ) ; - rdf:type owl:Class - ] . +### https://saref.etsi.org/s4wear#Wearer +s4wear:Wearer rdf:type owl:Class ; + rdfs:subClassOf [ owl:intersectionOf ( s4wear:Entity + [ rdf:type owl:Restriction ; + owl:onProperty s4wear:isSensedBy ; + owl:someValuesFrom s4wear:Wearable + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:comment """A wearer is any living organism that is sensed by a wearable. +The definition of this concept satisfies the requirement WEAR-2."""@en ; + rdfs:label "Wearer"@en . ################################################################# # Individuals ################################################################# -### https://www.linkedin.com/in/maurodragoni/ - rdf:type owl:NamedIndividual , - foaf:Person ; - foaf:name "Mauro Dragoni" . +### https://www.linkedin.com/in/maurodragoni/MauroDragoni + rdf:type owl:NamedIndividual , + foaf:Person ; + foaf:name "Mauro Dragoni" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi