A Tableaux Decision Procedure for SHOIQ

Horrocks, Ian; Sattler, Ulrike

A Tableaux Decision Procedure for SHOIQ

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 448-452.

Abstract

This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.

Ian Horrocks, and Ulrike Sattler. 2005. A Tableaux Decision Procedure for SHOIQ. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 448–452. https://ijcai.org/proceedings/2005/75

@inproceedings{ijcai2005p75,
  title     = {A Tableaux Decision Procedure for SHOIQ},
  author    = {Horrocks, Ian and Sattler, Ulrike},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {448--452},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/75},
}

TY  - CPAPER
TI  - A Tableaux Decision Procedure for SHOIQ
AU  - Horrocks, Ian
AU  - Sattler, Ulrike
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 448
EP  - 452
UR  - https://ijcai.org/proceedings/2005/75
ER  -