RacerPro 2.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Retrouvez RacerPro dans notre catégoie Éducation et Science et plus précisément Outils Scientifiques. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.
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 : Absolute Color Picker ActiveX Control ou IMS.