Refactored OWLAxiomCollection for uniform use of import closure
warnings removed
Refactor OWLSignature for uniform imports closure use
Merge branch 'version4' into failing_obo
some unnecessary finals removed
Merge remote-tracking branch 'upstream/version4' into failing_obo