search

owlcollab / owltools

OWLTools
BSD 3-Clause "New" or "Revised" License
108 stars 33 forks source link

Golr loader should failfast on incoherent ontology combination #120

Open cmungall opened 9 years ago

cmungall commented 9 years ago

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

kltm commented 9 years ago

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.

hdietze commented 9 years ago

Implemented check