SHOIQ"/> Department of Computer Science, University of Oxford: Publication - A Tableau Decision Procedure for <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHOIQ</span></span>
University of Oxford Logo University of OxfordDepartment of Computer Science - Home

A Tableau Decision Procedure for SHOIQ

Ian Horrocks and Ulrike Sattler

Details

ISSN

0168−7433
Journal

J. of Automated Reasoning
Number

3
Pages

249–276
Volume

39
Year

2007

Links

BibTeX

Link (pdf)

DOI (10.1007/s10817-007-9079-9)

Related pages