- From: Axel Polleres <axel.polleres@urjc.es>
- Date: Wed, 13 Sep 2006 17:43:03 +0200
- To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Sandro Hawke wrote: >>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. The following article clarifies this matter: Jos de Bruijn, Enrico Franconi, and Sergio Tessaris. Logical reconstruction of normative RDF. In OWL: Experiences and Directions Workshop (OWLED-2005), Galway, Ireland, November 2005. http://www.debruijn.net/publications-type/bruijn05:_logic_rdf2.html ;-) cheers, axel -- Dr. Axel Polleres email: axel@polleres.net url: http://www.polleres.net/
Received on Wednesday, 13 September 2006 15:43:22 UTC