Abox

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Abox" – news · newspapers · books · scholar · JSTOR (April 2024)

In computer science, the terms TBox and ABox are used to describe two different types of statements in knowledge bases. TBox statements are the "terminology component", and describe a domain of interest by defining classes and properties as a domain vocabulary. ABox statements are the "assertion component" — facts associated with the TBox's conceptual model or ontologies.^[1] Together ABox and TBox statements make up a knowledge base or a knowledge graph.

ABox statements must be TBox-compliant: they are assertions that use the vocabulary defined by the TBox.

TBox statements are sometimes associated with object-oriented classes and ABox statements associated with instances of those classes.