axiom binding support for disjointness inferences + some minor
refactoring
axiom binding support for object property inferences