The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 82 of 406
Back to Result List

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

Share in Twitter Search Google Scholar
Author:Dennis Faßbender
Referee:Ulrich Furbach, Claudia Schon
Document Type:Diploma Thesis
Date of completion:2012/04/02
Date of publication:2012/04/02
Publishing institution:Universität Koblenz-Landau, Universitätsbibliothek
Granting institution:Universität Koblenz-Landau, Campus 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):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG