/** * @return true if we can use incremental consistency checking */ protected boolean canUseIncConsistency() { // can we do incremental consistency checking final Expressivity expressivity = _expChecker.getExpressivity(); if (expressivity == null) return false; return !(expressivity.hasNominal() && expressivity.hasInverse())// && getRules().isEmpty() // && !isTBoxChanged() // && !isRBoxChanged() // && _abox.isComplete() // && OpenlletOptions.USE_INCREMENTAL_CONSISTENCY // // support additions only; also support deletions with or with additions, however tracing must be on to support incremental deletions && (!_changes.contains(ChangeType.ABOX_DEL) || OpenlletOptions.USE_INCREMENTAL_DELETION); }
/** * @return true if we can use incremental consistency checking */ protected boolean canUseIncConsistency() { // can we do incremental consistency checking final Expressivity expressivity = _expChecker.getExpressivity(); if (expressivity == null) return false; return !(expressivity.hasNominal() && expressivity.hasInverse())// && getRules().isEmpty() // && !isTBoxChanged() // && !isRBoxChanged() // && _abox.isComplete() // && OpenlletOptions.USE_INCREMENTAL_CONSISTENCY // // support additions only; also support deletions with or with additions, however tracing must be on to support incremental deletions && (!_changes.contains(ChangeType.ABOX_DEL) || OpenlletOptions.USE_INCREMENTAL_DELETION); }
if (_abox.isComplete()) if (_changes.contains(ChangeType.TBOX_DEL) || _changes.contains(ChangeType.RBOX_DEL) || !_canUseIncConsistency && _changes.contains(ChangeType.ABOX_DEL)) _abox.reset();
if (_abox.isComplete()) if (_changes.contains(ChangeType.TBOX_DEL) || _changes.contains(ChangeType.RBOX_DEL) || !_canUseIncConsistency && _changes.contains(ChangeType.ABOX_DEL)) _abox.reset();
while (!_abox.isComplete() && !_abox.isClosed())
while (!_abox.isComplete() && !_abox.isClosed())
while (!_abox.isComplete())
while (!_abox.isComplete())
while (!_abox.isComplete())
while (!_abox.isComplete())
assertTrue(copyKB.getABox().isComplete());