@Override public WME map(final Node node) { return WME.createDiffFrom((Individual) arg, (Individual) node, arg.getDifferenceDependency(node)); } };
@Override public WME map(final Node node) { return WME.createDiffFrom((Individual) arg, (Individual) node, arg.getDifferenceDependency(node)); } };
ds = ds.union(y.getDifferenceDependency(x), _strategy.getABox().doExplanation()); continue;
ds = ds.union(y.getDifferenceDependency(x), _strategy.getABox().doExplanation()); continue;
for (final Edge otherEdge : otherEdges) final DependencySet ds = edge.getTo().getDifferenceDependency(otherEdge.getNeighbor(otherRoot)); if (_logger.isLoggable(Level.FINE)) _logger.fine(root + " and " + otherRoot + " has " + supRole + " " + edge + " " + otherEdge); for (final Edge otherEdge : otherEdges) final DependencySet ds = edge.getTo().getDifferenceDependency(otherEdge.getNeighbor(otherRoot)); if (_logger.isLoggable(Level.FINE)) _logger.fine(root + " and " + otherRoot + " has " + supRole + " " + edge + " " + otherEdge);
for (final Edge otherEdge : otherEdges) final DependencySet ds = edge.getTo().getDifferenceDependency(otherEdge.getNeighbor(otherRoot)); if (_logger.isLoggable(Level.FINE)) _logger.fine(root + " and " + otherRoot + " has " + supRole + " " + edge + " " + otherEdge); for (final Edge otherEdge : otherEdges) final DependencySet ds = edge.getTo().getDifferenceDependency(otherEdge.getNeighbor(otherRoot)); if (_logger.isLoggable(Level.FINE)) _logger.fine(root + " and " + otherRoot + " has " + supRole + " " + edge + " " + otherEdge);
_abox.setClash(Clash.nominal(y, y.getDifferenceDependency(z).union(ds, _abox.doExplanation()))); return;
_abox.setClash(Clash.nominal(y, y.getDifferenceDependency(z).union(ds, _abox.doExplanation()))); return;
if (ds.max() > _branchIndex || ds.getBranch() > _branchIndex) throw new InternalReasonerException("Invalid ds: " + node + " != " + ind + " " + ds); if (ind.getDifferenceDependency(node) == null) throw new InternalReasonerException("Invalid difference: " + node + " != " + ind + " " + ds);
if (ds.max() > _branchIndex || ds.getBranch() > _branchIndex) throw new InternalReasonerException("Invalid ds: " + node + " != " + ind + " " + ds); if (ind.getDifferenceDependency(node) == null) throw new InternalReasonerException("Invalid difference: " + node + " != " + ind + " " + ds);
ds = ds.union(next.getDifferenceDependency(head), _strategy.getABox().doExplanation()); if (r.isFunctional()) _strategy.getABox().setClash(Clash.functionalCardinality(x, ds, r.getName()));
ds = ds.union(next.getDifferenceDependency(head), _strategy.getABox().doExplanation()); if (r.isFunctional()) _strategy.getABox().setClash(Clash.functionalCardinality(x, ds, r.getName()));