Re: rdf semantics test suite setup

Interesting tests.   Implementers of RDF reasoners should check to see
whether their system passes these tests.

The manifest file needs to have some .nt extensions changed to .ttl, I
think.

I would be interested in seeing why having only one property leads to an
inconsistency.  All the other tests are correct, I think.

peter



On Wed, Oct 2, 2013 at 8:44 AM, Antoine Zimmermann <
antoine.zimmermann@emse.fr> wrote:

> I uploaded new test cases (to be approved or disapproved).
>
> The manifest is at:
>
> https://dvcs.w3.org/hg/rdf/**file/c1f078332a11/rdf-mt/**
> tests/manifest-az.ttl<https://dvcs.w3.org/hg/rdf/file/c1f078332a11/rdf-mt/tests/manifest-az.ttl>
>
>
> The files are at:
>
> https://dvcs.w3.org/hg/rdf/**file/c1f078332a11/rdf-mt/**tests/az-tests<https://dvcs.w3.org/hg/rdf/file/c1f078332a11/rdf-mt/tests/az-tests>
>
>
>
> AZ.
>
>
> Le 02/10/2013 01:35, Peter Patel-Schneider a écrit :
>
>  I changed the manifest test file to include the entailment regimes and
>> recognized and unrecognized datatypes.  I also changed the tests that
>> needed to be changed due to the new way of handling ill-formed literals.
>>
>>    mf:entailmentRegime "RDFS" ;
>>    mf:recognizedDatatypes ( ) ;
>>    mf:unrecognizedDatatypes ( xsd:integer ) ;
>>
>> says that this test is an RDFS test that doesn't need any recognized
>> datatypes but can't have xsd:integer as a recognized datatype.
>>
>> peter
>>
>>
>>
>> On Tue, Oct 1, 2013 at 3:30 PM, Peter Patel-Schneider <
>> pfpschneider@gmail.com> wrote:
>>
>>
>>>
>>>
>>> On Sat, Sep 28, 2013 at 6:08 PM, Gregg Kellogg <gregg@greggkellogg.net
>>> >wrote:
>>>
>>>  On Sep 26, 2013, at 4:09 AM, Sandro Hawke <sandro@w3.org> wrote:
>>>>
>>>>  The 2004 test suite is described and enumerated here:
>>>>>
>>>> http://www.w3.org/TR/rdf-**testcases/#testcases<http://www.w3.org/TR/rdf-testcases/#testcases>
>>>>
>>>>>
>>>>> I've copied the tests themselves (the contents of the last test zipfile
>>>>>
>>>> generated) to mercurial, at
>>>> https://dvcs.w3.org/hg/rdf/**file/default/rdf-mt/tests/**
>>>> 2004-test-suite<https://dvcs.w3.org/hg/rdf/file/default/rdf-mt/tests/2004-test-suite>
>>>>
>>>> I created a script to generate a 2013-formatted manifest from the
>>>> Positive and NegativeEntailmentTests in the 2004-test-suite and copy the
>>>> referenced files into
>>>> https://dvcs.w3.org/hg/rdf/**file/default/rdf-mt/tests<https://dvcs.w3.org/hg/rdf/file/default/rdf-mt/tests>,
>>>> including
>>>> transforming those in RDF/XML format to Turtle.
>>>> [...]
>>>>
>>>>
>>>> I also did not copy test:entailmentRules or test:datatypeSupport, as
>>>> they
>>>> seem to be purely infomational. Again, we could mint new predicates in
>>>> the
>>>> mf: namespace and transform those as well.
>>>>
>>>>
>>> These are not informational, but they do need to be updated to entailment
>>> regimes instead of rule sets.   Different entailment regimes have
>>> different
>>> results.
>>>
>>> I'll add the entailment regime information (using a new property) and
>>> make
>>> necessary changes.
>>>
>>> peter
>>>
>>>
>>>
>>
> --
> Antoine Zimmermann
> ISCOD / LSTI - Institut Henri Fayol
> École Nationale Supérieure des Mines de Saint-Étienne
> 158 cours Fauriel
> 42023 Saint-Étienne Cedex 2
> France
> Tél:+33(0)4 77 42 66 03
> Fax:+33(0)4 77 42 66 66
> http://zimmer.**aprilfoolsreview.com/<http://zimmer.aprilfoolsreview.com/>
>
>