- From: Sandro Hawke <sandro@w3.org>
- Date: Wed, 13 Sep 2006 11:24:07 -0400
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- Cc: axel@polleres.net, Dave Reynolds <der@hplb.hpl.hp.com>, public-rif-wg@w3.org
> There are deep issues with BNodes that have hurt us in SPARQL, and I
> think most extant SemWeb rule languages largely punt on them. It
> would be good to deal with them properly. (e.g., are BNodes scoped to
> the document? Even when they appear in rules?)
Is it clear enough how RDF with BNodes maps to FOL? I'm hoping RIF can
avoid paying attention to the details of BNodes by thinking of RDF as
simply a fragment of FOL and BNodes as a constrained syntax for
existential variables.
-- Sandro
Received on Wednesday, 13 September 2006 15:25:49 UTC