OWL Test Results show we're pretty much there:
- dependency on RDF Core specs, esp. RDF Semantics:
10 Oct drafts look good so far
- two complete OWL Lite consistency checkers:
candidates include
Hoolet and Pellet.
- Each test (except the extra credit tests) is demonstrated to be passed by some implementation:
DONE
- two reasoners implementing (different) substantial subsets of OWL DL:
candidates include Cerebra, Jena2, Pellet, WonderWeb
- two reasoners implementing useful subsets of OWL Full and passing at least 80% of the postive entailment tests:
candidates include Euler, Jena2, Pellet
- two owl syntax checkers passing all tests:
candidates include OWLP, Pellet, WonderWeb, and Jena2