Update bot.ttl - Githubissues

w3c-lbd-cg / lbd

The source of the W3C Linked Building Data Community Group website https://w3c-lbd-cg.github.io/lbd/

https://www.w3.org/community/lbd/

33 stars 12 forks source link

Update bot.ttl #7

Closed GeorgFerdinandSchneider closed 7 years ago

GeorgFerdinandSchneider commented 7 years ago

Changed english and german labels and comments of :containsElement to comply to its formal semantics. Old version comments indicates isContainedIn relationship contradicting formal semantics:

Semantics: bot:containsElement rdfs:domain bot:Space rdfs:range bot:Element

Same for bot:adjacentElements