DBLP:conf/kr/HorrocksT00 + redirect page
Reasoning with Axioms: Theory and Practice + Has identifier
| Reasoning with Axioms: Theory and Practice |
Has publishing details
pp. 285-296, 2000
Has title
Reasoning with Axioms: Theory and Practice
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr2000.html#HorrocksT00
Has where published
KR
Has year
2000
Has author
Ian Horrocks +, Stephan Tobies +
Has identifier
Reasoning with Axioms: Theory and Practice +
Categories Proceeding Paper +
|
