ABox

Used to describe statements in ontologies; an assertion; a fact that is associated with a terminological vocabulary within a knowledge base; A-Box statements are sometimes associated with instances of T-Box classes.