A Tableaux Decision Procedure for SHOIQ.

Ian Horrocks, Ulrike Sattler

Browse the full IJCAI paper archive.