- 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
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