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:


  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