Directory of references:
Acknowledgements
The authors of Racer and RacerPro as well as the team at Racer Systems acknowledge the research work and developments by the community and want to thank all contributors and beta testers for their help on developing RacerPro. Without their cooperation our product wouldn't be what it is.
Code fragments used
The XML-based part of the input interface for RacerPro is implemented using the XML/RDF/RDFS/DAML parser Wilbur written by Ora Lassila.
The HTTP server for the DIG interface of RacerPro is implemented using CL-HTTP which is developed and owned by John C. Mallery, or using AllegroServe depending on the deployment system.
Fundamental research work
The publications listed below had great influence on the development of RacerPro.
Decidable Reasoning in Terminological Knowledge Representation Systems
By Buchheit, M. and Donini, F.M. and Schaerf, A.
In Journal of Artificial Intelligence Research, volume 1, 1993, pages 109 to 138.
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems
Or: Making KRIS get a move on
By Baader, F. and Franconi, E. and Hollunder, B. and Nebel, B. and Profitlich, H.J.
Article in the Applied Artificial Intelligence Journal, Special Issue on Knowledge Base Management, Volume 4, pages 109 to 132, 1994
Optimising Tableaux Decision Procedures for Description Logics
By I. Horrocks
PHD thesis at the University of Manchester, 1997
A PSpace-algorithm for deciding ALCNI_{R^+}-satisfiability
By I. Horrocks and U. Sattler and S. Tobies
In LTCS Report No. 98-08 of the LuFG Theoretical Computer Science, RWTH Aachen, 1998
A Description Logic with Transitive and Converse Roles and Role Hierarchies
By I. Horrocks and U. Sattler
In LTCS Report No. 98-05 of the LuFG Theoretical Computer Science, RWTH Aachen, 1998
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions
By I. Horrocks and U. Sattler and S. Tobies
In LTCS Report No. 99-08 of the LuFG Theoretical Computer Science, RWTH Aachen, 1999
Proceedings of the 17th International Conference on Automated Deduction {CADE-17)
By I. Horrocks and U. Sattler and S. Tobies
"Lecture Notes in Computer Science", No. 1831, edited by David MacAllester, 2000
Published by Springer Verlag, Germany
Reasoning with Axioms: Theory and Practice
By I. Horrocks and S. Tobies
In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR~2000), pages 285 to 296, ISBN: 1-55860-690-4
Practical Reasoning for Very Expressive Description Logics
By I. Horrocks and U. Sattler and S. Tobies
In Logic Journal of the IGPL, volume 8, No. 3, pages 239 to 264, May 2000
Optimised Reasoning for SHIQ
By I. Horrocks and U. Sattler
In LTCS Report No. 01-08 of the LuFG Theoretical Computer Science, RWTH Aachen, 2001
See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html
Optimised Reasoning for SHIQ
By I. Horrocks and U. Sattler
In Proc. of the 15th European Conference on Artificial Intelligence, 2002