Techniques used to verify and validate the logical consistency, correctness, and completeness of an ontology.