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
of DAML-ONT.

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?


-- 
Dan