Re: PROV-ISSUE-479: cite TriG for examples [Ontology]

On Aug 14, 2012, at 20:21 , Provenance Working Group Issue Tracker wrote:

> PROV-ISSUE-479: cite TriG for examples [Ontology]
> 
> http://www.w3.org/2011/prov/track/issues/479
> 
> Raised by: Timothy Lebo
> On product: Ontology
> 
> The syntax used in the examples should be mentioned (it is TriG http://www4.wiwiss.fu-berlin.de/bizer/trig/).
> 
> 
> Per Graham in email http://www.w3.org/mid/5023A271.90500@ninebynine.org :
> 
> 
> Ref: http://www.w3.org/TR/2012/WD-prov-o-20120724/
> 
> (Currently, I'm posing this as a question I need to understand order to reason coherently about aspects of provenance expressed in RDF, but I may also raise it as a formal issue.)
> 
> I can't see a specification or citation for the syntax used for examples in PROV-O.
> 
> This may seem like a trivial point, but I think it's a serious omission.  In particular, I'm trying to interpret how the mentionOf and bundle structure plays out when represented in RDF and, while I can make guesses, that's not a sound basis for interpretation.
> 
> Most of the examples appear to conform with Turtle (http://www.w3.org/TeamSubmission/turtle/), but there are some (e.g. http://www.w3.org/TR/2012/WD-prov-o-20120724/#Bundle) that do not.

As I put in one of my earlier comments, it is probably wise to refer to the current RDF WG Working Draft, too, in the references:

http://www.w3.org/TR/turtle/

Turtle is currently in Last Call. It may not win the race and become a Rec before Prov does, but citing it at least as a work in progress makes a lot of sense. (And, who knows, Turtle might become Rec earlier.)

The TriG stuff is clearly not yet there and therefore the ...#Bundle is indeed illegal syntax.

> 
> Because such examples given go beyond the current structure expressible as an RDF graph, I think some explanation should be provided about how these should be interpreted as RDF.  (E.g. "<id> { <turtle expression> }" could be presented as an RDF document on the web at URI "<id>".  If this reflects what is intended, then I think some further comment is needed about when it is valid to merge these graphs, or what kinds of cross-bundle inferences are possible, because the PROV-O ontology alone can't express any of that.)
> 

I am not sure it is worth going down that route. For those one or two examples I think, for the time being, referring to TriG should be fine. I cannot predict whether the RDF WG may come up with a syntax in time; I would not bet on it...

Ivan



> (Most of this "processing model" concern goes away if we drop mentionOf.  But in order to understand how mentionOf plays out in the RDF representation of provenance, as described by the OWL ontology, I need to understand these details.)
> 
> #g
> --
> 
> 
> 
> 
> 
> 


----
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 Thursday, 16 August 2012 09:49:03 UTC