From: pat hayes ([email protected])
Date: 01/15/01
Jim Hendler wrote:
>At 9:55 -0500 1/12/01, Peter F. Patel-Schneider wrote:
>>.......
>>OK, now that there is a DAML+OIL release, it is time to try to put a
>>spanner in the works. (Not that it is time to sabotage the release, it is
>>just that it is now time to see what problems remain, so that the next
>>release can fix them.) I expect that this list is not complete!
>>
>>
>>Problem 1: The lack of a theory of identity (or equality, or equivalence)
>>
>
>I agree with Peter that this is important, and that we need it.
>However, I wonder if the correct solution isn't a langauge feature
>to allow it to be said -- we have the ability to say things are the
>same class or same property -- why not a similar explicit construct
>for same entity?
I think the point is not that we couldn't add the ability to say
something like same-entity, but more the issue of what we would mean
when we say it. Peter refers to a lack of a *theory* of identity.
Cunning man, he knows that a 'theory of identity' amounts to a model
theory.
Pat Hayes
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
[email protected]
http://www.coginst.uwf.edu/~phayes
This archive was generated by hypermail 2.1.4 : 04/02/02 EST