Re: DAML+OIL Expressivity Question

From: Deborah McGuinness (
Date: 11/07/01

DAML+OIL does not include the "classical" DL constructor that allows this
statement.  (DLs like classic had a sameas constructor that allowed this
statement to be made   but sameas was the source of no end of issues.)

Ian's solution works though with the property hierarchy.

Jeff Heflin wrote:

> 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!
> Jeff

 Deborah L. McGuinness
 Knowledge Systems Laboratory
 Gates Computer Science Building, 2A Room 241
 Stanford University, Stanford, CA 94305-9020
 (voice) 650 723 9770    (stanford fax) 650 725 5850   (computer fax)  801
705 0941

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