envo
envo copied to clipboard
envo basic is missing many parents
caused by this:

we should be running reason prior to making basic?
related to #1199
@cmungall Why would the envo-basic.owl have parents but not the obo or json?
FYI, here parts from the makefile:
# TODO - fix IRI
subsets/envo-basic.owl: envo-simple.owl
$(OWLTOOLS) $< imports/ro_import.owl --merge-imports-closure --set-ontology-id $(OBO)/$@ -o [email protected] && mv [email protected] $@
subsets/envo-basic.obo: envo-simple.owl
$(OWLTOOLS) $< imports/ro_import.owl --merge-imports-closure --add-obo-shorthand-to-properties --set-ontology-id $(OBO)/$@ -o -f obo --no-check [email protected] && grep -v ^owl-axioms [email protected] > $@
There isn't a envo-basic.json target. So, I'm not sure how that gets produced.
envo-simple.owl does have parent terms.