Permalink
Browse files

Do not add inferences for asserted axioms in the test

they are already included
  • Loading branch information...
ykazakov committed Oct 11, 2017
1 parent 6671643 commit 400e5757e5097aff192bf722bd55d7ebc39532b3
@@ -90,7 +90,6 @@ public void proofTest() throws Exception {
final OWLOntology ontology = loadOntology(manifest_.getInput()
.getUrl().openStream());
final OWLProver prover = OWLAPITestUtils.createProver(ontology);
final Set<OWLAxiom> axioms = ontology.getAxioms(Imports.INCLUDED);
try {
prover.precomputeInferences(InferenceType.CLASS_HIERARCHY);
@@ -113,7 +112,7 @@ public void visit(OWLClassExpression subsumee,
subsumer);
assertTrue(String.format(
"Entailment %s not derivable!", axiom),
Proofs.isDerivable(prover.getProof(axiom), axiom, axioms));
Proofs.isDerivable(prover.getProof(axiom), axiom));
} catch (Exception e) {
throw new RuntimeException(
"Exception while running proof test: "

0 comments on commit 400e575

Please sign in to comment.