- From: Evren Sirin <evren@clarkparsia.com>
- Date: Wed, 9 Sep 2009 11:29:09 -0400
- To: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Cc: mak@aifb.uni-karlsruhe.de, OWL 2 <public-owl-wg@w3.org>
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. Best, Evren [1] http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/New-Feature-TopDataProperty-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 > > >
Received on Wednesday, 9 September 2009 15:30:09 UTC