Package org.dllearner.test.junit

DL-Learner JUnit tests.

See:
Description

Class Summary

AllTestsRunner	Class designed to run all DL-Learner component tests.
ComponentTests	A suite of JUnit tests related to the DL-Learner component architecture.
ELDescriptionTreeTests	Tests related to EL description tree including operations on them, simulations, equivalence checks, minimisation etc.
ELDownTests	Tests related to the EL downward refinement operator.
ExampleTests	Tests related to learning problems in the examples directory.
MinimizeTests	Tests for minimizing class descriptions.
ReasonerTests	A suite of JUnit tests related to the DL-Learner reasoning.
RefinementOperatorTests	A suite of JUnit tests related to refinement operators.
SimulationTests	We test whether level-restricted, non-reflexive simulations on EL description trees are correctly computed.
TestOntologies	Some ontologies to simplify unit tests.
UtilitiesTests	Various tests for methods/classes in the utilities package.

Enum Summary

TestOntologies.TestOntology

Package org.dllearner.test.junit Description

DL-Learner JUnit tests.