是否有与 Web 本体语言兼容、在 Mac 上本地运行的语义推理器？答案

【问题标题】：Are there semantic reasoners which are compatible with the Web Ontology Language, running natively on the Mac?是否有与 Web 本体语言兼容、在 Mac 上本地运行的语义推理器？
【发布时间】：2011-08-18 00:34:43
【问题描述】：

我对此感到好奇并想尝试一下。但我是 Mac 用户，我能找到的都是基于 Java 的。由于未知原因，我无法在我的 Mac 上运行 Java 应用程序，我更喜欢原生的。

我有什么选择？

【问题讨论】：

标签： macos artificial-intelligence semantics owl reasoning

【解决方案1】：

FaCT++ 是一个支持 OWL DL 和（部分）OWL 2 的 DL 推理器。它是用 C++ 实现的，并且有可用于download 的 OS X 二进制文件。

但总的来说，我建议您在 Mac 上修复 Java 基础架构。

【讨论】：

【解决方案2】：

我相信Racer Pro 在 Mac OS X 上有一个原生界面。虽然它不是免费的：license scheme。您可以申请试用许可证。

不过，我同意 Kaarel 的观点；您可能想先在 Mac 上修复 Java。看看你能不能在Java security updates找到任何东西。

【讨论】：