search

opengeospatial / ogc-geosparql

Public Repository for the OGC GeoSPARQL Standards Working Group
77 stars 20 forks source link

define more topological relation equivalences #510

Closed VladimirAlexiev closed 3 weeks ago

VladimirAlexiev commented 7 months ago

https://docs.ogc.org/is/22-047r1/22-047r1.html#_equivalent_rcc8_egenhofer_and_simple_features_topological_relations 9.5. Equivalent RCC8, Egenhofer and Simple Features Topological Relations has a rich table of equivalences.

But as far as I can see, geo.ttl defines only these:

:ehDisjoint owl:equivalentProperty :sfDisjoint .
:ehEquals owl:equivalentProperty :sfEquals .
:ehMeet owl:equivalentProperty :sfTouches .

Please add the following:

In addition, change the table to use the actual prop names (eg geo:sfDisjoint in the Simple Features column), and link to their definitions.

mperry455 commented 6 months ago

As discussed in 03/06/2024 SWG Meeting, this is a good idea and we will look at adding more equivalences in version 1.3 of GeoSPARQL.

VladimirAlexiev commented 2 months ago

Thanks @situx ! I looked at #532 for like 2 minutes and it seems ok to me, and quite completely addresses my comment.

However, another set of eyes must check subPropertyOf because this is a bit tricky and it's easy to get it wrong.

situx commented 3 weeks ago

532 has been checked and merged, so this issue can be closed