The RacerPro knowledge representation and reasoning system
Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel · Semantic Web · 2012
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge as well as for representations of knowledge about indiv