Существуют ли семантические рассуждения, совместимые с языком веб-онтологий, которые изначально работают на Mac?

Question

Мне интересно об этом, и я хочу поэкспериментировать.Но я пользователь Mac, и все, что я мог найти, было на основе Java.Я не могу запускать приложения Java на своем Mac по неизвестной причине, и я предпочел бы что-то родное.

Какие у меня есть варианты?

Answer 1

FaCT ++ - это аргумент DL, который поддерживает OWL DL и (частично) OWL 2. Он реализован на C ++, и существуют бинарные файлы OS X, доступные для скачать .

Но в целом я бы порекомендовал вам исправить инфраструктуру Java на вашем Mac.

Answer 2

Я полагаю, Racer Pro имеет собственный интерфейс в Mac OS X. Однако он не бесплатный: схема лицензирования . Вы можете запросить пробную лицензию.

Я согласен с Каарелем, хотя; Вы можете сначала исправить свою Java на Mac. Посмотрите, сможете ли вы найти что-нибудь в обновлениях безопасности Java .