1. fix issue with Pellet (commit: 1b674dd) (details)
Commit 1b674dd058880871b01ca3c038698276a9bac202 by Lorenz Buehmann
fix issue with Pellet

Unit test for conf 'examples/datatypes/stringtyped.conf' failed with an
internal error in Pellet reasoner. Not sure why this happens but apparently
it does not happen if we merge all axioms instead of only the logical
axioms. This commit seems to fix it but we should investigate
why this happens.
(commit: 1b674dd)
The file was modifiedcomponents-core/src/main/java/org/dllearner/reasoning/ (diff)