bnodes/existentials in Construct

From: Sandro Hawke <sandro@w3.org>
Date: Fri, 19 Nov 2004 14:20:32 -0500
To: public-rdf-dawg-comments@w3.org
Message-Id: <E1CVEJ6-0004J0-VR@localhost.localdomain>

Are bnodes allowed in the Construct clause?  If so, that's a lot like
existentially quantified terms in the consequent of a rule, and we're in
Horn logic instead of the more conventional datalog.

    -- sandro

Received on Friday, 19 November 2004 19:19:41 UTC