Existenz des Least Common Subsumers in der Beschreibungslogik EL bezüglich genereller Terminologien

Datum

15.06.2012

Zeit

10:00 - 11:00

Sprecher

Benjamin Zarrieß

Sprache

de

Hauptthema

Informatik

Andere Themen

Informatik

Beschreibung

Der Least Common Subsumer (LCS) in einer Beschreibungslogik wie EL ist das speziellste Konzept, das eine Reihe von Konzepten generalisiert. Bezüglich einer generellen EL-TBox existiert diese speziellste Generalisierung im Allgemeinen nicht. Daher wurden Methoden zur Approximation des LCS entwickelt. In diesem Vortrag wird eine hinreichende und notwendige Bedingung vorgestellt, unter welcher der LCS von zwei EL-Konzepten bezüglich einer generellen EL-TBox existiert, sodass entschieden werden kann, ob eine berechnete Approximation des LCS exakt ist oder nicht. Zudem wird gezeigt, dass die Existenz des LCS in diesem Zusammenhang entscheidbar ist und, darauf aufbauend, dass eine obere Schranke für die Rollentiefe des LCS angegeben werden kann, falls der LCS existiert.

Letztmalig verändert: 15.06.2012, 09:37:39