ClassCastException with CELOE and ClassExpressionLearningProblem about dl-learner

[SimonBin]

seems to be a bug; if you want to test something with a single named class you can see if the ClassLearningProblem (no Expression) does any good

[Ezimkin]

I have tested again and can confirm that the code works with just ClassLearningProblem. However, the same exception as above is still being thrown when I use a real class expression.

I tested with code like the following:

        ClassExpressionLearningProblem lp = new ClassExpressionLearningProblem(rc);
        lp.setClassExpressionToDescribe(
            df.getOWLObjectHasValue(
                    df.getOWLObjectProperty(IRI.create("testProperty")),
                    df.getOWLNamedIndividual(IRI.create("testIndividual"))
            )
        );
        lp.init();

[Ezimkin]

Upon further investigation I think the issue in ClassExpressionLearningProblem may be with the cast to the following class cast:

DL-Learner/components-core/src/main/java/org/dllearner/learningproblems/ClassExpressionLearningProblem.java

Line 184 in 6359c3e

Coverage[] cc = ((ReasoningUtilsCLP)reasoningUtil).getCoverageCLP(description, classInstances, superClassInstances);

But the instance was created to be a ReasoningUtils Object by:

DL-Learner/components-core/src/main/java/org/dllearner/learningproblems/ClassExpressionLearningProblem.java

Line 108 in 6359c3e

return new ReasoningUtils(reasoner);

[SimonBin]

right, but there are more subtle issues to consider in e.g. the CELOE algorithm when trying to use such a Learning Problem, which currently does too many assumptions about supported learning problems; so I fear than that needs to be done