for (final Edge edge : edges) ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _abox.doExplanation()); ds = ds.union(edge.getDepends(), _abox.doExplanation()); final Node node = edge.getNeighbor(this);
for (final Edge edge : edges) ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _abox.doExplanation()); ds = ds.union(edge.getDepends(), _abox.doExplanation()); final Node node = edge.getNeighbor(this);
finalDS = finalDS.union(s.getExplainSubOrInv(pred).getExplain(), true);
finalDS = finalDS.union(s.getExplainSubOrInv(pred).getExplain(), true);
finalDS = finalDS.union(s.getExplainSubOrInv(pred), _strategy.getABox().doExplanation()); if (roleChain.isEmpty()) applyAllValues(subj, s, obj, c, finalDS);
finalDS = finalDS.union(s.getExplainSubOrInv(pred), _strategy.getABox().doExplanation()); if (roleChain.isEmpty()) applyAllValues(subj, s, obj, c, finalDS);
final DependencySet subDS = r.getExplainSubOrInv(edgeRole); ds = ds.union(subDS, _strategy.getABox().doExplanation()); ds = ds.union(edge.getDepends(), _strategy.getABox().doExplanation());
final DependencySet subDS = r.getExplainSubOrInv(edgeRole); ds = ds.union(subDS, _strategy.getABox().doExplanation()); ds = ds.union(edge.getDepends(), _strategy.getABox().doExplanation());
ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _strategy.getABox().doExplanation()); break; ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _strategy.getABox().doExplanation());
final DependencySet subDS = s.getExplainSubOrInv(edgeRole); finalDS = finalDS.union(subDS.getExplain(), true); finalDS = finalDS.union(s.getExplainSubOrInv(edgeToY.getRole()), true);
final DependencySet subDS = s.getExplainSubOrInv(edgeRole); finalDS = finalDS.union(subDS.getExplain(), true); finalDS = finalDS.union(s.getExplainSubOrInv(edgeToY.getRole()), true);
ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _strategy.getABox().doExplanation()); break; ds = ds.union(r.getExplainSubOrInv(edge.getRole()), _strategy.getABox().doExplanation());