prolog - 如何使用 OWL/RDL 表示和查询连通图？

Question

在 PROLOG 中，您可以表示和查询连接图，如本教程中所示：

http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html

您将如何使用诸如 Protégé ( http://protege.stanford.edu/ ) 之类的 OWL/RDL 工具来做到这一点？

Answer 1

我相信您可以通过使用语义推理器来实现这一点，例如Racer Pro（非免费）和Pellet（免费，如果在开源项目中使用不足，则开源）。

这个维基百科页面提供了一个完整的推理器列表，并带有一个比较表。