如何找到OWL Lite，DL，完全推断规则？

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 ++，或支持Stardog或OWLIM等推理的rdf数据库。

您可能还想查看current version of OWL，因为您引用的文档已经过时了。