A Hypertableau Calculus for SHIQ

Has publishing details , 2007

Has title A Hypertableau Calculus for SHIQ

Has url http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2007.html#MotikSH07

Has where published Description Logics

Has year 2007

Has author Boris Motik +, Rob Shearer +, Ian Horrocks +

Has identifier A Hypertableau Calculus for SHIQ +

Categories Proceeding Paper +