W3C home > Mailing lists > Public > public-webont-comments@w3.org > September 2003

Jena2 OWL semantic tests - preliminary results

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Wed, 24 Sep 2003 16:09:15 +0100
Message-ID: <3F71B39B.7030909@hplb.hpl.hp.com>
To: public-webont-comments@w3.org
Cc: sandro@w3.org, jena-devel <jena-devel@lists.sourceforge.net>

I've made the results from running the current approved OWL semantic tests using 
the current CVS version of Jena2 available here:

These are automated tests. Given the earlier discussion on tests with reduced 
comprehension support then we've added a simple query processor which implements 
the comprehensions required for the query. No manual intervention is required.

Note that the rule-based OWL inference support in Jena2 is only aimed at 
OWL/Lite so tests that require OWL/DL features such as complementOf and unionOf 
have not been included (we do include incomplete support for oneOf and hasValue 
due to user requests).

Of the relevant positive entailment tests we are incomplete on four tests:
   description-logic 661 & 662
   I5.2-006 (defining union within OWL-lite)
   I5.8-010 (0 is the only nonNegative and nonPositive integer)
The latter failure could be remedied.

The negative entailment tests are reported as passing in the weak sense that we 
do not find the entailment. These should probably be reported as incomplete 
rather than pass.

Received on Wednesday, 24 September 2003 11:25:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:29 UTC