- search hit 1 of 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.
Author: | Dennis Faßbender |
---|---|
URN: | urn:nbn:de:kola-6209 |
Referee: | Ulrich Furbach, Claudia Schon |
Document Type: | Diploma Thesis |
Language: | English |
Date of completion: | 2012/04/02 |
Date of publication: | 2012/04/02 |
Publishing institution: | Universität Koblenz, Universitätsbibliothek |
Granting institution: | Universität Koblenz, Fachbereich 4 |
Release Date: | 2012/04/02 |
Tag: | Beschreibungslogik; Hypertableaux description logic; hypertableaux; shiq |
Number of pages: | 66 |
Institutes: | Fachbereich 4 / Fachbereich 4 |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Licence (German): | Es gilt das deutsche Urheberrecht: § 53 UrhG |