|This article needs additional citations for verification. (April 2009) (Learn how and when to remove this template message)|
The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a conceptualization, a set of concepts and properties for these concepts. ABox are TBox-compliant statements about individuals belonging to those concepts. For instance, a specific tree is an individual for the concept of "Tree", while it can be stated that trees as a concept are material beings that have to be positioned on some location it is possible to state the specific location that a tree takes at some specific time.
Together ABox and TBox statements make up a knowledge base. A TBox is a set of definitions and specializations.
- A definition is an equality with an atomic concept on the left hand, for example: a bachelor is a student who is undergraduate.
- A specialization is an inclusion with an atomic concept on the left hand, for example: the set of students is a subset of the people who are studying.
- 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.
|This computer science article is a stub. You can help Wikipedia by expanding it.|