
RacerPro
Descripción

RacerPro 2.0 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. RacerPro forma parte del grupo de programas Educación y Ciencia.
Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. El nombre de archivo de instalación del programa más común es: RacerPro.exe. Las versiones de la aplicación más usadas son 2.0 y 1.9. Este programa fue desarrollado originariamente por Racer Systems GmbH & Co. KG.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como MultiMedia Logic o Actual Multiple Monitors, que podrían ser parecidos a RacerPro.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.