Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems.

Property Value
dbo:abstract
  • Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language [OWL] and its profile is based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge. (en)
  • Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Der Name soll einerseits den primären Einsatzzweck verdeutlichen, einen Weltausschnitt mit seinen Objekten und ihren Beziehungen untereinander zu beschreiben. Andererseits soll deutlich werden, dass sie im Unterschied zu ihren Vorgängern Frames und Semantischen Netzwerken auf formaler Logik basieren. Die meisten Beschreibungslogiken sind Fragmente der Prädikatenlogik erster Stufe und sind eng verwandt mit Modallogiken. Viele Beschreibungslogiken können sogar als direkte Notationsvarianten bekannter Modallogiken angesehen werden. Ein wichtiger Unterschied zur Prädikatenlogik ist jedoch, dass viele beschreibungslogische Sprachen entscheidbar sind.Dies ermöglicht über eine Beschreibungslogik zu schließen, d. h. implizites Wissen durch Schlussfolgerung aus einer Wissensbasis abzuleiten. Formal unterteilt man eine Beschreibungslogik in der Regel in drei Teile: Eine Konzeptsprache oder Beschreibungssprache, in der die Ausdrucksmittel festgelegt werden, die zur Formulierung von Fakten erlaubt sind, ein Terminologischer Formalismus (die TBox) und ein Assertionaler Formalismus (die ABox). Die TBox enthält hierbei das Wissen über die Konzepte der Domäne, also das terminologische Wissen. Hier wird definiert welche Klassen von Objekten es in der Domäne gibt und welche Eigenschaften sie haben. Im einfachsten Fall handelt es sich um eine Taxonomie von Konzepten, also zum Beispiel, dass die Menge der Elefanten eine Untermenge der Säugetiere ist.Die ABox hingegen enthält das Wissen über eine konkrete Instanz einer Domäne. Sie enthält Fakten über die Individuen und deren Eigenschaften, sowie ihrer Beziehungen untereinander. In diesem Sinne repräsentiert sie den Zustand der modellierten Welt. Eine häufig gemachte Annahme ist, dass das terminologische Wissen in der TBox fest ist und sich nicht oder nur selten ändert, während das assertionale Wissen häufigeren oder sogar konstanten Änderungen unterliegt. Gemeint ist, dass Elefanten immer auch Säugetiere sein werden, die Menge der lebenden Elefanten sich jedoch ständig ändert. Beschreibungslogiken erlangen eine Bedeutung im Zusammenhang mit Ontologien und dem Semantic Web. Ontologiesprachen wie DAML+OIL und OWL besitzen - ebenso wie Beschreibungslogiken - eine wohl-definierte Syntax, die sich zum Beispiel auf die Beschreibungslogik SHOIN(D) abbilden lässt.Mit der Beschreibungslogik als Basis lässt sich daher über Ontologien schließen, was für den Einsatz von Ontologien im Semantic Web unerlässlich ist. Das Aufkommen des Namens „Beschreibungslogik“ ist auf die frühen 1980er zu datieren. Frühere Namen sind (chronologisch): Das erste Beschreibungslogik-basierte System war KL-ONE (1985). Weitere Systeme folgten, unter ihnen LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998), RACER (2001) und zuletzt KAON 2 (2005). (de)
  • Les logiques de description aussi appelé logiques descriptives (LD) sont une famille de langages 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 langage à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique. (fr)
  • 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). Una delle caratteristiche dei linguaggi utilizzati per la rappresentazione della conoscenza è quella di essere forniti di semantiche basate sulla logica, con una enfasi particolare al cosiddetto ragionatore. Il ragionatore permette di rappresentare la conoscenza implicita ricavandola da quella esplicita presente in una ontologia. Dal punto di vista della conoscenza umana una logica descrittiva permette all'individuo uomo di strutturare e capire il mondo che lo circonda attraverso la classificazione degli individui e dei concetti.La classificazione dei concetti permette di determinare le relazioni tra i sottoconcetti e/o i superconcetti che a loro volta permettono di strutturare la tassonomia in modo gerarchico. La gerarchia è utile per ricavare informazioni circa le connessioni logiche tra concetti differenti. La classificazione degli individui e/o degli oggetti determina se uno specifico individuo è sempre una istanza di un determinato concetto. (it)
  • A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas tem problemas de decisão mais eficientes do que a lógica de predicados de primeira ordem. LD é usada em inteligência artificial para o raciocínio formal sobre os conceitos de um domínio de aplicação (conhecido como conhecimento terminológico). É de especial importância no provimento de um formalismo lógico para ontologias e Web Semântica. A aplicação mais notável fora da ciência da informação está em informática biomédica onde LD auxilia na codificação do conhecimento médico. (pt)
  • Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике. Таким образом, ДЛ представляют собой компромисс между выразительностью и разрешимостью. ДЛ можно рассматривать как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.Свое современное название ДЛ получили в 1980-х. Прежние названия (в хронологическом порядке): терминологические системы, логики концептов. Изначально ДЛ зародились как расширение фреймовых структур и семантических сетей механизмами формальной логики. В настоящее время ДЛ являются важным понятием в концепции семантической паутины, где их предполагается использовать при построении онтологий. Фрагменты OWL-DL и OWL-Lite языка веб-онтологий OWL также основаны на ДЛ. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 183503 (xsd:integer)
dbo:wikiPageRevisionID
  • 704162271 (xsd:integer)
dct:subject
rdf:type
rdfs:comment
  • Les logiques de description aussi appelé logiques descriptives (LD) sont une famille de langages 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 langage à cadres, une famille de langage de programmation pour l'intelligence artificielle, et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique. (fr)
  • Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems. (en)
  • Beschreibungslogiken (engl. description logics), gelegentlich auch terminologische Logiken genannt, sind eine Familie von Sprachen zur Wissensrepräsentation. Der Name soll einerseits den primären Einsatzzweck verdeutlichen, einen Weltausschnitt mit seinen Objekten und ihren Beziehungen untereinander zu beschreiben. Andererseits soll deutlich werden, dass sie im Unterschied zu ihren Vorgängern Frames und Semantischen Netzwerken auf formaler Logik basieren.Das Aufkommen des Namens „Beschreibungslogik“ ist auf die frühen 1980er zu datieren. Frühere Namen sind (chronologisch): (de)
  • 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 def (it)
  • A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas tem problemas de decisão mais eficientes do que a lógica de predicados de primeira ordem. (pt)
  • Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. (ru)
rdfs:label
  • Description logic (en)
  • Beschreibungslogik (de)
  • Lógica de descripción (es)
  • Logique de description (fr)
  • Logica descrittiva (it)
  • Lógica de descrição (pt)
  • 描述逻辑 (zh)
  • Дескрипционная логика (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:field of
is dbo:knownFor of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbp:fields of
is dbp:knownFor of
is foaf:primaryTopic of