RacerPro 2.0 está presente como download na nossa biblioteca de programas. Esse software foi originalmente produzido por Racer Systems GmbH & Co. KG. O arquivo do instalador do programa é conhecido como RacerPro.exe. As seguintes versões são as mais frequentemente baixadas pelos usuários do programa: 2.0 e 1.9. O programa fica na subcategoria Ferramentas de Ciência, que fica dentro de Educação.
Do desenvolvedor:
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.
Confira mais programas, tais como Omni-Rig, PINs ou COMPASS, que podem ser relacionados a RacerPro.