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)