DBLP:conf/cade/HorrocksST00 + redirect page
Reasoning with Individuals for the Description Logic SHIQ + Has identifier
| Reasoning with Individuals for the Description Logic SHIQ |
Has publishing details
pp. 482-496, 2000
Has title
Reasoning with Individuals for the Description Logic SHIQ
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/cade/cade2000.html#HorrocksST00
Has where published
CADE
Has year
2000
Has author
Ian Horrocks +, Ulrike Sattler +, Stephan Tobies +
Has identifier
Reasoning with Individuals for the Description Logic SHIQ +
Categories Proceeding Paper +
|
