W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2008

owl:TopObjectProperty in property chains?

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:17 UTC