Re: A Model Theoretic Semantics for DAML-ONT

Let me second the sentiments by Jerome.  I expect that a semantics for a
simple representation language will be not much more complex than the
syntax of the language.  However, to really understand the ``semantics'' as
presented, I need to understand the syntax and semantics of KIF, which,
last time I checked, seemed to me to be aout an order of magnitude more
complex than DAML-ONT.

peter