Tbox
In computer science, a TBox is a "terminological component"—a conceptualization associated with a set of facts, known as an ABox.[1]
The terms "ABox" and "TBox" are used to describe two different types of statements in a knowledge base. TBox statements describe a conceptualization of a domain of interest by defining different sets of individuals described in terms of their characteristics (properties). ABox are TBox-compliant statements about individuals belonging to these sets. For instance, a specific student is an individual in the set called "Student". This set can be defined as a subset of all people that attend some educational institution, making it possible to state the specific educational institution each individual attends.
Together ABox and TBox statements make up a knowledge base.
References
- Gruber, Thomas R. (June 1993). "A translation approach to portable ontology specifications" (PDF). Knowledge Acquisition. 5 (2): 199–220. CiteSeerX 10.1.1.101.7493. doi:10.1006/knac.1993.1008.