do not print the hash by default since it breaks old versions of the OWL
API parsers, which are still commonly used. Include the hash when the
option --print-hash is used.
Merge branch 'master' of https://github.com/klinovp/elk
Merge branch 'master' into alc
non-subsumption test showing that disjunction splitting is not enough
for soundness