Re: rdf semantics test suite setup

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


The files are at:

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
>>>>
>>>> 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
>>>
>>> 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, 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/

Received on Wednesday, 2 October 2013 15:45:11 UTC