# AI/Machine Reasoning (MR) Use Cases

* Semantic conversion
* Data enrichment
* Data quality control (consistency checks)
* Calculate the subsumption relationship between two concepts (check whether an expression always denotes a subset of the objects denoted by another expression)
* Check whether a certain assertion (either an inclusion or an instance assertion) is logically implied by a knowledge base
* Inference of new data
* Apply any type of calculation or data processing
* Identify incorrect reasoning