A Tableau Decision Procedure for SHOIQ
A Tableau Decision Procedure for SHOIQ is a scholarly work by Ian R. Horrocks and Ulrike Sattler, published in 2007 in ''Journal of Automated Reasoning''. The main subjects of the publication include mathematics, consistency, Semantic Web, theoretical computer science, decidability, programming language, ontology, statistical machine translation, basis, computer science, discrete mathematics, description logic, and algorithm. The authors present such a decision procedure for $\mathcal{SHOIQ}$ , a slightly more expressive logic than $\mathcal{SHOIN}$ , extending the well-known algorithm for $\mathcal{SHIQ}$ , which is the basis for several highly successful implementations.