W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2012

Entailment tests to approve

From: Birte Glimm <birte.glimm@uni-ulm.de>
Date: Mon, 10 Dec 2012 19:56:12 +0100
Message-ID: <CABt65Ocs2cJqTDpZf6bq3veKwHVhOP280iXNOrAD+C-nUMWxiQ@mail.gmail.com>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
Hi all,

last week we got several additional implementation reports (thanks to
Olivier, Jeff, and Michael who provided even 4 reports for 4 different
profiles, which can hopefully be integrated once a few EARL syntax
problems are fixed). I attach a list of not yet approved tests that
are now passed by at least two implementations, so we can approve
them.

Apart from the RIF tests, we still have three tests that are only
passed by one implementation:
#parent7 (OWL Direct Semantics, OWL DL)
#parent8 (OWL Direct Semantics, OWL DL)
#sparqldl-12 (OWL Direct&RDF-Based Semantics, OWL DL/OWL Full)

Cheers,

Birte

Tests to approve:

#paper-sparqldl-Q3
#parent10
#parent3
#parent4
#parent5
#parent6
#parent9
#rdf01
#rdf02
#rdf03
#rdfs01
#simple1
#simple2
#simple3
#simple4
#simple5
#simple6
#simple7
#simple8
#sparqldl-10
#sparqldl-11
#sparqldl-13


-- 
Jun. Prof. Dr. Birte Glimm            Tel.:    +49 731 50 24125
Inst. of Artificial Intelligence         Secr:  +49 731 50 24258
University of Ulm                         Fax:   +49 731 50 24188
D-89069 Ulm                               birte.glimm@uni-ulm.de
Germany
Received on Monday, 10 December 2012 18:56:46 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:49 GMT