Skip to content

Passed

cz.cvut.kbss.ontodriver.owlapi.OwlapiAdapterTest.isInferredChecksWhetherAxiomIsEntailedByReasonerButNotContainedInOntology

Took 4 ms.