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