Optimisation of Terminological Reasoning
I. Horrocks and S. Tobies
Book Title
Proc. of the 2000 Description Logic Workshop (DL 2000)
ISBN
3−86073−726−0
ISSN
1437−8396
Pages
183–192
Year
2000
I. Horrocks and S. Tobies