owltools
owltools copied to clipboard
Golr loader should failfast on incoherent ontology combination
If the root ontology is incoherent[*] then inferences will be wrong (and reasoning time may explode). the OWLAPI doesn't fail fast (as expect, so it can be used in a debugging environment, e.g. protege).
However, most owltools ops not related to debugging, and all golr loading ops should failfast on incoherence.
This ticket is bud off from geneontology/go-site#63
[*] contains at least one unsatisfiable class
This would be useful as a separate command as well, and not necessarily part of a load--since the load is in place, there could be issues where the index is destroyed before the problem was detected.
Implemented check
- Executed before all ontology solr loads
- Available as separate owltools command-line method
--ontology-pre-check