return getTaxonomyBuilder().getToldDisjoints();
}
public void ensureConsistency() {
if( !isConsistent() )
throw new InconsistentOntologyException(
"Cannot do reasoning with inconsistent ontologies!\n" +
"Reason for inconsistency: " + getExplanation() +
(PelletOptions.USE_TRACING ? "\n" + renderExplanationSet() : "" ));
}