Added modifications necessary for DL-Learner.
Merge branch 'version4' of github.com:AKSW/owlapi into version4