Implementation

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.
BibTeX entry, Reprints, Copyright

I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
BibTeX entry, Compressed PS