我们可以将 OWL 或 RDF 文件转换为一阶逻辑 (FOL) 吗？答案

【问题标题】：Can we convert OWL or RDF file into First Order Logic (FOL)?我们可以将 OWL 或 RDF 文件转换为一阶逻辑 (FOL) 吗？
【发布时间】：2019-11-21 06:15:00
【问题描述】：

我很高兴知道，是否有任何方法可以将 RDF 或 OWL 转换为一阶逻辑 (FOL) 格式？

提前致谢

亲切的问候

【问题讨论】：

学士论文中的一些 Java 代码：citeseerx.ist.psu.edu/viewdoc/…
非常感谢 AKSW 的支持。
欢迎来到 StackOverflow。您能告诉我们为什么需要将 OWL 翻译成 FOL 吗？您打算如何处理生成的一组一阶公式。如果没有这样的细节，问题更多的是理论上的性质，除非简短的“是”不是您要寻找的答案，否则这篇文章将更适合 Computer Science Stack Exchange。

【解决方案1】：

Hets 可以将 OWL 翻译成 FOL，参见 Hets homepage 和 online interface 如果您在本地安装了 Hets（或 Hets-server，或相应的 docker container），您可以例如通过

将TPTP syntax中的OWL文件（任何语法）翻译成FOL

hets -t OWL22CASL:CASL2TPTP_FOF -o tptp -v2 my_ontology.owl

有

hets -t OWL22CASL -o casl -v2 my_ontology.owl

CASL syntax 的可读性更高但不太熟悉。

【讨论】：