An efficient, large-scale, non-lattice-detection algorithm for exhaustive structural auditing of biomedical ontologies.

An efficient, large-scale, non-lattice-detection algorithm for exhaustive structural auditing of biomedical ontologies.