Merge pull request EnvironmentOntology#1197 from matentzn/qc_equivs

Add stricter check to prevent logical equivalents
KrishnaTO · Oct 15, 2021 · 6bc800d · 6bc800d
2 parents f717aa3 + 1342bc3
commit 6bc800d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/envo/Makefile b/src/envo/Makefile
@@ -167,7 +167,7 @@ $(ONT)-base.owl: $(SRC) $(OTHER_SRC)
 # Full: The full artefacts with imports merged, reasoned
 $(ONT)-full.owl: $(SRC) $(OTHER_SRC)
 	$(ROBOT) merge --input $< \
-		reason --reasoner ELK --equivalent-classes-allowed all --exclude-tautologies structural \
+		reason --reasoner ELK --equivalent-classes-allowed none --exclude-tautologies structural \
 		relax \
 		reduce -r ELK \
 		annotate --ontology-iri $(ONTBASE)/$@ --version-iri $(ONTBASE)/releases/$(TODAY)/$@  -a owl:versionInfo $(TODAY)\