The Camelot project aims to develop a practical knowledge management system. As reasoning with logics of the required expressive power has a high theoretical complexity, it is essential to include a wide range of optimisation techniques in the implementations.
Details of these techniques can be found in:
I. Horrocks and P. F. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.Back to the Camelot home page.
BibTeX entry, Reprints, Copyright
I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
BibTeX entry, Compressed PS