caa a22 4500 463182855 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20071001xx s 000 0 eng 10.1007/s10817-007-9079-9 doi (NATIONALLICENCE)springer-10.1007/s10817-007-9079-9 A Tableau Decision Procedure for $\mathcal{SHOIQ}$ [Elektronische Daten] [Ian Horrocks, Ulrike Sattler] OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic $\mathcal{SHOIN}$ . Although the ontology consistency problem for $\mathcal{SHOIN}$ is known to be decidable, up to now there has been no known "practical” decision procedure, that is, a goal-directed procedure that is likely to perform well with realistic ontology derived problems. We 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. Springer Science+Business Media B.V., 2007 Description logic nationallicence Decision procedures nationallicence Horrocks Ian School of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK aut Sattler Ulrike School of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK aut Journal of Automated Reasoning Springer Netherlands 39/3(2007-10-01), 249-276 0168-7433 39:3<249 2007 39 10817 https://doi.org/10.1007/s10817-007-9079-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-007-9079-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Horrocks Ian School of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK aut NATIONALLICENCE 700 1- Sattler Ulrike School of Computer Science, University of Manchester, Oxford Road, M13 9PL, Manchester, UK aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Springer Netherlands 39/3(2007-10-01), 249-276 0168-7433 39:3<249 2007 39 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer