Galigator
Galigator
If you do not want to share a complete ontology you can try this program : https://github.com/Galigator/openllet/blob/integration/tools-pellint/searchMinimalBug.sh Given a big ontology that make the reasoner fail, It try to compute...
Last commit should solve the problem in the 2.6.5-SNAPSHOT. I need more time to investigate this case because the WSDL rule il complex to debug.
Thank for the report. As I remember Openllet simply ignore the 'import' declaration because it can't do a fast check for changes. In many way Pellet/Openllet is design to be...
Hello, there is no need to test for incompatibilities, the version 2.6.5 isn't compatible with jena 4.2.0; this is specify in the pom.xml file. There some changes that are require...
There is no currently open issue for this kind of bug.
So to show the bug we may use another strategy, we have small program that take an ontology that cause a crash/exception and search for a minimal set of axioms...
Nice catch ! I have just add your correction and all tests are still good. With this correction in mind maybe we can design a test to this specific bug....
Anything that end with that kind of Exception should be see as a bug. The tool should send at least a better error message. I'm not very awar of how...
https://github.com/Galigator/openllet/commit/6c7aa8c86421b9a6fd9fe52119dacb75e71c8be9 Is a try to correct this problem. If you have a something that can be transform into unit test it could be nice.
Thx for the report I will start looking for solutions in one week