OWL Candidate Rec. Exit Criteria

OWL Test Results show we're pretty much there:

1. dependency on RDF Core specs, esp. RDF Semantics:

   10 Oct drafts look good so far

2. two complete OWL Lite consistency checkers:

   candidates include Hoolet and Pellet.

3. Each test (except the extra credit tests) is demonstrated to be passed by some implementation:

   DONE

4. two reasoners implementing (different) substantial subsets of OWL DL:

   candidates include Cerebra, Jena2, Pellet, WonderWeb

5. two reasoners implementing useful subsets of OWL Full and passing at least 80% of the postive entailment tests:

   candidates include Euler, Jena2, Pellet

6. two owl syntax checkers passing all tests:

   candidates include OWLP, Pellet, WonderWeb, and Jena2