Abox

Abox

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"or "John is a Person"

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

"All Students are Persons"or "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 relational databases.

ee also

* Tbox
* Description Logic#Modelling in Description Logics
* metadata
* Web Ontology Language


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Abox — A*box , adv. & a. (Naut.) Braced aback. [1913 Webster] || …   The Collaborative International Dictionary of English

  • ABox — Beschreibungslogiken (engl. description logics) sind eine Familie von Sprachen zur Wissensrepräsentation. Die meisten Beschreibungslogiken sind eine Untermenge der Prädikatenlogik erster Stufe, im Gegensatz zu dieser aber entscheidbar. Dies… …   Deutsch Wikipedia

  • abox — 1. adverb Braced aback 2. adjective Braced aback …   Wiktionary

  • ABOX — Railbox Company (Regional » Railroads) …   Abbreviations dictionary

  • ABOX — abbr. Railbox Co. AAR …   Dictionary of abbreviations

  • abox — əˈbäks adjective Etymology: a (I) + box (to boxhaul) : braced aback used of head yards when the headsails only are aback …   Useful english dictionary

  • brace abox — verb To bring the foreyards flat aback to stop the ship …   Wiktionary

  • Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… …   Wikipedia Español

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”