A Tableaux Decision Procedure for SHOIQ

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. 

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Horrocks2005ATD, title={A Tableaux Decision Procedure for SHOIQ}, author={Ian Horrocks and Ulrike Sattler}, booktitle={IJCAI}, year={2005} }