Beschreibungslogik
              
Hauptseminar SS 2008

Martin Hofmann, Hans Leiß

Zeit und Raum
Di, 12-14 Uhr Oettingenstr.67, Raum 1.15,
Beginn: 21.4.09
Inhalt und Ziel der Veranstaltung
Beschreibungslogiken sind entscheidbare Teilsysteme der Prädikatenlogik, die der Spezifikation von Terminologien, insbesondere Taxonomien und Subsumptionshierarchien dienen. Sie erlauben die automatische Behandlung verschiedener Entscheidungsprobleme, wie etwa die Einordnung von Individuen in eine Konzepthierarchie, die Frage nach der Implikation (Subsumption) zwischen Konzepten und die Suche nach allen Individuen, die einer bestimmten Spezifikation genügen.
Beschreibungslogiken finden Verwendung als Anfragesprachen für wissensrepräsentierende Systeme wie z.B. Datenbanken medizinischer Begriffe, Syndrome und Behandlungen oder - im unbelebten Bereich - Ersatzteile und deren Einsatz. In neuerer Zeit wurden Beschreibungslogiken in Verbindung mit dem "Semantic Web" eingesetzt, also der Strukturierung des Webs nach semantischen Kriterien.
Im Seminar werden konkrete Beschreibungslogiken vorgestellt, insbesondere die Sprachen der OWL-Familie die im Rahmen von Standardisierungsbemühungen für das "Semantic Web" entstanden sind.
Anhand überschaubarer Beschreibungslogiken, wie etwa ALC werden grundlegende Fragen wie Ausdrucksmächtigkeit vs. Entscheidbarkeit / Komplexität; Korrespondenz zu Fragmenten der Prädikatenlogik; Implementierung von Reasonern; Ontologiespezifkation mit Beschreibungslogiken; Erweiterungen zur Erfassung quantitativer Information (Raum, Zeit, Anzahl) behandelt.
Voraussetzungen: Vordiplom bzw. Zwischenprüfung im Magisterstudiengang.
Scheinkriterium: Seminarvortrag mit Ausarbeitung
Literatur
  1. F.Baader e.a. (eds.) The Description Logic Handbook. Cambridge UP 2003
  2. Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure: Semantic Web. Grundlagen. Springer, 2008, ISBN 978-3-540-33993-9
  3. Berners-Lee, Tim; James Hendler; Ora Lassila (2001). The semantic web. A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American 284 (5). 34-43. http://www.sciam.com/article.cfm?id=the-semantic-web
Terminplan

Vortragsfolien
  1. Natalia Filatova: Basic Description Logics
  2. Christian Sattler: Tableau-Beweiser für ALC, Handout, Ausarbeitung
  3. Michael Mandl: Web Ontology Language: OWL
  4. Stephan Sneed: DL als Ontologie-Sprachen für das Web
  5. Mu Yu: Tableau-Beweiser für SHOIN und Unentscheidbarkeit von SHOIN+
  6. Svitlana Bezrukova: OpenGalen
  7. Hans Leiß: OWL und kontrollierte natürliche Sprache


File translated from TEX by TTH, version 3.67.
On 26 Jan 2011, 10:09.