benchmarking - 如何找到 OWL Lite、DL、Full 推理规则？

Question

我想查找推断规则和规则信息。

但是，W3C 提供了示例： http ://www.w3.org/TR/2004/REC-owl-guide-20040210/#owl_sameAs

（推断规则考试）

owl:sameAs(?a, ?b) ^ owl:sameAs(?b, ?c) ^ notEqual(?a, ?b) ^ notEqual(?b, ?c) -> owl:sameAs(?a, ?c)

Answer 1

如果要进行推理，则需要使用能够进行推理的东西。您可以使用专用的推理器，例如 Pellet、Hermit 或 Fact++，或支持推理的 rdf 数据库，例如 Stardog 或 OWLIM。

您可能还想查看当前版本的 OWL，因为您引用的文档已经很旧了。