Loading ontology/saref4watr.ttl +11 −31 Original line number Diff line number Diff line Loading @@ -9,10 +9,10 @@ @prefix saref: <https://saref.etsi.org/saref#> . @prefix s4city: <https://saref.etsi.org/saref4city#> . @prefix vann: <http://purl.org/vocab/vann/> . @prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> . @prefix s4syst: <https://saref.etsi.org/saref4syst#> . @prefix time: <http://www.w3.org/2006/time#> . @prefix geosp: <http://www.opengis.net/ont/geosparql#> . @prefix sf: <http://www.opengis.net/ont/sf#> . @prefix s4watr: <https://saref.etsi.org/saref4watr#> . @base <https://saref.etsi.org/saref4watr#> . Loading Loading @@ -84,12 +84,6 @@ geosp:sfWithin rdf:type owl:ObjectProperty ; rdfs:label "sfWithin"@en . ### http://www.w3.org/2003/01/geo/wgs84_pos#location geo:location rdf:type owl:ObjectProperty ; rdfs:isDefinedBy <http://www.w3.org/2003/01/geo/wgs84_pos#> ; rdfs:label "location" . ### https://saref.etsi.org/saref4syst#hasSubSystem s4syst:hasSubSystem rdf:type owl:ObjectProperty ; rdfs:isDefinedBy <https://saref.etsi.org/saref4syst#> ; Loading Loading @@ -433,36 +427,22 @@ geosp:Geometry rdf:type owl:Class ; ### http://www.opengis.net/ont/geosparql#SpatialObject geosp:SpatialObject rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty geosp:hasGeometry ; owl:allValuesFrom geosp:Geometry ] , [ rdf:type owl:Restriction ; owl:onProperty geosp:sfContains ; owl:allValuesFrom geosp:SpatialObject ] , [ rdf:type owl:Restriction ; owl:onProperty geosp:sfWithin ; owl:allValuesFrom geosp:SpatialObject ] , [ rdf:type owl:Restriction ; owl:onProperty geo:location ; owl:allValuesFrom geo:Point ] ; rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ; rdfs:label "Spatial object"@en . ### http://www.w3.org/2003/01/geo/wgs84_pos#Point geo:Point rdf:type owl:Class ; ### http://www.opengis.net/ont/sf#Point sf:Point rdf:type owl:Class ; rdfs:subClassOf geosp:Geometry ; rdfs:comment """Uniquely identified by lat/long/alt. i.e. rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ; rdfs:label "Point"@en . spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), lat(P2, LAT), long(P2, LONG), alt(P2, ALT). sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2)."""@en ; rdfs:isDefinedBy <http://www.w3.org/2003/01/geo/wgs84_pos#> ; rdfs:label "Point"@en . ### http://www.opengis.net/ont/sf#Polygon sf:Polygon rdf:type owl:Class ; rdfs:subClassOf geosp:Geometry ; rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ; rdfs:label "Polygon"@en . ### http://www.w3.org/2006/time#DayOfWeek Loading Loading
ontology/saref4watr.ttl +11 −31 Original line number Diff line number Diff line Loading @@ -9,10 +9,10 @@ @prefix saref: <https://saref.etsi.org/saref#> . @prefix s4city: <https://saref.etsi.org/saref4city#> . @prefix vann: <http://purl.org/vocab/vann/> . @prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> . @prefix s4syst: <https://saref.etsi.org/saref4syst#> . @prefix time: <http://www.w3.org/2006/time#> . @prefix geosp: <http://www.opengis.net/ont/geosparql#> . @prefix sf: <http://www.opengis.net/ont/sf#> . @prefix s4watr: <https://saref.etsi.org/saref4watr#> . @base <https://saref.etsi.org/saref4watr#> . Loading Loading @@ -84,12 +84,6 @@ geosp:sfWithin rdf:type owl:ObjectProperty ; rdfs:label "sfWithin"@en . ### http://www.w3.org/2003/01/geo/wgs84_pos#location geo:location rdf:type owl:ObjectProperty ; rdfs:isDefinedBy <http://www.w3.org/2003/01/geo/wgs84_pos#> ; rdfs:label "location" . ### https://saref.etsi.org/saref4syst#hasSubSystem s4syst:hasSubSystem rdf:type owl:ObjectProperty ; rdfs:isDefinedBy <https://saref.etsi.org/saref4syst#> ; Loading Loading @@ -433,36 +427,22 @@ geosp:Geometry rdf:type owl:Class ; ### http://www.opengis.net/ont/geosparql#SpatialObject geosp:SpatialObject rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty geosp:hasGeometry ; owl:allValuesFrom geosp:Geometry ] , [ rdf:type owl:Restriction ; owl:onProperty geosp:sfContains ; owl:allValuesFrom geosp:SpatialObject ] , [ rdf:type owl:Restriction ; owl:onProperty geosp:sfWithin ; owl:allValuesFrom geosp:SpatialObject ] , [ rdf:type owl:Restriction ; owl:onProperty geo:location ; owl:allValuesFrom geo:Point ] ; rdfs:isDefinedBy <http://www.opengis.net/ont/geosparql#> ; rdfs:label "Spatial object"@en . ### http://www.w3.org/2003/01/geo/wgs84_pos#Point geo:Point rdf:type owl:Class ; ### http://www.opengis.net/ont/sf#Point sf:Point rdf:type owl:Class ; rdfs:subClassOf geosp:Geometry ; rdfs:comment """Uniquely identified by lat/long/alt. i.e. rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ; rdfs:label "Point"@en . spaciallyIntersects(P1, P2) :- lat(P1, LAT), long(P1, LONG), alt(P1, ALT), lat(P2, LAT), long(P2, LONG), alt(P2, ALT). sameThing(P1, P2) :- type(P1, Point), type(P2, Point), spaciallyIntersects(P1, P2)."""@en ; rdfs:isDefinedBy <http://www.w3.org/2003/01/geo/wgs84_pos#> ; rdfs:label "Point"@en . ### http://www.opengis.net/ont/sf#Polygon sf:Polygon rdf:type owl:Class ; rdfs:subClassOf geosp:Geometry ; rdfs:isDefinedBy <http://www.opengis.net/ont/sf#> ; rdfs:label "Polygon"@en . ### http://www.w3.org/2006/time#DayOfWeek Loading