Téléchargez gratuitement RacerPro 2.0 dans notre logithèque. Retrouvez RacerPro dans notre catégoie Éducation et Science et plus précisément Outils Scientifiques. C'est grâce à Racer Systems GmbH & Co. KG que ce logiciel a vu le jour. Parmis les utilisateurs de ce logiciel, les versions les plus téléchargées sont les versions 2.0 et 1.9. Le fichier d'installation du programme est habituellement : RacerPro.exe.
Du développeur:
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.
Utilisateur de RacerPro, vous pourriez être intéressé aussi par ces logiciels : Omni-Rig, PINs ou COMPASS.