Für diesen Artikel ist leider kein Bild verfügbar.

Erklärung und Korrektur von Nicht-Subsumtion in Ontologien

Tableaubasiertes Explaining

Julian Lambertz (Autor)

Buch | Softcover

76 Seiten

2008
VDM Verlag Dr. Müller e.K.
978-3-639-06278-6 (ISBN)

Titel nicht im Sortiment

Artikel merken

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 großem 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.

Lambertz, Julian Julian Lambertz, Diplom-Informatiker: Studium der Informatik mit Anwendungsfach Wirtschaftswissenschaften an der Universität Ulm. Seit 2007 im Bereich Knowledge Engineering tätig.

Sprache	deutsch
Maße	150 x 5 mm
Gewicht	115 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
Themenwelt	Mathematik / Informatik ► Informatik ► Web / Internet
Schlagworte	semantic web
ISBN-10	3-639-06278-7 / 3639062787
ISBN-13	978-3-639-06278-6 / 9783639062786
Zustand	Neuware