From: Deborah McGuinness ([email protected])
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
email: [email protected]
URL: http://ksl.stanford.edu/people/dlm
(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