code: @Override
      public boolean isConsistent() throws ReasonerInterruptedException,
              TimeOutException {
          au.csiro.ontology.Node bottom = getTaxonomy().getBottomNode();
          return bottom.getEquivalentConcepts().isEmpty();
      }
docs: Inconsistent Ontology - this occurs when the axioms in an ontology
  contain a contradiction which prevents the ontology from having a model,
  e.g., when the ontology asserts that an individual belongs to an
  unsatisfiable concept.
  
  
  Determines if the set of reasoner axioms is consistent. Note that this
  method will NOT throw an
  {@link org.semanticweb.owlapi.reasoner.InconsistentOntologyException}
  even if the root ontology imports closure is inconsistent.
  
  @return <code>true</code> if the imports closure of the root ontology is
  consistent, or <code>false</code> if the imports closure of the
  root ontology is inconsistent.
  
  @throws ReasonerInterruptedException
  if the reasoning process was interrupted for any particular
  reason (for example if reasoning was cancelled by a client
  process).
  @throws TimeOutException
  if the reasoner timed out during a basic reasoning operation.
  See {@link #getTimeOut()}.