Selected publications
- Volker Haarslev, Kay Hidde, Ralf Möller, and Michael
Wessel. The RacerPro knowledge representation and reasoning
system. Semantic Web Journal, 3(3):267–277, 2012.
Bibtex entry Paper (PDF) - M. Wessel and R. Möller.
Flexible Software Architectures for Ontology-Based Information Systems.
In Journal of Applied Logic, Special Issue on Empirically
Successful Systems, 7(1): 75–99, 2009.
Bibtex entry Paper (PDF) - V. Haarslev and R. Möller.
On the Scalability of Description Logic Instance Retrieval.
Journal of Automated Reasoning, 41(2):99–142, 2008.
Bibtex entry Paper (PDF) - V. Haarslev and R. Möller.
Racer System Description.
In Proceedings of International Joint Conference on Automated
Reasoning, IJCAR'2001: 701-705,
Springer, 2001.
Bibtex entry Paper (PDF)