El "ABox" contiene aserciones acerca de individuos nombrados en términos de vocabulario.