owl:TopObjectProperty in property chains?

• From: Jeff Thompson <jeff@thefirst.org>
• Date: Mon, 25 Aug 2008 23:15:48 -0700
• To: public-owl-dev@w3.org
• Message-ID: <48B39F94.7070206@thefirst.org>

[1] shows how to rewrite the rule
hasParent(x, y) ^ hasBrother(y, z) -> hasUncle(x, z)
into the OWL 2 axiom:
ObjectProperty: hasUncle SubPropertyChain: hasParent o hasBrother

Is the universal property owl:TopObjectProperty allowed in a property chain?  In
other words, suppose you have the OWL 2 axiom:

ObjectProperty: childRelatedToBrother
   SubPropertyChain: hasParent o owl:TopObjectProperty o hasBrother

would that be the same as this rule:
hasParent(x, y) ^ hasBrother(w, z) -> childRelatedToBrother(x, z)

In other words, the parent of x does not need to be the same as the brother of z.

- Jeff

[1] Gasse, F., Sattler, U., & Haarslev, V. (2008). Rewriting Rules into
SROIQ Axioms. Proceedings of the 2008 International Workshop on
Description Logics (DL-2008).


P.S. Michael Schneider wrote me a detailed reply to an earlier question
which I'm still cogitating.

Received on Tuesday, 26 August 2008 06:16:24 UTC