Re: rdf semantics test suite setup

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