W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: A Model Theoretic Semantics for DAML-ONT

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 11 Nov 2000 10:32:25 -0500
To: Jerome.Euzenat@inrialpes.fr
Cc: phayes@ai.uwf.edu, dlm@KSL.Stanford.EDU, www-rdf-logic@w3.org
Message-Id: <20001111103225R.pfps@research.bell-labs.com>
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.

Received on Saturday, 11 November 2000 10:34:01 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC