A collection of publicly available inconsistent and/or incoherent ontologies.
A multithreaded diagnosis library