OwlInternalProof implements Proof<Inference<Object>> { public Object getGoal() { return goal_; } OwlInternalProof(final Reasoner reasoner, final OWLAxiom goal); Object getGoal(); @Override Collection<? extends Inference<Object>> getInferences(
			final Object conclusion);  }
@Test public void testProvability() throws Exception { ProofTestUtils.provabilityTest(adapter_, adapter_.getGoal()); }
@Test public void testProofCompleteness() throws Exception { Assume.assumeFalse(TestUtils.ignore(manifest_.getInput(), ElkTestUtils.TEST_INPUT_LOCATION, IGNORE_COMPLETENESS_LIST)); ProofTestUtils.proofCompletenessTest(prover_, query_, adapter_.getGoal(), adapter_, new OwlInternalJustifier(), true); }