W3C home > Mailing lists > Public > semantic-web@w3.org > December 2012

Re: Well Behaved RDF - Taming Blank Nodes, etc.

From: Ivan Herman <ivan@w3.org>
Date: Fri, 14 Dec 2012 15:58:27 -0500
Cc: semantic-web@w3.org, Jeremy Carroll <jeremy@topquadrant.com>, aemallea@ing.puc.cl, axel.polleres@deri.org
Message-Id: <04D170E9-385B-4406-8D00-BC64729E4F00@w3.org>
To: David Booth <david@dbooth.org>

On Dec 14, 2012, at 15:42 , David Booth wrote:

> On Thu, 2012-12-13 at 15:14 -0500, Ivan Herman wrote: 
> [ . . . ]
>> I think it would still be better to explain these things in a syntax
>> independent way. After all, I may want to use JSON-LD or RDFa...
>> 
>> Distilling the various mails and concentrating on bnodes only, what
>> seems to be the pattern is 
>> 
>> - bnodes can appear in at most one triple as an object
>> - there can be no cycle in the graphs involving bnodes
>> 
>> Would that suffice as a more formal definition?
> 
> As of today I think that would suffice, though I'm unsure of the details
> of how the "no bnode cycles" constraint should be formalized.  Perhaps
> Jeremy Carroll or one of the authors of 
> http://web.ing.puc.cl/~marenas/publications/iswc11.pdf
> could comment.  
> 

I do not know about Jeremy... But isn't it enough to say:

'if (a,b,c,...,x) is a cycle in the graph, then at least one of the resources in the cycle must be a URI reference?'

By taking that node as a 'top' level in Turtle (or similar) the rest of the cycle can be put into a

A [
    p q r.
    u p A.
]

form or equivalent.

The interesting question is whether, for example, canonicalization becomes easier and, mainly, deterministic with such graphs. My hunch says yes, because it is probably possible to create a canonical turtle file (for each cycle, take the lexicographically minimal URIRef as the top level, etc). That may be an interesting point on these well behaved RDF-s

Ivan


> But Turtle currently does not allow inverse property notation:
> http://www.w3.org/2011/rdf-wg/track/issues/95
> If that feature were added and the syntax independent definition were
> still going to track what can be expressed in Turtle without explicit
> bnodes, then the definition would get more complex.
> 
> 
> -- 
> David Booth, Ph.D.
> http://dbooth.org/
> 
> Opinions expressed herein are those of the author and do not necessarily
> reflect those of his employer.
> 
> 


----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
FOAF: http://www.ivan-herman.net/foaf.rdf







Received on Friday, 14 December 2012 20:59:04 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:38 UTC