queriess
tests
Merge branch 'develop' into feature/tunning-results
last tests + func
+Disable T-Mappings Option
+ Add missing obda files in owlapi3/example
+ selective exclusion of TMappings reasoning for user-defined predicates
+ selective exclusion of TMappings reasoning for user-defined predicates
bugfix: wrong default value for t-mappings in QuestDefault.properties
+ Example on how to use selective exclusion of t-mappings (class InteractiveExample)
removed duplicate code from the TreeWitnessRewriter code
minor code cleanup
removed duplicate code in TreeWitnessReasonerCache
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