Re: Issue-12 and the next UCR draft

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/