Fix equivalent => subclass

ease-crc · Jul 26, 2022 · 4e4644a · 4e4644a
1 parent e7f9760
commit 4e4644a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/java/src/main/java/main/ci_runners/SubclassNothingRewriter.java b/scripts/java/src/main/java/main/ci_runners/SubclassNothingRewriter.java
@@ -84,7 +84,7 @@ private static Optional<OWLAxiom> rewriteIntersectionSubclassNothing(final OWLOb
 		}
 
 		final OWLClassExpression finalAtomicClass = atomicClass.get();
-		final var rewriting = df.getOWLEquivalentClassesAxiom(finalAtomicClass, df.getOWLObjectComplementOf(
+		final var rewriting = df.getOWLSubClassOfAxiom(finalAtomicClass, df.getOWLObjectComplementOf(
 				df.getOWLObjectIntersectionOf(intersection.operands().filter(next -> !next.equals(finalAtomicClass)))));
 		return Optional.of(rewriting);
 	}