Reasoning with Axioms: Theory and Practice
I. Horrocks and S. Tobies
Annote
AKA: Horrocks00a
Book Title
Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000)
ISBN
1−55860−690−4
Pages
285–296
Year
2000
I. Horrocks and S. Tobies