Deskriptionslogiken

Deskriptionslogiken sind eine Familie formaler Wissensrepräsentationssprachen, entscheidbare Fragmente der Prädikatenlogik erster Stufe, die zur Definition von Konzepten und zur Schlussfolgerung über Klassifikation und Konsistenz verwendet werden, insbesondere als Grundlage von Ontologiesprachen des Semantischen Webs.

Definition

Eine Deskriptionslogik ist ein logikbasierter Formalismus zur Repräsentation von Konzepten (Klassen), Rollen (Relationen) und Individuen eines Bereichs, mit einer präzisen modelltheoretischen Semantik, die Schlussfolgerungsaufgaben wie die Konzeptsubsumtion entscheidbar macht.

Scope

Dieses Thema behandelt die Familie der Deskriptionslogiken: Konzepte, Rollen und Individuen; die Unterscheidung zwischen terminologischem Wissen (der TBox von Konzeptdefinitionen) und assertorischem Wissen (der ABox von Fakten über Individuen); die Standard-Schlussfolgerungsdienste der Subsumtion, Klassifikation, Konsistenz und Instanzprüfung; sowie das Spektrum von Ausdrucksstärke versus Komplexität, von leichtgewichtigen Logiken bis hin zu ausdrucksstarken Logiken, die der Web Ontology Language (OWL) zugrunde liegen. Informelle strukturierte Repräsentationen werden unter semantischen Netzen und Ontologien behandelt.

Core questions

• Wie werden Konzepte kompositionell aus atomaren Konzepten und Rollen unter Verwendung von Konstruktoren wie Konjunktion, Restriktion und Quantifizierung aufgebaut?
• Was ist der Unterschied zwischen einer TBox terminologischer Axiome und einer ABox von Assertionen?
• Welche Standard-Schlussfolgerungsdienste (Subsumtion, Klassifikation, Konsistenz, Instanzprüfung) bieten Deskriptionslogik-Reasoners?
• Wie erhöht eine zunehmende Ausdrucksstärke die rechnerische Komplexität des Schlussfolgerns?

Key concepts

• Konzepte, Rollen, Individuen
• TBox und ABox
• Konzeptkonstruktoren und Restriktionen
• Subsumtion
• Klassifikation
• Konsistenz und Instanzprüfung
• OWL und das Semantische Web
• entscheidbare Fragmente der Prädikatenlogik erster Stufe

Key theories

TBox/ABox-Trennung

Wissensbasen von Deskriptionslogiken unterscheiden terminologisches Wissen (Konzept- und Rollendefinitionen in der TBox) von assertorischem Wissen (Fakten über spezifische Individuen in der ABox), was ein separates, aber interagierendes Schlussfolgern über Schema und Daten ermöglicht.

Subsumtion und automatische Klassifikation

Die Kerninferenz von Deskriptionslogiken ist die Subsumtion, die entscheidet, ob ein Konzept notwendigerweise allgemeiner ist als ein anderes, wodurch ein Reasoner Konzepte automatisch in einer Klassifikationshierarchie organisieren und Inkonsistenzen erkennen kann.

Ausdrucksstärke-Komplexitäts-Kompromiss

Deskriptionslogiken werden bewusst als entscheidbare Fragmente der Prädikatenlogik erster Stufe gewählt, und das Hinzufügen von Konstruktoren erhöht die Ausdrucksstärke zu einem gut charakterisierten Preis in der Schlussfolgerungskomplexität, was das Design von Ontologiesprachen wie den OWL-Profilen leitet.

Clinical relevance

Deskriptionslogiken bilden das formale Rückgrat der Web Ontology Language (OWL) und damit großer Ontologien in der Biomedizin (wie SNOMED CT), dem Semantischen Web und Unternehmens-Wissensgraphen, wo automatisierte Klassifikation und Konsistenzprüfung große Vokabulare kohärent halten.

History

Deskriptionslogiken entwickelten sich aus strukturierten Repräsentationen wie Brachman und Schmolzes KL-ONE (1985), als Forscher formale Semantik und Entscheidbarkeit für frame- und netzwerkbasierte Systeme suchten. In den 1990er-2000er Jahren wurde ihre Komplexität präzise kartiert, und sie wurden als Grundlage der W3C Web Ontology Language (OWL) übernommen.

Key figures

• Ronald J. Brachman
• Franz Baader
• Ian Horrocks
• Diego Calvanese
• Deborah McGuinness

Seminal works

• brachman1985
• baader2007

Frequently asked questions

Wie verhalten sich Deskriptionslogiken zur Prädikatenlogik erster Stufe?

Deskriptionslogiken sind sorgfältig ausgewählte Fragmente der Prädikatenlogik erster Stufe. Sie opfern einen Teil der Ausdrucksstärke, damit wichtige Schlussfolgerungsaufgaben, wie die Entscheidung der Subsumtion zwischen Konzepten, entscheidbar und oft effizient bleiben, was die vollständige Prädikatenlogik erster Stufe nicht garantiert.

Was ist der Unterschied zwischen der TBox und der ABox?

Die TBox enthält terminologisches Wissen, die Definitionen und allgemeinen Axiome über Konzepte und Rollen, während die ABox Assertionen über bestimmte Individuen enthält. Das Schlussfolgern nutzt beides: Die TBox beschreibt, wie die Welt strukturiert ist, und die ABox beschreibt spezifische Fakten innerhalb dieser Struktur.