- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Fri, 18 Oct 2013 09:57:45 -0400
- To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- CC: public-rdf-wg@w3.org
Oh, thanks. I was going by the 2004 manifest in the hg repository which has
it the other way around.
I think that the test should be modified so as not to have FALSE as a premise,
as that's not an RDF graph, and the comments on the test say
From an inconsistent graph, any entailment can be drawn. This is an example.
I'll make the change in the current setup to use instead a truely inconsistent
graph.
peter
On 10/18/2013 09:44 AM, Antoine Zimmermann wrote:
> The file that has "rdf:type rdf:type rdf:type" is used as a conclusion file,
> not a premise file.
>
> The table in http://www.w3.org/TR/rdf-testcases/ mentions:
>
> premise file: FALSE
> conclusion file: rdfs-entailment/test002.nt
>
> It's obviously a positive entailment.
> However, i don't think we should have tests that have FALSE as a premise file.
>
>
>
> AZ
>
> Le 18/10/2013 15:27, Peter F. Patel-Schneider a écrit :
>> Hi:
>>
>> On further examination of the -Semantics test suite, I am having
>> problems figuring out why
>> /rdf:type rdf:type rdf:type .
>> /is RDFS-inconsistent.
>>
>> Does anyone have a rationale for this?
>>
>> This shows up in the 2004 tests.
>>
>> peter
>>
>>
>>
>
Received on Friday, 18 October 2013 13:58:12 UTC