 TBox

A collection of terminological axioms, including general concept inclusions, constraining the meanings of description logic concepts and description logic roles.