RacerPro is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic.
It offers reasoning services for multiple T-boxes and for multiple A-boxes as well. The system implements the description logic ALCQHIR also known as SHIQ. This is the basic logic ALC augmented with qualifying number restrictions, role hierarchies, inverse roles, and transitive roles.
In addition to these basic features, RacerPro also provides facilities for algebraic reasoning including concrete domains for dealing with min/max restrictions over the integers, linear polynomial (in-)equations over the reals or cardinals with order relations and equalities and inequalities of strings.
Comments