A Tableau System for the Description Logic SHIO

From International Center for Computational Logic

Toggle side column

A Tableau System for the Description Logic SHIO

J. HladikJ. Hladik
J. Hladik
A Tableau System for the Description Logic SHIO
In Ulrike Sattler, eds., Contributions to the Doctoral Programme of IJCAR 2004, 2004. CEUR
  • KurzfassungAbstract
    Tableau systems are a framework for tableau algorithms which tries to combine the advantages of tableau and automata algorithms, in particular efficiency in practice and worst-case complexity. In this paper, we present a tableau system for the expressive description logic SHIO and prove that the satisfiability problem for SHIO concepts is EXPTIME-complete. The succinctness of the proofs illustrates the usefulness of the tableau system framework.
  • Bemerkung: Note: Available from ceur-ws.org
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Hladik-IJCAR-04,
  author = {J. {Hladik}},
  booktitle = {Contributions to the Doctoral Programme of {IJCAR} 2004},
  editor = {Ulrike {Sattler}},
  note = {Available from \texttt{ceur-ws.org}},
  publisher = {CEUR},
  title = {A Tableau System for the Description Logic {SHIO}},
  year = {2004},
}