Merge pull request #314 from obophenotype/part-of-cycles

Get rid of partof cycles
obophenotype · May 10, 2024 · 6ca0354 · 6ca0354
2 parents e49ae82 + c2570d9
commit 6ca0354
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/src/ontology/components/reasoner_axioms.owl b/src/ontology/components/reasoner_axioms.owl
diff --git a/src/ontology/oba.Makefile b/src/ontology/oba.Makefile
@@ -81,12 +81,15 @@ $(MIRRORDIR)/lipidmaps.owl: $(TEMPLATEDIR)/lipidmaps.tsv
 $(ONT)-full.owl: $(SRC) $(OTHER_SRC)
 	echo "INFO: Running FULL release, which is customised for OBA."
 	$(ROBOT) merge --input $< \
-		merge -i components/reasoner_axioms.owl \
-		materialize -T basic_properties.txt \
-		reason --reasoner ELK --equivalent-classes-allowed all --exclude-tautologies structural \
+		reason --reasoner ELK --equivalent-classes-allowed asserted-only --exclude-tautologies structural \
+		remove --term PR:000000001 \
+			   --term SO:0000252 \
+			   --term SO:0000234 \
+		reason --reasoner ELK --equivalent-classes-allowed none --exclude-tautologies structural \
 		relax \
 		reduce -r ELK \
-		unmerge -i components/reasoner_axioms.owl \
+		materialize -T basic_properties.txt \
+		reduce -r ELK \
 		$(SHARED_ROBOT_COMMANDS) annotate --ontology-iri $(ONTBASE)/$@ $(ANNOTATE_ONTOLOGY_VERSION) --output $@.tmp.owl && mv $@.tmp.owl $@
 
 # Synonyms are managed on Google Sheets