Jan Hladik  Home/Search
Context
Related
| sunsite.informatik.rwth...05hladik.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sunsite.informatik.rwthaachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper a TS for SHIO, an expressive DL whose computational properties to the best of our knowledge have not been analysed so far. The purpose of this is two-fold: rstly, we obtain that SHIO satis ability is ExpTime-complete and can be decided by a tableau algorithm. Secondly, the succinctness of the proofs demonstrates how our framework simpli es the design of tableau algorithms (Update)
Active bibliography (related documents): More All
0.5: Decidability of Class-Based Knowledge Representation Formalisms - De Giacomo (1995) (Correct)
0.5: Tableau Systems for SHIO and SHIQ - Hladik, Model (Correct)
0.1: Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
Similar documents based on text: More All
0.4: Spinoza's Ontology - Hladik (2004) (Correct)
0.2: Implementation and Evaluation - Of Tableau Algorithm (Correct)
0.2: Implementing the n-ary Description Logic GF1- - Hladik (2000) (Correct)
BibTeX entry: (Update)
@misc{ hladik-tableau,
author = "Jan Hladik",
title = "A Tableau System for the Description Logic SHIO",
url = "citeseer.ist.psu.edu/694411.html" }
Citations (may not include all citations):148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999 ACM DBLP
40 Ontology reasoning in the SHOQ (context) - Horrocks, Sattler - 2001
17 An overview of tableau algorithms for description logics - Baader, Sattler - 2001 DBLP
11 Terminological cycles and the propositional -calculus (context) - Schild - 1994
9 Logic-based knowledge representation - Baader - 1999 DBLP
3 From tableaux to automata for description logics (context) - Baader, Hladik et al. - 2003 ACM DBLP
2 Attributive concept descriptions with unions and complements (context) - Schmidt-Schau, Smolka - 1988
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-106/): More
Uniform Variable Splitting - Antonsen (Correct)
Proof Reuse for Program Verification Calculi - Beckert, Klebanov (Correct)
DPLL-based Procedure for Equality Logic with Uninterpreted.. - Tveretina (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC