....
What I have suggested is a shortcut to avoid the users having to
(i) declare both the relation type and the concept type (i.e.
duplicate role types from the concept type hierarchy into the
relation type hierarchy),
(ii) write definitions to connect them.
This was a way to answer the knowledge sharing/retrieval problems
pointed out by Asha while still using the "set-theoretic approach"
(Asha's expression) and the usual ontological distinctions.
Thus, for KIF, I suggested that a relation type roleTypeDomain
could be defined in such a way that the following 3 formulas
(subclass Parent Animal)
(roleTypeDomain Parent 1 Animal) (roleTypeDomain Parent 2 Animal)
are equivalent to the following 6 formulas:
(subclass Parent Animal) (instance parent binaryRelation)
(domain parent 1 Animal) (domain parent 2 Animal)
(=> (parent ?A1 ?A2) (Parent ?A2))
(=> (Parent ?A2) (exists ((?A1 Animal)) (parent ?A1 ?A2)))
Danny wrote:
"an increase of the complexity..." - an increase from which baseline?
1) For the users, "complexity" just meant "complication": double
declarations + definitions
2) For the inference engines, I was thinking about the additional work
that the handling of double declarations plus the definitions would
implies (if the users do not forget to enter them and if the language
supports the entering of such definitions; do you think OWL can?);
conversely, if the semantics of primitives such as roleTypeDomain is
hard-coded in the inference engine, they can be handled more
efficiently than their underlying rules.
Danny wrote:
I'd also note that there's the assumption here that both Parent and
parentOf would both be needed. If only the class (or relation)
were needed, then surely there is a net *reduction* in complexity
from the combined notion.
Ok, you acknowledged that I was not suggesting a "combined notion"
and you introduced that idea. I will not comment on that idea on
ontological grounds since this is not my goal: my goal is to store
distinctions into a same ontology and interlink them in a correct
way in order to help their automatic or manual comparison and hence
their retrieval or understanding, and the checking of their uses.
Philippe
I wonder whether you aware that OWL DL as a DL should support to a cetain
degree