> Nice job.
> Do you rely on pellet features specifically or just the OWLAPI
> OWLReasoner interface?
The dependence on Pellet is rather weak and mainly for the explanation
stuff - we use namely the convenience methods 'isEntailed(OWLAxiom)',
'loadOntology(OWLontology)' and 'isConsistent()' but it seems that it
would not consume much efforts to get rid of these dependencies. I think
that the next release will solve this issue.
> It would be nice if we could plug this into Protege.
Yes, I think it would be fine and useful - we already have it in our plans !