for (final DependencySet typeDep : n.getDepends().values()) ds = ds.union(typeDep, _strategy.getABox().doExplanation()); _strategy.getABox().setClash(Clash.invalidLiteral(ind, ds));
for (final DependencySet typeDep : n.getDepends().values()) ds = ds.union(typeDep, _strategy.getABox().doExplanation()); _strategy.getABox().setClash(Clash.invalidLiteral(ind, ds));
reportClash(Clash.invalidLiteral(this, getDepends(_name), getTerm())); return;
reportClash(Clash.invalidLiteral(this, getDepends(_name), getTerm())); return;