[OWLAPI-developer] OWL Reasoners

[<phi...@ne...>]

Another beginner question I am afraid. 

I have created an ontology and want to reason over it. I have created
the simple ontology like so:

Class: a
Class: b

Class: c
       SubClassOf: a, b


Next I add a disjoint statement between a and b, which should result in
an inconsistent ontology. But I always get true from
OWLReasoner.isConsistent. Elk appears to be running, as far as I can
tell. 

So, my questions: first, I have been trying out Elk, because it appears
to be the only reasoner in a maven repo; are there any others I have
missed? Have pellet or hermit been maven'd anywhere? I'd like to see if
they do the same.

Second, am I doing something really dumb? Always a strong possibility, I
have found. 

I have attached Test.java which runs stuff and test.omn which *should*
be inconsistent (and is in protege). 

Thanks in advance!

Phil