OBDD-based Tbox Reasoning in SHIQ

Sebastian RudolphSebastian Rudolph, Markus KrötzschMarkus Krötzsch, Pascal HitzlerPascal Hitzler

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008

Details
Bibtex

KurzfassungAbstract
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered binary decision diagrams (OBDDs) as a datastructure for storing and operating on large model representations. We thus draw on the success and the proven scalability of OBDD-based systems. To the best of our knowledge, we present the very first algorithm for using OBDDs for reasoning with general TBoxes.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

@techreport{RKH2008,
  author      = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
  title       = {OBDD-based Tbox Reasoning in {SHIQ}},
  institution = {Universit{\"{a}}t Karlsruhe},
  year        = {2008},
  month       = {January}
}