Re: DAML+OIL Expressivity Question

From: Ian Horrocks (
Date: 11/07/01

On November 7, Jeff Heflin writes:
> Hi all,
> I recently had someone ask me if they could represent a particular kind
> of knowledge in DAML+OIL, and I wasn't able to give them a definite
> response. I was hoping one of our DL gurus could help. I was asked if it
> was possible to define the class of all people who's best friend is
> their spouse, where bestFriend and spouse are properties. I think this
> means they would need a restriction that could restrict two properties
> to have the same value. I don't believe we can do this in DAML+OIL, but
> wanted to check. Thanks!

As you rightly suspect, there isn't a general way to restrict two
properties to have the same value. In cases like this, it may be
possible to use the property hierarchy to achieve the desired result
by declaring both bestFriend and spouse to be subProperties of a
property called, say, bestFriendORspouse, and then asserting the class
as equivalent to a maxCardinality restriction of 1 on


> Jeff

This archive was generated by hypermail 2.1.4 : 04/02/02 EST