Practical Reasoning for Expressive Description Logics
I. Horrocks‚ U. Sattler and S. Tobies
Annote
AKA: Horrocks99j
Book Title
Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99)
Editor
H. Ganzinger and D. McAllester and A. Voronkov
ISBN
3−540−66492−0
Number
1705
Pages
161–180
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Year
1999