Tag inferred axioms
shawntanzk opened this issue · comments
Shawn Tan commented
robot reason --annotate-inferred-axioms true \
Ontologized versions of the ABA structureGraphs - with mappings to Uberon
shawntanzk opened this issue · comments
robot reason --annotate-inferred-axioms true \