 ABox

A collection of assertions about individuals, such as $A(a)$ and $R(a,b)$, interpreted together with a TBox.