A Tableaux Decision Procedure for SHOIQ

Has publishing details pp. 448-453, 2005

Has title A Tableaux Decision Procedure for SHOIQ

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#HorrocksS05

Has where published IJCAI

Has year 2005

Has author Ian Horrocks +, Ulrike Sattler +

Has identifier A Tableaux Decision Procedure for SHOIQ +

Categories Proceeding Paper +