Existe-t-il des raisonneurs sémantiques compatibles avec le langage d'ontologie Web, fonctionnant nativement sur Mac?

Question

Je suis curieux à ce sujet et je veux expérimenter.Mais je suis un utilisateur Mac et tout ce que j'ai pu trouver était basé sur Java.Je ne peux pas exécuter d'applications Java sur mon Mac pour une raison inconnue et je préfère quelque chose de natif.

Quelles sont mes options?

Answer 1

FaCT ++ est un raisonneur DL qui prend en charge OWL DL et (partiellement) OWL 2. Ilest implémenté en C ++ et des binaires OS X sont disponibles pour télécharger .

Mais en général, je vous recommande de réparer votre infrastructure Java sur votre Mac.

Answer 2

Je pense que Racer Pro a une interface native sur Mac OS X. C'estpas gratuit cependant: système de licence .Vous pouvez demander une licence d'essai.

Je suis cependant d'accord avec Kaarel;vous voudrez peut-être d'abord réparer votre Java sur Mac.Voyez si vous pouvez trouver quelque chose dans les mises à jour de sécurité Java .