- Abox
- Abox \A*box"\, adv. & a. (Naut.) Braced aback. [1913 Webster] ||
The Collaborative International Dictionary of English. 2000.
Abox
Look at other dictionaries:
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
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
