Re: Test suite status

On Mittwoch, 9. September 2009, Evren Sirin wrote:
> I'd like to point out one proposed test case we encountered during
> testing. There is only one system passing the test case so it doesn't
> meet the approval criteria but I think it should be rejected directly
> because it violates the OWL DL restrictions on axioms. The test case
> in question is New-Feature-TopDataProperty-001 [1]. The ontology in
> this test uses topDataProperty in a DataSomeValuesFrom restriction.
> This violates the restriction on axiom closure [2] which says
> topDataProperty can only be used in a SubDataPropertyOf axiom.

Right. I have followed your suggestion and rejected this test now. Updated 
test case exports will be available tomorrow.

Regards,

Markus

>
> Best,
> Evren
>
> [1]
> http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/New-Feature-Top
>DataProperty-001 [2]
> http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#The_Restrictions_on_the_
>Axiom_Closure
>
>
>
> On Wed, Sep 9, 2009 at 6:00 AM, Ian Horrocks
>
> <ian.horrocks@comlab.ox.ac.uk> wrote:
> > Hi Markus,
> >
> > Thanks for taking care of this -- the test results look pretty
> > impressive.
> >
> > As far as proposed tests are concerned, we have generally been accepting
> > any test that passes the basic "eyeball" test and that is successfully
> > passed by two implementations. If you can send round a list of proposed
> > test that fall into this category then I think that it is reasonable to
> > promote them to approved status unless there is a positive objection.
> >
> > Thanks,
> > Ian
> >
> > On 9 Sep 2009, at 09:19, Markus Krötzsch wrote:
> >> After recent updates, the test suite now is in good shape regarding
> >> accepted
> >> tests [1]. There are still a number of proposed tests which have had
> >> that status for quite a while. I have created an overview of all these
> >> tests to visualize our current coverage:
> >>
> >> http://www.w3.org/2007/OWL/wiki/Test_Suite_Status#Proposed_tests
> >>
> >> Unfortunately, there are still some errors in the reports (e.g. I have
> >> positive reports for CEL and FaCT++ for tests that are only applicable
> >> under
> >> RDF-based semantics). So some rows in that section are greener than they
> >> should be, but most of them should be accurate.
> >>
> >> Many of the proposed tests are already covered by two or more
> >> implementations,
> >> and thus could probably be accepted easily. Since there is no next
> >> telecon scheduled so far, I hope we could do this via email -- I can
> >> compile a list of
> >> tests that seem to be ready.
> >>
> >> Regards,
> >>
> >> Markus
> >>
> >> [1] http://www.w3.org/2007/OWL/wiki/Test_Suite_Status
> >>
> >> --
> >> Markus Krötzsch
> >> Institute AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
> >> phone +49 (0)721 608 7362           fax +49 (0)721 608 5998
> >> mak@aifb.uni-karlsruhe.de           www  http://korrekt.org
> >> http://semantic-web-book.org  http://semantic-mediawiki.org


-- 
Markus Krötzsch
Institute AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362           fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de           www  http://korrekt.org
http://semantic-web-book.org  http://semantic-mediawiki.org