| dbpprop:abstract
|
- 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. Formal unterteilt man eine Beschreibungslogik in der Regel in eine terminological box (TBox) und eine assertional box (ABox). Die TBox enthält hierbei das Wissen über die Konzepte einer Domäne, das terminologische Wissen. Die ABox hingegen enthält das Wissen über Entitäten oder Instanzen dieser Konzepte, sowie deren Beziehungen untereinander, und repräsentiert den Zustand der modellierten Welt. 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): Terminologische Systeme, Konzeptsprachen. Das erste Beschreibungslogik-basierte System war KL-ONE. Weitere Systeme folgten, unter ihnen LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) und zuletzt RACER (2001) und KAON 2 (2005).
- Description logics (DL) are a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) 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. They form a middle ground solution: including some more expressive operations than propositional logic and having decidable or more efficient decision problems than first order predicate logic. Description logic was given its current name in the 1980s. Previous to this it was called (chronologically): terminological systems, and concept languages. Today description logic has become a cornerstone of the Semantic Web for its use in the design of ontologies. The OWL-DL and OWL-Lite sub-languages of the W3C-endorsed Web Ontology Language (OWL) are based on a description logic. The first DL-based system was KL-ONE (by Brachman and Schmolze, 1985). Some other DL systems came later. They are LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998) and lately RACER (2001), CEL (2005), and KAON 2 (2005).
- Las lógicas de descripción, también llamadas lógicas descriptivas 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. A diferencia de los demás sistemas de representación, estas lógicas están dotadas con una semántica formal basada en lógica y tienen características muy importantes como son: Un formalismo descriptivo: conceptos, roles, individuos y constructores. Un formalismo terminológico: axiomas terminológicos que introducen descripciones complejas y propiedades de la terminología descriptiva. Un formalismo asertivo: que introduce propiedades de individuos. Son capaces de inferir nuevo conocimiento a partir de conocimiento dado; tienen por tanto, algoritmos de razonamiento que son decidibles. Los elementos centrales del alfabeto del lenguaje de las lógicas de descripción son: Nombres de concepto (concept name): asignan un nombre a un grupo de objetos. Nombres de rol (role name): asigna un nombre a una relación entre objetos. Nombres de individuos (u objetos): los individuos son instancias de los conceptos y también se pueden relacionar por medio de un rol. Constructores (constructor): relaciona nombres de conceptos y nombres de roles, y también crea conceptos complejos a partir de los atómicos (complex concepts). Definiciones de conceptos complejos: usa los símbolos <math>\doteq </math> <math>\sqsubseteq </math> para declarar conjunto de igualdades y conjuntos de inclusiones. El nombre de lógica de descripción es de los años 1980s. Antes de esto se llamaba (cronológicamente): sistemas terminológicos, y lenguajes de conceptos. Las lógicas de descripción de hoy en día se han convertido en una piedra fundamental de la web semántica para su uso en el diseño de ontologías. El primer sistema basado en DL fue KL-ONE (por Brachman and Schmolze, 1985). Después vinieron algunos otros sistemas de DL. Están LOOM (1987), BACK (1988), KRIS (1991), CLASSIC (1991), FaCT (1998), RACER (2001), CEL (2005) y KAON 2 (2005). El desarrollo de OIL fue inspirado en DL.
- Les logiques de description aussi appelé logiques descriptives (LDs) 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 frames et des réseaux sémantiques, qui ne possédaient pas de sémantique formelle basée sur la logique.
- 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. 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.
- Дескрипцио́нные ло́гики — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике. Таким образом, ДЛ представляют собой компромисс между выразительностью и разрешимостью. ДЛ можно рассматривать как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам. Свое современное название ДЛ получили в 1980-х. Прежние названия (в хронологическом порядке): терминологические системы, логики концептов. Изначально ДЛ зародились как расширение фреймовых структур и семантических сетей механизмами формальной логики. В настоящее время ДЛ являются важным в концепции Семантической паутины, где их предполагается использовать при построении онтологий. Фрагменты OWL-DL и OWL-Lite языка веб-онтологий OWL также основаны на ДЛ.
- 描述逻辑（Description Logic）是一种逻辑语言。 描述逻辑是一阶逻辑的一个子集，其特点是可判定性，也即每个描述逻辑中的命题都可以在有限时间内完成证明或证否。 一个描述逻辑系统中的名字可分为概念（Concept），属性（Role）和个体（Individual）。例如，一个用描述逻辑描述的知识库如下 男人 <math>\sqsubseteq</math> 人 （男人 是 人） 丈夫 <math>\sqsubseteq</math> 男人 <math>\sqcap</math> <math>\exists</math> 婚配于. 人 （丈夫是 婚配于 至少一个 人 的 男人） 男人(张三) （张三是一个男人） 其中，“男人”，“人”，“丈夫”是概念，“婚配于”是属性，“张三”是个体。 描述逻辑是当前语义网发展中本体的理论基础。例如，OWL万维网本体语言就是一种描述逻辑SHIOQ (D)的语法形式。
|
| rdfs:comment
|
- 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. Formal unterteilt man eine Beschreibungslogik in der Regel in eine terminological box (TBox) und eine assertional box (ABox).
- Description logics (DL) are a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) 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.
- Las lógicas de descripción, también llamadas lógicas descriptivas 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.
- Les logiques de description aussi appelé logiques descriptives (LDs) 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 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.
- Дескрипцио́нные ло́гики — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде.
|
![[RDF Data]](/statics/sw-cube.png)
