diff --git a/examples/example1ENVI-polished.ttl b/examples/example1ENVI-polished.ttl deleted file mode 100644 index ac3e34c2c8cfc8de126fb6ffa436c676572f74f6..0000000000000000000000000000000000000000 --- a/examples/example1ENVI-polished.ttl +++ /dev/null @@ -1,141 +0,0 @@ -@prefix : . -@prefix dc: . -@prefix owl: . -@prefix rdf: . -@prefix xml: . -@prefix xsd: . -@prefix prov: . -@prefix rdfs: . -@prefix vann: . -@prefix saref: . -@prefix s4envi: . -@prefix s4ener: . -@prefix dcterms: . -@prefix geo: . -@prefix time: . -@prefix wurvoc: . -@base . - - rdf:type owl:Ontology ; - owl:versionIRI ; - dcterms:creator ; - rdfs:comment "Example of use for the SAREF extension for environment"@en ; - dcterms:creator ; - dcterms:license ; - owl:versionInfo "1.0" ; - dc:publisher . - - -:Bluetoothv2-1 rdf:type owl:NamedIndividual , - s4envi:CommunicationInterface ; - s4envi:hasVersion "v2.1"^^xsd:string ; - rdfs:label "Bluetooth v2.1"@en . - - -:FequencyMeasurementTESS005-UCM rdf:type owl:NamedIndividual , - s4envi:FrequencyMeasurement ; - saref:isMeasuredIn wurvoc:reciprocal_second-time ; - saref:hasValue "10.0"^^xsd:float ; - rdfs:label "FequencyMeasurementTESS005-UCM"@en . - - -:LocationTESS005-UCM rdf:type owl:NamedIndividual , - geo:SpatialThing ; - geo:latitude "40.451"^^xsd:float ; - geo:longitude "-3.7261"^^xsd:float ; - rdfs:label "Location of photometer TESS stars5"@en . - - -:MQTT-Broker rdf:type owl:NamedIndividual , - s4envi:CommunicationProtocol ; - rdfs:label "MQTT-Broker"@en . - - -:TransmissionPeriodTESS005-UCM rdf:type owl:NamedIndividual , - s4envi:PeriodMeasurement ; - saref:isMeasuredIn time:unitSecond ; - saref:hasValue "30.0"^^xsd:float ; - rdfs:label "TransmissionPeriodTESS005-UCM"@en . - - -:PowerProfileTESS005-UCM rdf:type owl:NamedIndividual , - s4ener:PowerProfile ; - saref:hasConsumption :PowerTESS005-UCM ; - rdfs:label "Power profile of photometer TESS stars5"@en . - - -:PowerTESS005-UCM rdf:type owl:NamedIndividual , - s4ener:Power ; - saref:isMeasuredIn wurvoc:watt ; - saref:hasValue "20.0"^^xsd:float ; - rdfs:label "Power of photometer TESS stars5"@en . - - -:RS232v24 rdf:type owl:NamedIndividual , - s4envi:CommunicationInterface ; - s4envi:hasVersion "v24"^^xsd:string ; - rdfs:label "RS232 v24"@en . - - -:TESS005-UCM rdf:type owl:NamedIndividual , - s4envi:TESS ; - s4envi:hasFrequencyMeasurement :FequencyMeasurementTESS005-UCM ; - s4envi:hasTransmissionPeriod :TransmissionPeriodTESS005-UCM ; - s4envi:makesMeasurement :Measurement2016-10-05T08:15:30TESS005-UCM , - :Measurement2016-10-05T08:15:40TESS005-UCM ; - s4envi:measuresProperty s4envi:LightMagnitude ; - s4envi:usesCommunicationInterface :Bluetoothv2-1 , - :RS232v24 , - :Wi-Fiv802-11ah ; - s4envi:usesCommunicationProtocol :MQTT-Broker ; - geo:location :LocationTESS005-UCM ; - s4ener:exposes :PowerProfileTESS005-UCM ; - s4envi:hasVersion "v1"^^xsd:string ; - saref:hasManufacturer "Universidad Complutense de Madrid"^^xsd:string ; - saref:hasName "stars5"^^xsd:string ; - rdfs:label "TESS photometer stars5"@en . - - -:Wi-Fiv802-11ah rdf:type owl:NamedIndividual , - s4envi:CommunicationInterface ; - s4envi:hasVersion "802.11ah"^^xsd:string ; - rdfs:label "Wi-Fi v802.11ah"@en . - - -:mgPerarcsec2 rdf:type owl:NamedIndividual , - saref:UnitOfMeasure ; - rdfs:label "mgPerarcsec2"@en . - - -:Measurement2016-10-05T08:15:30TESS005-UCM rdf:type owl:NamedIndividual , - s4envi:Measurement ; - s4envi:relatesToProperty s4envi:LightMagnitude ; - saref:isMeasuredIn :mgPerarcsec2 ; - s4envi:hasTimestamp "2016-10-05T08:15:30"^^xsd:dateTime ; - saref:hasValue "0.1"^^xsd:float ; - rdfs:label "Measurement 2016-10-05T08:15:30 TESS005-UCM"@en . - - -:Measurement2016-10-05T08:15:40TESS005-UCM rdf:type owl:NamedIndividual , - s4envi:Measurement ; - s4envi:relatesToProperty s4envi:LightMagnitude ; - saref:isMeasuredIn :mgPerarcsec2 ; - s4envi:hasTimestamp "2016-10-05T08:15:40"^^xsd:dateTime ; - saref:hasValue "0.8"^^xsd:float ; - rdfs:label "Measurement 2016-10-05T08:15:40 TESS005-UCM"@en . - - -s4envi:LightMagnitude rdf:type owl:NamedIndividual , - s4envi:LightProperty . - - -time:unitSecond rdf:type owl:NamedIndividual , - time:TemporalUnit . - - -wurvoc:reciprocal_second-time rdf:type owl:NamedIndividual , - s4envi:FrequencyUnit . - - -wurvoc:watt rdf:type owl:NamedIndividual , - saref:PowerUnit . diff --git a/examples/example1ENVI.ttl b/examples/example1ENVI.ttl index a1e402ff8649f1e608c6aa38f7df46151b556946..2da75566973e30d83a5e175879beb723cc9f8f3a 100644 --- a/examples/example1ENVI.ttl +++ b/examples/example1ENVI.ttl @@ -1,356 +1,138 @@ -@prefix : . -@prefix dc: . +@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . -@prefix prov: . @prefix rdfs: . -@prefix vann: . -@prefix saref: . +@prefix saref: . +@prefix s4envi: . +@prefix s4ener: . @prefix dcterms: . -@base . +@prefix geo: . +@prefix time: . +@prefix wurvoc: . +@base . - rdf:type owl:Ontology ; - owl:versionIRI ; - dcterms:creator ; - rdfs:comment "Example of use for the SAREF extension for environment"@en ; - dcterms:creator ; - dcterms:license ; - owl:versionInfo "1.0" ; - dc:publisher . + rdf:type owl:Ontology ; + owl:versionIRI ; + dcterms:creator ; + rdfs:comment "Example of use for the SAREF extension for environment"@en ; + dcterms:creator ; + dcterms:license ; + owl:versionInfo "1.0" ; + dcterms:publisher . -################################################################# -# Annotation properties -################################################################# -### http://purl.org/dc/terms/creator -dcterms:creator rdf:type owl:AnnotationProperty . +:Bluetoothv2-1 rdf:type owl:NamedIndividual , + s4envi:CommunicationInterface ; + s4envi:hasVersion "v2.1"^^xsd:string ; + rdfs:label "Bluetooth v2.1"@en . -### http://purl.org/dc/terms/dateCopyrighted -dcterms:dateCopyrighted rdf:type owl:AnnotationProperty . - - -### http://purl.org/dc/terms/rightsHolder -dcterms:rightsHolder 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 . - - -### http://www.w3.org/ns/prov#hadPrimarySource -prov:hadPrimarySource rdf:type owl:AnnotationProperty . - - -################################################################# -# Datatypes -################################################################# - -### http://www.w3.org/2001/XMLSchema#duration -xsd:duration rdf:type rdfs:Datatype . - - -################################################################# -# Object Properties -################################################################# - -### http://saref.linkeddata.es/def/bldg#isContainedIn -:isContainedIn rdf:type owl:ObjectProperty , - owl:TransitiveProperty ; - rdfs:comment "A relation between an object and the physical space in which it is located."@en ; - rdfs:label "is contained in"@en . - - -### http://saref.linkeddata.es/def/envi#hasFrequencyMeasurement - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#hasTransmissionPeriod - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#makesMeasurement - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#measuresProperty - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#relatesToProperty - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#usesCommunicationInterface - rdf:type owl:ObjectProperty . - - -### http://saref.linkeddata.es/def/envi#usesCommunicationProtocol - rdf:type owl:ObjectProperty . - - -### http://www.w3.org/2003/01/geo/wgs84_pos#location - rdf:type owl:ObjectProperty ; - rdfs:comment "The relation between something and the point, or other geometrical thing in space, where it is. For example, the realtionship between a radio tower and a Point with a given lat and long. Or a relationship between a park and its outline as a closed arc of points, or a road and its location as a arc (a sequence of points). Clearly in practice there will be limit to the accuracy of any such statement, but one would expect an accuracy appropriate for the size of the object and uses such as mapping ."@en ; - rdfs:isDefinedBy ; - rdfs:label "location"@en . - - -### https://w3id.org/saref#hasConsumption -saref:hasConsumption rdf:type owl:ObjectProperty . - - -### https://w3id.org/saref#isMeasuredIn -saref:isMeasuredIn rdf:type owl:ObjectProperty ; - rdfs:comment "A relation between a measurement and the unit of measure in which the measurement value is expressed."@en ; - rdfs:label "is measured in"@en . - - -### https://w3id.org/saref4ee#exposes - rdf:type owl:ObjectProperty . - - -################################################################# -# Data properties -################################################################# - -### http://saref.linkeddata.es/def/envi#hasTimestamp - rdf:type owl:DatatypeProperty . - - -### http://saref.linkeddata.es/def/envi#hasVersion - rdf:type owl:DatatypeProperty . - - -### http://www.w3.org/2003/01/geo/wgs84_pos#latitude - rdf:type owl:DatatypeProperty . - - -### http://www.w3.org/2003/01/geo/wgs84_pos#longitude - rdf:type owl:DatatypeProperty . - - -### https://w3id.org/saref#hasManufacturer -saref:hasManufacturer rdf:type owl:DatatypeProperty . - - -### https://w3id.org/saref#hasName -saref:hasName rdf:type owl:DatatypeProperty . - - -### https://w3id.org/saref#hasValue -saref:hasValue rdf:type owl:DatatypeProperty ; - rdfs:comment "A relationship defining the value of a certain property, e.g., energy or power"@en ; - rdfs:isDefinedBy saref: ; - rdfs:label "has value"@en . - - -################################################################# -# Classes -################################################################# - -### http://saref.linkeddata.es/def/envi#CommunicationInterface - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#CommunicationProtocol - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#FrequencyMeasurement - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#FrequencyUnit - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#LightProperty - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#Measurement - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#PeriodMeasurement - rdf:type owl:Class . - - -### http://saref.linkeddata.es/def/envi#TESS - rdf:type owl:Class . - - -### http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing - rdf:type owl:Class ; - rdfs:comment "Anything with spatial extent, i.e. size, shape, or position. e.g. people, places, bowling balls, as well as abstract areas like cubes."@en ; - rdfs:isDefinedBy ; - rdfs:label "Spatial thing"@en . - - -### http://www.w3.org/2006/time#TemporalUnit - rdf:type owl:Class . - - -### https://w3id.org/saref#PowerUnit -saref:PowerUnit rdf:type owl:Class . - - -### https://w3id.org/saref#UnitOfMeasure -saref:UnitOfMeasure rdf:type owl:Class ; - rdfs:comment "The unit of measure is a standard for measurement of a quantity, such as a Property. For example, Power is a property and Watt is a unit of power that represents a definite predetermined power: when we say 10 Watt, we actually mean 10 times the definite predetermined power called \"watt\". Our definition is based on the definition of unit of measure in the Ontology of units of Measure (OM). We propose here a list of some units of measure that are relevant for the purpose of the Smart Appliances ontology, but this list can be extended."@en ; - rdfs:isDefinedBy saref: ; - rdfs:label "Unit of measure"@en . - - -### https://w3id.org/saref4ee#Power - rdf:type owl:Class . - - -### https://w3id.org/saref4ee#PowerProfile - rdf:type owl:Class . - - -################################################################# -# Individuals -################################################################# - -### http://saref.linkeddata.es/def/bldg#Bluettothv2-1 -:Bluettothv2-1 rdf:type owl:NamedIndividual , - ; - "v2.1"^^xsd:string ; - rdfs:label "Bluettoth v2.1"@en . - - -### http://saref.linkeddata.es/def/bldg#FequencyMeasurementTESS005-UCM :FequencyMeasurementTESS005-UCM rdf:type owl:NamedIndividual , - ; - saref:isMeasuredIn ; + s4envi:FrequencyMeasurement ; + saref:isMeasuredIn wurvoc:reciprocal_second-time ; saref:hasValue "10.0"^^xsd:float ; rdfs:label "FequencyMeasurementTESS005-UCM"@en . -### http://saref.linkeddata.es/def/bldg#LocationTESS005-UCM :LocationTESS005-UCM rdf:type owl:NamedIndividual , - ; - "40.451"^^xsd:float ; - "-3.7261"^^xsd:float ; + geo:SpatialThing ; + geo:latitude "40.451"^^xsd:float ; + geo:longitude "-3.7261"^^xsd:float ; rdfs:label "Location of photometer TESS stars5"@en . -### http://saref.linkeddata.es/def/bldg#MQTT-Broker :MQTT-Broker rdf:type owl:NamedIndividual , - ; + s4envi:CommunicationProtocol ; rdfs:label "MQTT-Broker"@en . -### http://saref.linkeddata.es/def/bldg#PowerProfileTESS005-UCM +:TransmissionPeriodTESS005-UCM rdf:type owl:NamedIndividual , + s4envi:PeriodMeasurement ; + saref:isMeasuredIn time:unitSecond ; + saref:hasValue "30.0"^^xsd:float ; + rdfs:label "TransmissionPeriodTESS005-UCM"@en . + + :PowerProfileTESS005-UCM rdf:type owl:NamedIndividual , - ; + s4ener:PowerProfile ; saref:hasConsumption :PowerTESS005-UCM ; rdfs:label "Power profile of photometer TESS stars5"@en . -### http://saref.linkeddata.es/def/bldg#PowerTESS005-UCM :PowerTESS005-UCM rdf:type owl:NamedIndividual , - ; - saref:isMeasuredIn ; + s4ener:Power ; + saref:isMeasuredIn wurvoc:watt ; saref:hasValue "20.0"^^xsd:float ; rdfs:label "Power of photometer TESS stars5"@en . -### http://saref.linkeddata.es/def/bldg#RS232v24 :RS232v24 rdf:type owl:NamedIndividual , - ; - "v24"^^xsd:string ; + s4envi:CommunicationInterface ; + s4envi:hasVersion "v24"^^xsd:string ; rdfs:label "RS232 v24"@en . -### http://saref.linkeddata.es/def/bldg#TESS005-UCM :TESS005-UCM rdf:type owl:NamedIndividual , - ; - :FequencyMeasurementTESS005-UCM ; - :TransmissionPeriodTESS005-UCM ; - :Measurement2016-10-05T08:15:30TESS005-UCM , + s4envi:TESS ; + s4envi:hasFrequencyMeasurement :FequencyMeasurementTESS005-UCM ; + s4envi:hasTransmissionPeriod :TransmissionPeriodTESS005-UCM ; + s4envi:makesMeasurement :Measurement2016-10-05T08:15:30TESS005-UCM , :Measurement2016-10-05T08:15:40TESS005-UCM ; - ; - :Bluettothv2-1 , + s4envi:measuresProperty s4envi:LightMagnitude ; + s4envi:usesCommunicationInterface :Bluetoothv2-1 , :RS232v24 , :Wi-Fiv802-11ah ; - :MQTT-Broker ; - :LocationTESS005-UCM ; - :PowerProfileTESS005-UCM ; - "v1"^^xsd:string ; + s4envi:usesCommunicationProtocol :MQTT-Broker ; + geo:location :LocationTESS005-UCM ; + s4ener:exposes :PowerProfileTESS005-UCM ; + s4envi:hasVersion "v1"^^xsd:string ; saref:hasManufacturer "Universidad Complutense de Madrid"^^xsd:string ; saref:hasName "stars5"^^xsd:string ; rdfs:label "TESS photometer stars5"@en . -### http://saref.linkeddata.es/def/bldg#TransmissionPeriodTESS005-UCM -:TransmissionPeriodTESS005-UCM rdf:type owl:NamedIndividual , - ; - saref:isMeasuredIn ; - saref:hasValue "30.0"^^xsd:float ; - rdfs:label "TransmissionPeriodTESS005-UCM"@en . - - -### http://saref.linkeddata.es/def/bldg#Wi-Fiv802-11ah :Wi-Fiv802-11ah rdf:type owl:NamedIndividual , - ; - "802.11ah"^^xsd:string ; + s4envi:CommunicationInterface ; + s4envi:hasVersion "802.11ah"^^xsd:string ; rdfs:label "Wi-Fi v802.11ah"@en . -### http://saref.linkeddata.es/def/bldg#mgPerarcsec2 :mgPerarcsec2 rdf:type owl:NamedIndividual , saref:UnitOfMeasure ; rdfs:label "mgPerarcsec2"@en . -### http://saref.linkeddata.es/def/bldg#Measurement2016-10-05T08:15:30TESS005-UCM :Measurement2016-10-05T08:15:30TESS005-UCM rdf:type owl:NamedIndividual , - ; - ; + s4envi:Measurement ; + s4envi:relatesToProperty s4envi:LightMagnitude ; saref:isMeasuredIn :mgPerarcsec2 ; - "2016-10-05T08:15:30"^^xsd:dateTime ; + s4envi:hasTimestamp "2016-10-05T08:15:30"^^xsd:dateTime ; saref:hasValue "0.1"^^xsd:float ; rdfs:label "Measurement 2016-10-05T08:15:30 TESS005-UCM"@en . -### http://saref.linkeddata.es/def/bldg#Measurement2016-10-05T08:15:40TESS005-UCM :Measurement2016-10-05T08:15:40TESS005-UCM rdf:type owl:NamedIndividual , - ; - ; + s4envi:Measurement ; + s4envi:relatesToProperty s4envi:LightMagnitude ; saref:isMeasuredIn :mgPerarcsec2 ; - "2016-10-05T08:15:40"^^xsd:dateTime ; + s4envi:hasTimestamp "2016-10-05T08:15:40"^^xsd:dateTime ; saref:hasValue "0.8"^^xsd:float ; rdfs:label "Measurement 2016-10-05T08:15:40 TESS005-UCM"@en . -### http://saref.linkeddata.es/def/envi#LightMagnitude - rdf:type owl:NamedIndividual , - . +s4envi:LightMagnitude rdf:type owl:NamedIndividual , + s4envi:LightProperty . -### http://www.w3.org/2006/time#unitSecond - rdf:type owl:NamedIndividual , - . +time:unitSecond rdf:type owl:NamedIndividual , + time:TemporalUnit . -### http://www.wurvoc.org/vocabularies/om-1.8/reciprocal_second-time - rdf:type owl:NamedIndividual , - . +wurvoc:reciprocal_second-time rdf:type owl:NamedIndividual , + s4envi:FrequencyUnit . -### http://www.wurvoc.org/vocabularies/om-1.8/watt - rdf:type owl:NamedIndividual , +wurvoc:watt rdf:type owl:NamedIndividual , saref:PowerUnit . - - -### Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi