Tbox


Tbox

In Computer Science, a TBox is a "terminological component"—a vocabulary associated with a set of facts ABox.

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 tend to be more definitional in nature such as a dictionary of words.

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.

ee also

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


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • TBox — 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

  • TBOX Pub Crawl — TBOX, an acronym for Twelve Bars Of Xmas, is a very large annual pub crawl which has been held in December, in the city of Chicago, Illinois, USA since 1996. Founded and organized by Chicago resident Christopher Festa, “TBOX1” in 1996 attracted… …   Wikipedia

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

  • 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

  • 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

  • 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… …   Wikipedia

  • 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

  • Beschreibungslogik — Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Die meisten Beschreibungslogiken sind eine Untermenge der Prädikatenlogik erster Stufe,… …   Deutsch Wikipedia

  • Description Logics — 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

  • Nissan Clipper — Town Box Mitsubishi Town Box (1999 heute) Produktionszeitraum: 1999–heute Karosserieversionen: Kombi 5 Türen Motoren: 0,66 l R3 0,66 l R4 1,1 l R4 (Wide) Länge: 3395 3605 mm …   Deutsch Wikipedia


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.