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.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Dennis Faßbender
URN:urn:nbn:de:kola-6209
Referee:Ulrich Furbach, Claudia Schon
Document Type:Diploma Thesis
Language:English
Date of Publication (online):2012/04/02
Date of first 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
Page Number: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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.