TBox
= TBox
{c}
{title2=$\mathcal T$}
A collection of terminological axioms, including <general concept inclusions>, constraining the meanings of <description logic concepts> and <description logic roles>.
= TBox
{c}
{title2=$\mathcal T$}
A collection of terminological axioms, including <general concept inclusions>, constraining the meanings of <description logic concepts> and <description logic roles>.