- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 29 Jan 2003 12:15:18 -0600
- To: www-rdf-comments@w3.org
[[ The two basic forms of simply valid inference in RDF are, in logical terms, the inference from (P and Q) to P, and the inference from (foo baz) to (exists (?x) foo(?x)). ]] -- http://www.w3.org/TR/2003/WD-rdf-mt-20030123/#entail I gather that last bit should either be inference from foo(baz) to (exists (?x) foo(?x)). or inference from (foo baz) to (exists (?x) (foo ?x)). -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 29 January 2003 13:16:00 UTC