See oborel/obo-relations#126

We have the issue now that I can make an ontology:

P SubPropertyOf Q
P Domain C
Q Domain O
C DisjointWith O

which does not get flagged as incoherent by normal incoherency checks. Formally, every class in the above ontology is satisfiable (trivially). It's only when you have a class or instance that uses the property this becomes inconsistent/unsatisfiable.

I pinged the owlapi list to see if 'unsatisfiable' is the correct terminology UPDATE: no one seems to know