Re: Proposed Dataset negative entailment test

On Oct 2, 2013, at 11:41 PM, Pat Hayes <phayes@ihmc.us> wrote:

> I think that the only entailment test we should have for datasets, if we have any at all, is the positive one, that 
> 
> [ :a :p :b .
> :foo { :c :q :d .} ]
> 
> (simply) entails
> 
> {:a :p :b }
> 
> If we start having negative ones there will be too many to cite, and there is really no point, since anything beyond entailing the default graph is not sanctioned by the basic RDF specs. And that only in a kind of informal sketchy way. 

That's fine with me, I just thought we should say something about datasets. However, as I understand it, this would also allow an implementation which did broader dataset entailment (I.e., that the premise dataset entails itself, since a graph always entails its own sub-graph), which would exceed whatever dataset entailment semantics _are_ provided for in semantics. If the opinion of the experts is that this kind of test isn't warranted, then I can live with that.

Gregg

> Pat
> 
> On Oct 2, 2013, at 10:59 AM, Gregg Kellogg wrote:
> 
>> As I discussed on the call today, it might be useful to have a negative entailment test for dataset semantics. Recognizing that there are no semantics defined for datasets (or that the semantics of datasets are those of it's default graph), we might consider the following NegativeEntailmentTest:
>> 
>> Premise:
>> 
>> @prefix rdfs: <> .
>> :foo a :bar .
>> <> { :bar rdfs:subClassOf :baz }
>> 
>> Consequent (should not entail this)
>> 
>> @prefix rdfs: <> .
>> :foo a :bar, :baz .
>> <> { :bar rdfs:subClassOf :baz }
>> 
>> There are two ways you might come across this: The first is that when loading a dataset and expecting a graph, the document should be interpreted as being just it's default graph. In this case, if the meaning of NegativeEntailmentTest is to have a premise and consequent _graph_, then it would be wrong to fold the content of the named graph into the default graph.
>> 
>> The second is that we use something such as a NegativeDatasetEntailmentGraph, where premise and consequent are both datasets. In this case, an interpretation is that the semantics of a dataset are those of it's default graph, in which case the content of named graphs should also be ignored.
>> 
>> Having no tests for datasets, positive or negative, does not provide anything useful for implementers, particularly those that may naively assume that such interpretations are reasonable according to 2013 semantics.
>> 
>> Gregg Kellogg
>> gregg@greggkellogg.net
>> 
>> 
>> 
> 
> ------------------------------------------------------------
> IHMC                                     (850)434 8903 home
> 40 South Alcaniz St.            (850)202 4416   office
> Pensacola                            (850)202 4440   fax
> FL 32502                              (850)291 0667   mobile (preferred)
> phayes@ihmc.us       http://www.ihmc.us/users/phayes
> 
> 
> 
> 
> 
> 

Received on Thursday, 3 October 2013 16:00:09 UTC