Skip to content

Java Tools
JOPA Development
#499
Tests
cz.cvut.kbss.ontodriver.owlapi
OwlapiAdapterTest
isInferredChecksWhetherAxiomIsEntailedByReasonerButNotContainedInOntology

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

Passed

Took 4 ms