Description Logics

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

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).

Literatur

  • F. Baader, D. Calvanese, D. L. McGuiness, D. Nardi, P. F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, Applications. Cambridge University Press, Cambridge, UK, 2003. ISBN 0-521-78176-0
  • Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure: Semantic Web. Grundlagen. Springer, 2008, ISBN 978-3-540-33993-9

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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

  • Logique De Description — 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 …   Wikipédia en Français

  • Logique de description — 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 …   Wikipédia en Français

  • Logiques de description — Logique de description 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… …   Wikipédia en Français

  • Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

  • Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

  • Logique descriptive — Logique de description 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… …   Wikipédia en Français

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Deborah McGuinness — Deborah L. McGuinness Residence Latham, New York, USA Other names Deb Education Rutgers University, University of California at Berkeley and Duke University Occupation Computer scientist …   Wikipedia

  • Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”