ML Anthology

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
AAAI 2008 pp. 529-534
/aaai/2008/rudolph2008aaai-terminological/

Abstract

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.

PDF AAAI Semantic Scholar

Cite

Text

Rudolph et al. "Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Rudolph et al. "Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/rudolph2008aaai-terminological/)

BibTeX

@inproceedings{rudolph2008aaai-terminological,
  title     = {{Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams}},
  author    = {Rudolph, Sebastian and Krötzsch, Markus and Hitzler, Pascal},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {529-534},
  url       = {https://mlanthology.org/aaai/2008/rudolph2008aaai-terminological/}
}