Description Logic Reasoner: System Description

Has publishing details pp. 292-297, 2006

Has title Description Logic Reasoner: System Description

Has url http://www.informatik.uni-trier.de/~ley/db/conf/cade/ijcar2006.html#TsarkovH06

Has where published IJCAR

Has year 2006

Has author Dmitry Tsarkov +, Ian Horrocks +

Has identifier Description Logic Reasoner: System Description +

Categories Proceeding Paper +