Answers are grounded in this paper and cite their sources.
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
No takes yet. Share an insight, caveat, or question.
Haarslev et al. (2012) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: