Entailment tests & regrets for today

Hi all,

unfortunately, I am travelling today and can't participate in the
call. As said last week, CR seems the only resonable option for the
ent. regimes spec since many implementors have just started to run the
tests.

Regarding the other specs I don't see much harm in going first to CR,
but if others think we have sufficiently many tests and
implementations that ass the tests I am ok with skipping CR.

Regarding the entailment tests, I have added several tests to the
entailment test suite and the first implementation report for our
system SPARQLing HermiT is ready (Greg knows the URL). Below is the
list of tests that I managed to run sucessfully. I didn't yet run the
test :plainLit since my test suite parser does not yet handle tests
that have more than one entailment regime as in
:plainLit rdf:type mf:QueryEvaluationTest ;
    mf:name    "Plain literals with language tag are not the same as
the same literal without" ;
    dawgt:approval dawgt:NotClassified ;
    mf:action
         [ qt:query  <lang.rq> ;
           qt:data   <lang.ttl> ;
           sd:entailmentRegime (
              ent:OWL-Direct
              ent:OWL-RDF-Based ) ] ;
    mf:result  <lang.srx>
    .

I'll add this functionality in the next days and I'll also check which
of the OWL Direct Semantics tests give the same results under RDF(S)
and RDF-Based semantics, so that we can mark them with more entailment
regimes. It probably makes sense to wait with approving the tests
until that is done.

Birte

:owlds01
:owlds02
:paper-sparqldl-Q1
:paper-sparqldl-Q2
:paper-sparqldl-Q3
:paper-sparqldl-Q4
:paper-sparqldl-Q5
:bind01
:bind02
:bind03
:bind04
:bind05
:bind06
:bind07
:bind08
:sparqldl-01
:sparqldl-02
:sparqldl-03
:sparqldl-04
:sparqldl-05
:sparqldl-06
:sparqldl-07
:sparqldl-08
:sparqldl-09
:sparqldl-10
:sparqldl-11
:sparqldl-12
:lang
:parent2
:parent3
:parent4
:parent5
:parent6
:parent7
:parent8
:parent9
:parent10
:simple1
:simple2
:simple3
:simple4
:simple5
:simple6
:simple7
:simple8

-- 
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 Tuesday, 18 September 2012 10:26:32 UTC