Re: Labelled graphs

On 2012-04-16, at 13:07, Andy Seaborne wrote:
> 
> On 15/04/12 15:57, Sandro Hawke wrote:
>> On Sat, 2012-04-14 at 20:35 +0100, Andy Seaborne wrote:
>>> On 13/04/12 11:33, Steve Harris wrote:
>>>>> Read that as rdf:aaa to avoid natural language meaning.
>>>> I don't get that, but…
>>> 
>>> Natural language can be confusing.
>>> 
>>> <u>  rdf:label G .
>>> 
>>> so is<u>  labelled by G ?
>>>     "<u>  has a label of G"
>>>     "G is a label for<u>"
>>> 
>>> or is<u>  labelling G ?
>>>     "<u>  is a label for G"
>>>     "G has a label of<u>"
>>> 
>>> (sometimes it does not matter -- e.g. sameValue).
>>> 
>>> "labelled graphs" is more of the style"<u>  is a label of G".
>>> 
>>> All that is needed as the most basic building block is a neutral
>>> association of (<u>, G) and that within a dataset (<ui>, Gi) is
>>> functional from<ui>  to Gi : given a label, find the associated graph.
>> 
>> With these looser semantics, I don't think it needs to be functional.
>> Rather, I think we can define it as labeling the associated graph and
>> each of its subgraphs.
>> 
>> There would be some kind of deep equivalence between these two datasets:
>> 
>> D1:
>>    <u>  {<a>  <b>  1 }
>>    <u>  {<a>  <b>  2 }
>> and
>> D2:
>>    <u>  {<a>  <b>  1,2 }
>> 
>> The SPARQL semantics might written in terms of a normal form, where a
>> term is only used as a label once, but the other forms would be valid in
>> trig and in the RDF Semantics.
> 
> In earlier threads, the proposal was that a TriG document had one graph per label but (syntax) it may be split into separate sections for practical reasons.

That matches my intuition about what 

> <u>  {<a>  <b>  1 }
> <u>  {<a>  <b>  2 }

Is trying to express.

- Steve

-- 
Steve Harris, CTO
Garlik, a part of Experian
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203  http://www.garlik.com/
Registered in England and Wales 653331 VAT # 887 1335 93
Registered office: Landmark House, Experian Way, Nottingham, Notts, NG80 1ZZ

Received on Monday, 16 April 2012 12:14:27 UTC