search

w3c-lbd-cg / bot

Building Topology Ontology
https://w3id.org/bot
53 stars 15 forks source link

added disjoint property axioms #33

Closed mathib closed 4 years ago

mathib commented 6 years ago

As discussed in #24 a disjoint property axiom is added for bot:containsElement and bot:adjacentElement. A similar axiom was added for bot:containsZone and bot:adjacentZone. All four the definitions of the properties are updated: either bot:containsElement/Zone or bot:adjacentElement/Zone has to be used, but not both.

The main reason behind this restriction, is that a bot:containsZone / bot:containsElement relation means that the complete bot:Zone / bot:Element has to be contained in the other bot:Zone, instead of only partially.

deKlerk commented 5 years ago

LDAC note: The pull request needs to be updated so that the newer intersection property is also disjoint with the other properties. It needs to be compatible with the newer BOT ontology. Otherwise, there is a tendency to accept the pull request.

GeorgFerdinandSchneider commented 4 years ago

This PR seems to be outdated. Issue #24 has been reopened to find a final decision on this topic.