DBLP:journals/corr/cs-LO-0005017

Has publishing details cs.LO/0005017, 2000

Has title Reasoning with Individuals for the Description Logic SHIQ

Has url http://www.informatik.uni-trier.de/~ley/db/journals/corr/corr0005.html#cs-LO-0005017

Has where published CoRR

Has year 2000

Has author Ian Horrocks +, Ulrike Sattler +, Stephan Tobies +

Has identifier DBLP:journals/corr/cs-LO-0005017 +

Categories Journal Paper +