Publications

A select list of publications from the Camelot project is given below. Gluttons for punishment can consult Ian Horrocks' complete list of publications.

D. Fensel, F. van Harmelen, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38-45, 2001.
BibTeX entry, Available here

I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In B. Nebel, editor, Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI-01), pages 199-204. Morgan Kaufmann, 2001.
BibTeX entry, PDF

I. Horrocks and S. Tobies. Optimisation of terminological reasoning. In Proc. of the 2000 Int. Workshop on Description Logics (DL2000), pages 183-192, 2000.
BibTeX entry, Compressed PS

I. Horrocks and S. Tessaris. A conjunctive query language for description logic aboxes. In Proc. of the 17th Nat. Conf. on Artificial Intelligence (AAAI-2000), pages 399-404, 2000.
BibTeX entry, Compressed PS

I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.
BibTeX entry, Compressed PS

I. Horrocks and P. F. Patel-Schneider. Evaluating optimised decision procedures for propositional modal K_(m) satisfiability. Journal of Automated Reasoning, to appear.
BibTeX entry, Reprints, Copyright

A. Borgida, E. Franconi, I. Horrocks, D. McGuinness, and P. F. Patel-Schneider. Explaining ALC subsumption. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), pages 37-40, 1999.
BibTeX entry, Compressed PS

S. Tessaris. Questions and answers: reasoning and querying in Description Logic. PhD thesis, University of Manchester, 2001.
Compressed PS

S. Bechhofer, I. Horrocks, P. F. Patel-Schneider, and S. Tessaris. A proposal for a description logic interface. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), pages 33-36, 1999.
BibTeX entry, Compressed PS

Sean Bechhofer, Ian Horrocks and Sergio Tessaris. CORBA interface for a DL Classifier. Internal Report. (81Kb compressed postscript)