Terminology classification is defined as a process that generates a logically consistent subtype classification by applying description logics rules to the stated definitions of a set of concepts. The stated view of a concept definition consists of the relationships directly edited by terminology authors. It consists of the stated subtype relationships plus the defining relationships that exist prior to running a description logic classifier. When classification is applied, inferences are derived by applying a consistent set of logical rules to the definition taking account of the definitions of related concepts. The result is the inferred view.
The classifier is a software tool that applies description logics rules to a set of data to make inferences about the relationships between sets of concepts.
...