Zobacz książki o podobnej tematyce

Więcej informacji o Erklärung und Korrektur von Nicht-Subsumtion in Ontologien

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 124 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po niemiecku Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Internet

• Pełny tytuł: Erklärung und Korrektur von Nicht-Subsumtion in Ontologien
• Podtytuł: Tableaubasiertes Explaining
• Autor: Julian Lambertz
• Język: Niemiecki
• Oprawa: Miękka
• Liczba stron: 76
• EAN: 9783639062786
• ID: 06815659
• Wydawca: VDM Verlag Dr. Müller
• Waga: 130 g
• Wymiary: 5 × 150 × 5 mm
• Rok wydania: 2008

Ulubione w innej kategorii

---

---

---