---
title: "A Tableaux Decision Procedure for SHOIQ"
authors:
  - "Ian Horrocks"
  - "Ulrike Sattler"
doi: ""
url: "https://ijcai.org/proceedings/2005/75"
pdf: "https://ijcai.org/proceedings/2005/0075.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "448-452"
track: ""
keywords:
---

# A Tableaux Decision Procedure for SHOIQ

Ian Horrocks, Ulrike Sattler

*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.