Entailment tests to approve

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 UTC