Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

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

ISBN: 978-1-57735-368-3
Download

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press

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.
Bemerkung: Note: Please refer to the more comprehensive journal paper Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog instead.
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

/* Please refer to the 2012 journal paper instead */
@inproceedings{RKH2008,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
  title     = {Terminological Reasoning in {SHIQ} with Ordered Binary Decision
               Diagrams},
  editor    = {Dieter Fox and Carla P. Gomes},
  booktitle = {Proceedings of the 23rd {AAAI} Conference on Artficial
               Intelligence (AAAI-08)},
  publisher = {AAAI Press},
  year      = {2008},
  pages     = {529-534}
}