我对此很感兴趣，并想做一些实验。但我是一个Mac用户，我能找到的都是基于Java的。 由于未知原因，我无法在我的Mac上运行Java应用程序，并且我更喜欢原生的东西。

我有哪些选择？

回答：

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

但总的来说，我建议你修复Mac上的Java基础设施。