- Treffer 1 von 1
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 |