VDM Lambertz, J: Erklärung und Korrektur von Nicht-Subsumtion in

Durch die Entwicklung des Semantic Web beschäftigen sich auch zunehmend Menschen mit der Modellierung von Ontologien, denen detailliertere Kenntnisse über die zu Grunde liegenden Beschreibungslogiken fehlen. Da die in diesem Kontext verwendeten Inferenzdienste auf sehr komplizierten Algorithmen beruhen, sind die Schlussfolgerungen von Reasonern oftmals schwer nachzuvollziehen. Dies ist aber insbesondere dann wichtig, wenn es darum geht, Fehler in einer Modellierung zu finden. Eine Vereinfachung des Umgangs mit den entsprechenden Anwendungen ist daher von grossem Interesse. Bei der Modellierung einer Ontologie kommt es oft vor, dass der Benutzer eine Subsumtion zweier Konzepte erwartet, sich diese aber bei Überprüfung mit einem Reasoner als nicht gültig herausstellt. Diese Arbeit beschäftigt sich mit der Erklärung und Korrektur von Nicht-Subsumtion. Es werden Ideen präsentiert, wie eine in einen Tableau-Reasoner integrierte Erklärungskomponente eine Nicht-Subsumtion zweier Konzepten einer TBox erklären und Vorschläge zur Korrektur unterbreiten kann. Das Buch richtet sich an Informatiker und andere Interessierte, die bereits über Kenntnisse im Bereich Beschreibungslogiken verfügen.