TY  - GEN
A1  - Faßbender, Dennis
T1  - The DLE-Hyper Tableau Calculus: a Decision Procedure for SHIQ
N2  - 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.
KW  - Hypertableaux
KW  - Beschreibungslogik
KW  - hypertableaux
KW  - description logic
KW  - shiq
Y1  - 2012
UR  - https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/620
UR  - https://nbn-resolving.org/urn:nbn:de:kola-6209
ER  -