Skip to content

Java Tools
JOPA Development
#276
Tests
cz.cvut.kbss.ontodriver.owlapi
MainAxiomLoaderTest
throwsExceptionWhenReasonerIsNotAvailableForInferredAssertions

throwsExceptionWhenReasonerIsNotAvailableForInferredAssertions cz.cvut.kbss.ontodriver.owlapi.MainAxiomLoaderTest

Passed

Took 9 ms