Re: model-theoretic semantics for DAML-ONT

"Peter F. Patel-Schneider" wrote:
> Hi:
> I put together a draft of a model-theoretic semantics for DAML-ONT as a
> counterpoint to the axiomatic semantics recently submitted to this list.
> Comments are welcome.

Upon quick reading, this semantics agrees with my understanding

I have a question of clarification:

> Peter Patel-Schneider
>                 A Draft Model-Theoretic Semantics for DAML-ONT

> There currently is no unique name assumption nor is there a means of
> asserting equality or inequality between individuals.  One or the other is
> needed.

I don't understand how you can say both that and:

> If <equivalentTo,?C,?D> is in KB then IC(?C) = IC(?D)

Isn't "IC(?C) = IC(?D)" asserting the equality of individuals?


Received on Thursday, 16 November 2000 12:47:11 UTC