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

From: Peter F. Patel-Schneider (
Date: 01/09/01

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.


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