- From: Dave Reynolds <dave.e.reynolds@gmail.com>
- Date: Tue, 19 Feb 2013 09:37:08 +0000
- To: Pat Hayes <phayes@ihmc.us>
- CC: Eric Prud'hommeaux <eric@w3.org>, Markus Lanthaler <markus.lanthaler@gmx.net>, 'Andy Seaborne' <andy.seaborne@epimorphics.com>, public-linked-json@w3.org, 'RDF-WG' <public-rdf-wg@w3.org>
[Sorry if commenting here is inappropriate and no doubt this will bounce
off some of the lists. Apologies if I'm way off the mark here, not been
following the discussion in detail ...]
I wonder if you have the option to approach this from the vocabulary end
rather than than the general semantics of RDF.
Surely in RDF we rarely know what an IRI denotes. We determine that (or
at least constrain it) from the statements we make about that IRI.
On it's own we know nothing of what is denoted by:
<http://www.amberdown.net/rdf/foaf.rdf#der>
But in a graph where we see:
<http://www.amberdown.net/rdf/foaf.rdf#der> a foaf:Person;
foaf:name "Dave Reynolds" .
then we deduce that it denotes a person.
So if the presenting use case is about signing graphs then the hard and
important part is how you define this x:signature predicate.
You might have something like:
x:signature a owl:DatatypeProperty;
rdfs:domain x:GraphInDataset;
rdfs:range xsd:hexBinary;
rdfs:comment """
Indicates that there is a Dataset in which the subject is
the label of a graph which when cannonicalized using algorithm A,
serialized using algorithm B and then signed using algorithm C generates
the signature given as the value of this predicate.
If this predicate occurs within the default graph of a dataset, and if
that dataset contains a graph labelled with the subject IRI then a
processor SHOULD assume that the graph so labelled is indeed supposed to
have the given signature. In other situations the processor may only
know that there is a graph in existence with this signature but may not
have a means to obtain it.
""" .
Not saying that's a *good* definition, and there are certainly lots of
alternatives that would have different consequences. My point is that in
order to be able to state signatures of graphs in JSON-LD you need some
such definition and it's not clear to me that you need a change in RDF
semantics to make that possible.
[I'll shut up again now.]
Dave
"IRIs mean whatever I want them to mean ..."
Received on Tuesday, 19 February 2013 09:37:40 UTC