Una vez definida una "TBox", al definir el "ABox", las propiedades más importantes que habrá que verificar son las de la consistencia del "Abox" y el "TBox" , y la derivación de una instanciación a partir del ABox.