identity (or equality) missing from DAML and DAML+OIL

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 01/09/01

Next message: pat hayes: "Re: about vs. ID"
Previous message: Frank van Harmelen: "Re: Joint Committee telecon today"
In reply to: Mike Dean: "Joint Committee telecon today"
Next in thread: Deborah Mcguinness: "Re: Joint Committee telecon today"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

One thing that I have brought up in the past, but have neglected to
escalate to an agenda item, is the lack of a theory of identity (or
equality).  Now that we have number restrictions, we really need a theory
of identity for abstract objects.

peter

Next message: pat hayes: "Re: about vs. ID"
Previous message: Frank van Harmelen: "Re: Joint Committee telecon today"
In reply to: Mike Dean: "Joint Committee telecon today"
Next in thread: Deborah Mcguinness: "Re: Joint Committee telecon today"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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