With the growing interest in using ontologies in semanticallyenabled
applications, the interest in enhancing the quality of such ontologies
has grown as well. Standard reasoning services focus on certain
obvious dimensions of quality, e.g., to detect inconsistencies and incoherence.
In addition, bespoke tools have been presented to address the
completeness dimension of quality, e.g., missing entailments. These tools
are usually focused on very restricted subsets of all the possible missing
entailments, i.e., only atomic subsumptions. We present a new protocol
to detect both existing invalid entailments and missing valid entailments.
We also present a case study to evaluate the usefulness of the presented
protocol for ontology validation purposes