Description Logic

Describes the formal language syntax and semantics for reasoning with ontologies. It is a subset of first-order logic designed for ontologies.