Hi Robert,
The OWL standard explicitly exempts annotation properties from DL reasoning. And this is good for interoperability. So, everyone would know that no DL reasoner will try to reason on annotations.
From another hand, object properties and data properties are explicitly dedicated for DL reasoning. So, if you use an object property or a data property and do not expect it to be used for DL reasoning, then you misuse OWL.
This divide helps to achieve interoperability. In any programming language, executable code is disjoint from comments. No one expects for a compiler to compile executable code from comments. So, consider OWL as a programming language.
Cheers,
Igor
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info/
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/2d0db002-109a-445b-b81c-77feed585c09n%40googlegroups.com.