_strategy.getABox().setClash(Clash.maxCardinality(x, ds, r.getName(), 0)); return false; _strategy.getABox().setClash(Clash.maxCardinality(x, ds)); return false; _strategy.getABox().setClash(Clash.maxCardinality(x, ds.union(dsEdges, _strategy.getABox().doExplanation()), r.getName(), k)); else _strategy.getABox().setClash(Clash.maxCardinality(x, ds.union(dsEdges, _strategy.getABox().doExplanation())));
_strategy.getABox().setClash(Clash.maxCardinality(x, ds, r.getName(), 0)); return false; _strategy.getABox().setClash(Clash.maxCardinality(x, ds)); return false; _strategy.getABox().setClash(Clash.maxCardinality(x, ds.union(dsEdges, _strategy.getABox().doExplanation()), r.getName(), k)); else _strategy.getABox().setClash(Clash.maxCardinality(x, ds.union(dsEdges, _strategy.getABox().doExplanation())));
_abox.setClash(Clash.maxCardinality(_ind, ds, _r.getName(), _n)); else _abox.setClash(Clash.maxCardinality(_ind, ds));
_abox.setClash(Clash.maxCardinality(_ind, ds, _r.getName(), _n)); else _abox.setClash(Clash.maxCardinality(_ind, ds));
_abox.setClash(Clash.functionalCardinality(x, ds, r.getName())); else _abox.setClash(Clash.maxCardinality(x, ds, r.getName(), 1));
_abox.setClash(Clash.functionalCardinality(x, ds, r.getName())); else _abox.setClash(Clash.maxCardinality(x, ds, r.getName(), 1));
_strategy.getABox().setClash(Clash.functionalCardinality(x, ds, r.getName())); else _strategy.getABox().setClash(Clash.maxCardinality(x, ds, r.getName(), 1));
_strategy.getABox().setClash(Clash.functionalCardinality(x, ds, r.getName())); else _strategy.getABox().setClash(Clash.maxCardinality(x, ds, r.getName(), 1));