From: Deborah McGuinness (dlm@ksl.stanford.edu)
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: dlm@ksl.stanford.edu 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