missing ranges and domains

w3c-lbd-cg / bot

Building Topology Ontology

https://w3id.org/bot

53 stars 15 forks source link

missing ranges and domains #89

Open mathib opened 3 years ago

mathib commented 3 years ago

For some reason, the rdfs:domain and rdfs:range on bot:intersectingElement, bot:containsElement andbot:adjacentElement are missing.. (should be resp bot:Zone and bot:Element)

mathib commented 3 years ago

edit: the domain and range are already defined on its superproperty bot:hasElement. Would it be a good idea to repeat it on the above subproperties?

GeorgFerdinandSchneider commented 3 years ago

Checked with Protege 5.5 and Hermit reasoner:

domain range is inherited from bot:hasElement -> @mathib can we close?

mathib commented 3 years ago

I know it can be inferred! But maybe some people want to have the range and domain available for documentation purposes? It should probably not be in RDF, but it might be good to have this in the HTML? Something like:

rdfs:domain bot:Zone (inferred from bot:hasElement)

GeorgFerdinandSchneider commented 3 years ago

Sounds good to add a note in the HTML docs. Could you add this in index.html?