Uses constraints or restrictions to determine which ontology statements are consistent with each other.