start working on the inconsistency checking
interfaces for disjoint axioms
Extend API with disjoint Axioms, corressponding translator, and consistency checking
Merge branch 'develop' into feature/consistency-checking
test case for inconsistency checking
fix experssion evaluator for neq(uri(var), uri(var))
fix cosistency checking test
fix functional property filter neq