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: Thu, 16 Nov 2000 16:38:20 -0500
To: phayes@ai.uwf.edu
Cc: connolly@w3.org, www-rdf-logic@w3.org
Message-Id: <20001116163820I.pfps@research.bell-labs.com>
Hi:

You mentioned that the semantics for KIF 'holds' means that anything of
the form (holds ?x ?x) must be false for ?x.  However, the documents
referenced by the Axiomatic Semantics paper (which appear to be the
definitive documents on KIF) do not provide any semantics for this
predicate.  

peter
Received on Thursday, 16 November 2000 16:40:06 UTC

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