/** * @return true if this ABox is consistent. Consistent ABox means after applying all the tableau completion rules at least one _branch with no clashes was * found */ @Override public boolean isConsistent() { boolean isConsistent = false; checkAssertedClashes(); isConsistent = isConsistent(Collections.emptySet(), null, false); if (isConsistent) { // put the BOTTOM concept into the _cache which will // also put TOP in there _cache.putSat(ATermUtils.BOTTOM, false); assert isComplete() : "ABox not marked complete!"; } return isConsistent; }
/** * @return true if this ABox is consistent. Consistent ABox means after applying all the tableau completion rules at least one _branch with no clashes was * found */ @Override public boolean isConsistent() { boolean isConsistent = false; checkAssertedClashes(); isConsistent = isConsistent(Collections.emptySet(), null, false); if (isConsistent) { // put the BOTTOM concept into the _cache which will // also put TOP in there _cache.putSat(ATermUtils.BOTTOM, false); assert isComplete() : "ABox not marked complete!"; } return isConsistent; }