W3C home > Mailing lists > Public > semantic-web@w3.org > May 2020

Re: defining the semantics of lists

From: Patrick J Hayes <phayes@ihmc.us>
Date: Mon, 18 May 2020 18:43:48 -0500
Message-ID: <2DF6B6F6-E640-4699-82B0-0F719A12535C@ihmc.us>
CC: Cory Casanave <cory-c@modeldriven.com>, Semantic Web <semantic-web@w3.org>
To: thomas lörtsch <tl@rat.io>

> On May 18, 2020, at 5:55 PM, thomas lörtsch <tl@rat.io> wrote:
>>> ...
>>>> Yes, that ability – to say explicitly, in the data, that a certain set of data is complete wrt some kinds of information – would enable closed worlds to be reasoned about in an open-world reasoning framework. It is not easy to see how to do this, however. I have thought about this on and off for about a decade or more, and have not come up with a workable general way to do it. 
>>> Would very fine grained Named Graphs (*) help? Rather Named Triples that can be grouped to Graphs in arbitrary ways (virtual/nested/overlapping/fluid Named Graphs if you want). May no scale super well but let’s not do early optimization. 
>> I do not follow what you mean here by ‘fine grained'. Named graphs would certainly help, indeed are arguably essential. 
> I mean defining triple per triple to what graph it belongs. That way you can have arbitrarily nested and overlapping graphs - which you’ll need when you put all sorts of information (like closedness, provenance, context etc etc) in the graph layer

? But any triple can be in any number of graphs. If a million people are using DBpedia, then there are probably some RDF triples that in thousands of graph documents at any given moment. 


Received on Monday, 18 May 2020 23:44:10 UTC

This archive was generated by hypermail 2.4.0 : Monday, 18 May 2020 23:44:11 UTC