procedure
Calculating disjoint axioms by identifying wrong type statements based on existing relations, such as domain and range checks, is a method for validating knowledge graph consistency.

Authors

Sources

Referenced by nodes (1)