W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2003

Jena implementation report plans

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 04 Sep 2003 14:03:38 +0100
Message-ID: <3F57382A.3090300@hplb.hpl.hp.com>
To: www-webont-wg@w3.org
Cc: der@hplb.hpl.hp.com



Dan Connolly wrote:

> ACTION: Jeremy - Will ask Dave Reynolds re reasoner status over useful
> subsets of OWL Full.

Hi
I have discussed our plans with Dave Reynolds.
(Dave - please correct any errors in this message)

We are unlikely to provide a formal report before Sept 20.

We are planning to provide two separate reports, hopefully before the end 
of Sept.

One report will be for our OWL Syntax Checker, another will be for the OWL 
Reasoning.

For both components we are currently migrating from the LC specs to the CR 
ones.

For the syntax checker, we are not planning to implement the feature at 
risk during the CR phase.

For semantics we aim mainly at passing the easier (smaller) entailment 
tests, and to pass the non-entailment tests to the extent of not finding 
the entailment (we do not prove the non-entailment). We do not have an 
implementation of the comprehension axioms.

We do not have a component directly corresponding to an OWL Consistency 
Checker.

In the next few days, we plan to make a comment concerning the 
comprehension asioms, suggesting that more tests should be added to permit 
testing the semantics of some features without testing the comprehension 
axioms. (We already have modified forms of some of the tests which we could 
contribute to the test suite).

Jeremy
Received on Thursday, 4 September 2003 09:43:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:02 GMT