@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); }
protected DependencySet forceAddType(final ATermAppl c, final DependencySet ds) { // add to effected list if (OpenlletOptions.TRACK_BRANCH_EFFECTS && _abox.getBranchIndex() >= 0) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), getName()); // if we are checking entailment using a precompleted ABox, _abox.branch // is set to -1. however, since applyAllValues is done automatically // and the edge used in applyAllValues may depend on a _branch we want // this type to be deleted when that edge goes away, i.e. we backtrack // to a position before the max dependency of this type int b = _abox.getBranchIndex(); final int max = ds.max(); if (b == -1 && max != 0) b = max + 1; final DependencySet out = ds.copy(b); _depends.put(c, out); _abox.setChanged(true); return out; }
protected DependencySet forceAddType(final ATermAppl c, final DependencySet ds) { // add to effected list if (OpenlletOptions.TRACK_BRANCH_EFFECTS && _abox.getBranchIndex() >= 0) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), getName()); // if we are checking entailment using a precompleted ABox, _abox.branch // is set to -1. however, since applyAllValues is done automatically // and the edge used in applyAllValues may depend on a _branch we want // this type to be deleted when that edge goes away, i.e. we backtrack // to a position before the max dependency of this type int b = _abox.getBranchIndex(); final int max = ds.max(); if (b == -1 && max != 0) b = max + 1; final DependencySet out = ds.copy(b); _depends.put(c, out); _abox.setChanged(true); return out; }
_abox.setChanged(false);
_abox.setChanged(false);
_abox.setChanged(false);
_abox.setChanged(false);
_abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);
_abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);
public boolean setDifferent(final Node node, final DependencySet dsParam) { DependencySet ds = dsParam; // add to effected list if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), node.getName()); if (isDifferent(node)) return false; if (isSame(node)) { ds = ds.union(getMergeDependency(true), _abox.doExplanation()); ds = ds.union(node.getMergeDependency(true), _abox.doExplanation()); _abox.setClash(Clash.nominal(this, ds, node.getName())); if (!ds.isIndependent()) return false; } ds = ds.copy(_abox.getBranchIndex()); _differents.put(node, ds); node.setDifferent(this, ds); _abox.setChanged(true); return true; }
public boolean setDifferent(final Node node, final DependencySet dsParam) { DependencySet ds = dsParam; // add to effected list if (_abox.getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _abox.getBranchEffectTracker().add(_abox.getBranchIndex(), node.getName()); if (isDifferent(node)) return false; if (isSame(node)) { ds = ds.union(getMergeDependency(true), _abox.doExplanation()); ds = ds.union(node.getMergeDependency(true), _abox.doExplanation()); _abox.setClash(Clash.nominal(this, ds, node.getName())); if (!ds.isIndependent()) return false; } ds = ds.copy(_abox.getBranchIndex()); _differents.put(node, ds); node.setDifferent(this, ds); _abox.setChanged(true); return true; }
return null; _abox.setChanged(true); setChanged(ALL); setChanged(MAX);
return null; _abox.setChanged(true); setChanged(ALL); setChanged(MAX);
if (!y.isSame(z)) _abox.setChanged(true);
if (!y.isSame(z)) _abox.setChanged(true);
_abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);
_abox.setChanged(true); _abox.setComplete(false); _abox.setInitialized(true);