public Individual createFreshIndividual(final Individual parent, final DependencySet ds) { final Individual ind = _abox.addFreshIndividual(parent, ds); applyUniversalRestrictions(ind); return ind; }
public Individual createFreshIndividual(final Individual parent, final DependencySet ds) { final Individual ind = _abox.addFreshIndividual(parent, ds); applyUniversalRestrictions(ind); return ind; }
head = _abox.addFreshIndividual(null, ds); else ds = ds.union(headDS, _abox.doExplanation());
head = _abox.addFreshIndividual(null, ds); else ds = ds.union(headDS, _abox.doExplanation());