final ATermAppl positive = ATermUtils.isNot(notC) ? c : notC; clashDepends = clashDepends.union(ds, _abox.doExplanation()); _abox.setClash(Clash.atomic(this, clashDepends, positive));
final ATermAppl positive = ATermUtils.isNot(notC) ? c : notC; clashDepends = clashDepends.union(ds, _abox.doExplanation()); _abox.setClash(Clash.atomic(this, clashDepends, positive));
for (final ATermAppl c : x.getTypes()) ds = ds.union(x.getDepends(c), _abox.doExplanation()); _abox.setClash(Clash.atomic(x, ds));
for (final ATermAppl c : x.getTypes()) ds = ds.union(x.getDepends(c), _abox.doExplanation()); _abox.setClash(Clash.atomic(x, ds));
clashDepends = clashDepends.union(ds, _abox.doExplanation()); clashDepends = clashDepends.copy(_abox.getBranchIndex()); _abox.setClash(Clash.atomic(this, clashDepends, positive));
clashDepends = clashDepends.union(ds, _abox.doExplanation()); clashDepends = clashDepends.copy(_abox.getBranchIndex()); _abox.setClash(Clash.atomic(this, clashDepends, positive));
final Clash clash = _abox.isClosed() ? _abox.getClash() : Clash.atomic(node, clashDepends, d); _logger.fine("CLASH: Branch " + getBranchIndexInABox() + " " + clash + "!" + " " + clashDepends.getExplain()); _abox.setClash(Clash.atomic(node, clashDepends.union(ds, _abox.doExplanation()), positive)); _abox.setClash(Clash.atomic(node, clashDepends.union(ds, _abox.doExplanation())));
final Clash clash = _abox.isClosed() ? _abox.getClash() : Clash.atomic(node, clashDepends, d); _logger.fine("CLASH: Branch " + getBranchIndexInABox() + " " + clash + "!" + " " + clashDepends.getExplain()); _abox.setClash(Clash.atomic(node, clashDepends.union(ds, _abox.doExplanation()), positive)); _abox.setClash(Clash.atomic(node, clashDepends.union(ds, _abox.doExplanation())));