@Override public void initialize(final Expressivity expressivity) { _mergeList.clear(); _mnx.add(null); // add a null entry so Branch._branch _index will match with the _index in this array assert _abox.size() == 1 : "This strategy can only be used with originally empty ABoxes"; _blocking = BlockingFactory.createBlocking(expressivity); final Individual root = _abox.getIndIterator().next(); applyUniversalRestrictions(root); _selfRule.apply(root); _mayNeedExpanding.add(root); _abox.setBranchIndex(1); _abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true); }
@Override public void initialize(final Expressivity expressivity) { _mergeList.clear(); _mnx.add(null); // add a null entry so Branch._branch _index will match with the _index in this array assert _abox.size() == 1 : "This strategy can only be used with originally empty ABoxes"; _blocking = BlockingFactory.createBlocking(expressivity); final Individual root = _abox.getIndIterator().next(); applyUniversalRestrictions(root); _selfRule.apply(root); _mayNeedExpanding.add(root); _abox.setBranchIndex(1); _abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true); }
_consistent = kb._consistent; _abox.setComplete(true);
_consistent = kb._consistent; _abox.setComplete(true);
_abox.setComplete(true); return; _abox.setComplete(true); break; _abox.setClash(null); else _abox.setComplete(true);
_abox.setComplete(true); return; _abox.setComplete(true); break; _abox.setClash(null); else _abox.setComplete(true);
_abox.setClash(null); else _abox.setComplete(true); _abox.setComplete(true); _abox.setComplete(true);
_abox.setClash(null); else _abox.setComplete(true); _abox.setComplete(true); _abox.setComplete(true);
_abox.setComplete(true); _abox.setComplete(true); _abox.setComplete(true);
_abox.setComplete(true); _abox.setComplete(true); _abox.setComplete(true);
_abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);
_abox.getStats()._treeDepth = 1; _abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);
_abox.setComplete(false); _abox.setInitialized(true);
_abox.setComplete(false); _abox.setInitialized(true);