From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base.

The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a system in terms of controlled vocabularies, for example, a set of classes and properties. ABox are TBox-compliant statements about that vocabulary.

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

Together ABox and TBox statements make up a knowledge base.

Examples of ABox and TBox statements

ABox statements typically have the form:

 A is an instance of B


 John is a Person

This should be contrasted with TBox statements (or statements about terminology) such as:

 All Students are Persons


 There are two types of Persons: Students and Teachers

TBox statements tend to be more permanent within a knowledge base and tend to be stored in a data model or a metadata registry. In contrast, ABox statements are much more dynamic in nature and tend to be stored as instance data within transactional systems within databases.

See also

Retrieved from "https://en.wikipedia.org/w/index.php?title=Abox&oldid=797976980"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Abox
This page is based on the copyrighted Wikipedia article "Abox"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA