bnodes/existentials in Construct

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