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.
See also
References
- ↑ Gruber, Thomas R. (June 1993). "A translation approach to portable ontology specifications" (PDF). Knowledge Acquisition. 5 (2): 199–220. doi:10.1006/knac.1993.1008.