Implementation and Optimisation Techniques
I. Horrocks
Details
| 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 |