_abox.reset(); else if (_changes.contains(ChangeType.TBOX_ADD) || _changes.contains(ChangeType.RBOX_ADD))
_abox.reset(); _abox.isConsistent();
_abox.reset(); _abox.isConsistent();
_abox.reset(); else if (_changes.contains(ChangeType.TBOX_ADD) || _changes.contains(ChangeType.RBOX_ADD))
_abox.reset();
_abox.reset();
_abox.reset();
_abox.reset();
_abox.reset(); edge = _abox.addEdge(p, s, obj.getName(), ds);
_abox.reset(); edge = _abox.addEdge(p, s, obj.getName(), ds);