The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ
- This thesis introduces the DLE-Hyper Tableau calculus, an extension of the E-Hyper Tableau calculus that is a decision procedure for the Description Logic SHIQ.
| Verfasserangaben: | Dennis Faßbender |
|---|---|
| URN: | urn:nbn:de:kola-6209 |
| Gutachter: | Ulrich Furbach, Claudia Schon |
| Dokumentart: | Diplomarbeit |
| Sprache: | Englisch |
| Datum der Fertigstellung: | 02.04.2012 |
| Datum der Veröffentlichung: | 02.04.2012 |
| Veröffentlichende Institution: | Universität Koblenz, Universitätsbibliothek |
| Titel verleihende Institution: | Universität Koblenz, Fachbereich 4 |
| Datum der Freischaltung: | 02.04.2012 |
| Freies Schlagwort / Tag: | Beschreibungslogik; Hypertableaux description logic; hypertableaux; shiq |
| Seitenzahl: | 66 |
| Institute: | Fachbereich 4 / Fachbereich 4 |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Lizenz (Deutsch): |  Es gilt das deutsche Urheberrecht: § 53 UrhG |
