Unverified Commit d4aa855e authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

close #20

parent 9955e149

examples/example1ENVI.ttl

+7 −7
Original line number Original line Diff line number Diff line
@@ -9,7 +9,7 @@ 
@prefix s4ener: <https://saref.etsi.org/saref4ener/> .

@prefix s4ener: <https://saref.etsi.org/saref4ener/> .

@prefix dcterms: <http://purl.org/dc/terms/> .

@prefix dcterms: <http://purl.org/dc/terms/> .

@prefix dctype: <http://purl.org/dc/dcmitype/> .

@prefix dctype: <http://purl.org/dc/dcmitype/> .

@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@prefix wgs84: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@prefix time: <http://www.w3.org/2006/time#> .

@prefix time: <http://www.w3.org/2006/time#> .

@prefix wurvoc: <http://www.wurvoc.org/vocabularies/om-1.8/> .

@prefix wurvoc: <http://www.wurvoc.org/vocabularies/om-1.8/> .

@base <https://saref.etsi.org/saref4envi/v1.1.2/example/example1ENVI/> .

@base <https://saref.etsi.org/saref4envi/v1.1.2/example/example1ENVI/> .
@@ -24,8 +24,8 @@ 
  dcterms:description "Example of use for the SAREF extension for environment"@en .

  dcterms:description "Example of use for the SAREF extension for environment"@en .









geo:lat a owl:DatatypeProperty .

wgs84:lat a owl:DatatypeProperty .

geo:long a owl:DatatypeProperty .

wgs84:long a owl:DatatypeProperty .





:Bluetoothv2-1 rdf:type owl:NamedIndividual ,

:Bluetoothv2-1 rdf:type owl:NamedIndividual ,

                        s4envi:CommunicationInterface ;

                        s4envi:CommunicationInterface ;
@@ -41,9 +41,9 @@ geo:long a owl:DatatypeProperty . 








:LocationTESS005-UCM rdf:type owl:NamedIndividual ,

:LocationTESS005-UCM rdf:type owl:NamedIndividual ,

                              geo:SpatialThing ;

                              wgs84:SpatialThing ;

                     geo:lat "40.451" ;

                     wgs84:lat "40.451" ;

                     geo:long "-3.7261" ;

                     wgs84:long "-3.7261" ;

                     rdfs:label "Location of photometer TESS stars5"@en .

                     rdfs:label "Location of photometer TESS stars5"@en .
@@ -89,7 +89,7 @@ geo:long a owl:DatatypeProperty . 
                                                                              :RS232v24 ,

                                                                              :RS232v24 ,

                                                                              :Wi-Fiv802-11ah ;

                                                                              :Wi-Fiv802-11ah ;

             s4envi:usesCommunicationProtocol :MQTT-Broker ;

             s4envi:usesCommunicationProtocol :MQTT-Broker ;

             geo:location :LocationTESS005-UCM ;

             wgs84:location :LocationTESS005-UCM ;

             s4ener:exposes :PowerProfileTESS005-UCM ;

             s4ener:exposes :PowerProfileTESS005-UCM ;

             s4envi:hasVersion "v1"^^xsd:string ;

             s4envi:hasVersion "v1"^^xsd:string ;

             saref:hasManufacturer "Universidad Complutense de Madrid"^^xsd:string ;

             saref:hasManufacturer "Universidad Complutense de Madrid"^^xsd:string ;

ontology/saref4envi.ttl

+13 −13
Original line number Original line Diff line number Diff line 
@prefix : <https://saref.etsi.org/saref4envi/> .

@prefix : <https://saref.etsi.org/saref4envi/> .

@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@prefix wgs84: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix xml: <http://www.w3.org/XML/1998/namespace> .

@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@@ -75,9 +75,9 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty . 
#################################################################

#################################################################





###  http://www.w3.org/2003/01/geo/wgs84_pos#location

###  http://www.w3.org/2003/01/geo/wgs84_pos#location

geo:location rdf:type owl:ObjectProperty ;

wgs84: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: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 geo: ;

             rdfs:isDefinedBy wgs84: ;

             rdfs:label "location"@en .

             rdfs:label "location"@en .
@@ -339,14 +339,14 @@ saref:hasValue rdf:type owl:DatatypeProperty ; 
#################################################################

#################################################################





###  http://www.w3.org/2003/01/geo/wgs84_pos#Point

###  http://www.w3.org/2003/01/geo/wgs84_pos#Point

geo:Point rdf:type owl:Class ;

wgs84:Point rdf:type owl:Class ;

          rdfs:comment "A point, typically described using a coordinate system relative to Earth, such as WGS84. Uniquely identified by lat/long/alt. i.e. spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), at(P2, LAT), long(P2, LONG), alt(P2, ALT). sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2)."@en ;

          rdfs:comment "A point, typically described using a coordinate system relative to Earth, such as WGS84. Uniquely identified by lat/long/alt. i.e. spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), at(P2, LAT), long(P2, LONG), alt(P2, ALT). sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2)."@en ;

          rdfs:isDefinedBy geo: ;

          rdfs:isDefinedBy wgs84: ;

          rdfs:label "Point"@en .

          rdfs:label "Point"@en .









###  http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing

###  http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing

geo:SpatialThing rdf:type owl:Class ;

wgs84:SpatialThing rdf:type owl:Class ;

                 owl:disjointWith saref:Measurement ,

                 owl:disjointWith saref:Measurement ,

                                  saref:Service ,

                                  saref:Service ,

                                  :Color ,

                                  :Color ,
@@ -356,7 +356,7 @@ geo:SpatialThing rdf:type owl:Class ; 
                                  :DigitalRepresentation ,

                                  :DigitalRepresentation ,

                                  :Geometry ;

                                  :Geometry ;

                 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: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 geo: ;

                 rdfs:isDefinedBy wgs84: ;

                 rdfs:label "Spatial thing"@en .

                 rdfs:label "Spatial thing"@en .
@@ -732,10 +732,10 @@ saref:UnitOfMeasure rdf:type owl:Class ; 




###  https://saref.etsi.org/saref4envi/LightPoint

###  https://saref.etsi.org/saref4envi/LightPoint

:LightPoint rdf:type owl:Class ;

:LightPoint rdf:type owl:Class ;

            rdfs:subClassOf geo:Point ,

            rdfs:subClassOf wgs84:Point ,

                            [ rdf:type owl:Restriction ;

                            [ rdf:type owl:Restriction ;

                              owl:onProperty geo:location ;

                              owl:onProperty wgs84:location ;

                              owl:allValuesFrom geo:SpatialThing

                              owl:allValuesFrom wgs84:SpatialThing

                            ] ,

                            ] ,

                            [ rdf:type owl:Restriction ;

                            [ rdf:type owl:Restriction ;

                              owl:onProperty :projectsLight ;

                              owl:onProperty :projectsLight ;
@@ -781,10 +781,10 @@ saref:UnitOfMeasure rdf:type owl:Class ; 




###  https://saref.etsi.org/saref4envi/PhysicalObject

###  https://saref.etsi.org/saref4envi/PhysicalObject

:PhysicalObject rdf:type owl:Class ;

:PhysicalObject rdf:type owl:Class ;

                rdfs:subClassOf geo:SpatialThing ,

                rdfs:subClassOf wgs84:SpatialThing ,

                                [ rdf:type owl:Restriction ;

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty geo:location ;

                                  owl:onProperty wgs84:location ;

                                  owl:allValuesFrom geo:SpatialThing

                                  owl:allValuesFrom wgs84:SpatialThing

                                ] ,

                                ] ,

                                [ rdf:type owl:Restriction ;

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty :contains ;

                                  owl:onProperty :contains ;