Fix the DisjointUnion locality check
Merge branch 'master' of https://github.com/ignazio1977/owlapitools
Fix the locality checker, it is now correspond to FaCT++ 1.6.3