remove the warning of using datatype range axioms
log.info("ignore declaration axiom")
Merge branch 'bugfix/unsupportedDescriptionWarnMessage' into develop
version 1.31.1
maven-gpg-plugin:1.5
[maven-release-plugin] prepare release v1.13.1
[maven-release-plugin] prepare for next development iteration
Merge branch 'release/1.13.1' into develop