Optimised Reasoning for SHIQ

Has publishing details pp. 277-281, 2002

Has title Optimised Reasoning for SHIQ

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ecai/ecai2002.html#HorrocksS02

Has where published ECAI

Has year 2002

Has author Ian Horrocks +, Ulrike Sattler +

Has identifier Optimised Reasoning for SHIQ +

Categories Proceeding Paper +