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