Description logic concept

ID: description-logic-concept

A unary description interpreted as a subset of the domain. Atomic names can be combined using the constructors of the chosen description logic.

New to topics? Read the docs here!