Status

Changes

Console Output

View Build Information

Polling Log

Timings

Git Build Data

Test Result

Open Blue Ocean

Embeddable Build Status

Previous Build

Next Build

Passed

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