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