Implementation and Optimisation Techniques
I. Horrocks
Book Title
The Description Logic Handbook: Theory‚ Implementation‚ and Applications
Chapter
9
Editor
Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel−Schneider
ISBN
0−521−78176−0
Pages
306–346
Publisher
Cambridge University Press
Year
2003