« Lisp und Musik | Concordia » |
RacerPro
Racer Systems und Franc Inc. gehen gemeinsame Wege mit RacerPro und den dazu gehörenden Tools wie z.B. RacerPorter.
Was ist RacerPro?
"The RacerPro system is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic."
[mehr Infos]
RacerPro ist ein kommerzielles System, aber es muss toll sein, damit zu arbeiten! (dieses "aber" ist unlogisch, ich weiss...)
Für Forschungsinstitutionen gibt es eine Educational Licence, wie restriktiv die Vergabe derselben ist, weiss ich nicht... ("We may also contact you personally or the head of your faculty to learn more about your project and your interests.")
Deprecated: Assigning the return value of new by reference is deprecated in /var/www/html/skins/_item_feedback.inc.php on line 156