we have a source/external ontology (e.g. NCIT) with axioms we generally trust. We have a target ontology (e.g. MONDO). We also have equivalence axioms between named classes in the two.
We would like to transfer axioms across, rewriting URIs according to equivalence, preserving full provenance (usual OBO way: axiom annotations).
We also want to provide checks to ensure that axioms we bring across do not cause incoherency.
Arguments:
--copy-axioms [-m MAPONT] [-s SRCONT] [-n] [-l] [--no-strict] copies axioms from SRC to current (target) ontology
Scenario:
we have a source/external ontology (e.g. NCIT) with axioms we generally trust. We have a target ontology (e.g. MONDO). We also have equivalence axioms between named classes in the two.
We would like to transfer axioms across, rewriting URIs according to equivalence, preserving full provenance (usual OBO way: axiom annotations).
We also want to provide checks to ensure that axioms we bring across do not cause incoherency.
Arguments:
The
-laxiom should force logical checks.