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
[maven-release-plugin] prepare for next development iteration
removed ExtDP
Merge branch 'develop' into feature/tboxreasoner-improved
removed more of ExtDP
Merge branch 'release/1.13.1' into develop
cleaned up comments
cleaned code