We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d49e824 commit f945fa9Copy full SHA for f945fa9
1 file changed
src/envo/Makefile
@@ -176,6 +176,7 @@ $(ONT)-full.owl: $(SRC) $(OTHER_SRC)
176
$(ROBOT) merge --input $< \
177
reason --reasoner ELK --equivalent-classes-allowed asserted-only --exclude-tautologies structural \
178
relax \
179
+ materialize --term BFO:0000050 \
180
reduce -r ELK \
181
annotate --ontology-iri $(ONTBASE)/$@ --version-iri $(ONTBASE)/releases/$(TODAY)/$@ -a owl:versionInfo $(TODAY)\
182
--output $@.tmp.owl && mv $@.tmp.owl $@
0 commit comments