W3C home > Mailing lists > Public > www-rdf-comments@w3.org > January to March 2003

misplaced paren in gloss of existential introduction

From: Dan Connolly <connolly@w3.org>
Date: Wed, 29 Jan 2003 12:15:18 -0600
To: www-rdf-comments@w3.org
Message-id: <1043864118.29625.381.camel@dirk.dm93.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 21 September 2012 14:16:31 GMT