description logic

Description logics (DL) are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way. The name description logic refers, on the one hand, to concept descriptions used to describe a domain and, on the other hand, to the logic-based semantics which can be given by a translation into first-order predicate logic. Description logic was designed as an extension to frames and semantic networks, which were not equipped with formal logic-based semantics.
See more at Wikipedia.org...

Les logiques de description aussi appelé logiques descriptives (LDs) sont une famille de languages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée. Le nom de logique de description se rapporte, d'une part à la description de concepts utilisée pour décrire un domaine et d'autre part à la sémantique basée sur la logique qui peut être donnée par une transcription en logique des prédicats du premier ordre. La logique de description a été développée comme une extension des frames et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique.
Pour la suite, voir Wikipédia.org…

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 ermöglicht über eine Beschreibungslogik zu schließen, d.h. aus vorhandenem Wissen neues Wissen zu gewinnen (siehe Schlussfolgern).
Mehr unter Wikipedia.org...

Le logiche descrittive (in inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo. In primo luogo sono definiti i concetti rilevanti per quel dominio e, di seguito, utilizzando questi concetti si specificano le proprietà degli oggetti e degli individui appartenenti al dominio. Gli studi riguardanti le logiche descrittive si focalizzano sulla ricerca di metodi che descrivano in modo sempre più specifico il dominio di interesse tale da essere utilizzato per costruire applicazioni intelligenti. In questo contesto il termine intelligente è riferito all'abilità di un sistema di trovare delle conseguenze implicite rispetto a quelle esplicite rappresentate dalla conoscenza. Sistemi così caratterizzati sono definiti sistemi basati sulla conoscenza (knowledge based system).
Per saperne di più visita Wikipedia.org...

Las Lógicas de Descripción (DL por ) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, por otro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden. DL se diseñó como una extensión de frames (marcos) y redes semánticas, los cuales no estaban equipados con semántica basada en la lógica.
Ver más en Wikipedia.org...