A Tableau System for the Description Logic SHIO

J. HladikJ. Hladik

Datei:Hladik-IJCAR-04.ps.gz

Download

J. Hladik
A Tableau System for the Description Logic SHIO
In Ulrike Sattler, eds., Contributions to the Doctoral Programme of IJCAR 2004, 2004. CEUR

Details
Bibtex

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},
}