A Tableau Decision Procedure for SHOIQ

From Tetherless World Wiki

DBLP:journals/jar/HorrocksS07 +  redirect page A Tableau Decision Procedure for SHOIQ +  Has identifier

A Tableau Decision Procedure for SHOIQ

Has publishing details  39(3):249-276, 2007 Has title  A Tableau Decision Procedure for SHOIQ Has url  http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar39.html#HorrocksS07 Has where published  J. Autom. Reasoning Has year  2007 Has author  Ian Horrocks +, Ulrike Sattler + Has identifier  A Tableau Decision Procedure for SHOIQ + Categories  Journal Paper +

 

Enter the name of the page to start browsing from.