ABox
= ABox
{c}
{title2=$\mathcal A$}
A collection of assertions about individuals, such as $A(a)$ and $R(a,b)$, interpreted together with a <TBox>.
= ABox
{c}
{title2=$\mathcal A$}
A collection of assertions about individuals, such as $A(a)$ and $R(a,b)$, interpreted together with a <TBox>.