The RacerPro knowledge representation and reasoning system

Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel. The RacerPro knowledge representation and reasoning system. Semantic Web, 3(3):267-277, 2012. [doi]

@article{HaarslevHMW12,
  title = {The RacerPro knowledge representation and reasoning system},
  author = {Volker Haarslev and Kay Hidde and Ralf Möller and Michael Wessel},
  year = {2012},
  doi = {10.3233/SW-2011-0032},
  url = {http://dx.doi.org/10.3233/SW-2011-0032},
  researchr = {https://researchr.org/publication/HaarslevHMW12},
  cites = {0},
  citedby = {0},
  journal = {Semantic Web},
  volume = {3},
  number = {3},
  pages = {267-277},
}