我正在研究 OWL 本体，我需要一些特定的问题我只需要本体模式（TBox）并且我迷路了，使用推理和 sparql 和 OWL API 可以完成哪些操作？
更具体地说，我需要以下内容：1-检查类和属性之间的基数。2-找到特定类的包含关系。3-检查特定事实是否成立（例如，两个类是否不相交） 4-找到一组类之间的路径（类属性系列）。
推理、sparql 和 OWL API 分别用于什么？哪一个适合我的情况？
实际上我不知道如何开始以及使用什么技术。此外。请给我一些参考资料好吗？
谢谢。
问问题
619 次
1 回答
1
第 1 点不清楚：您想知道断言了哪些基数公理吗？这可以在没有推理机的情况下完成。第4个也有点模糊，你能举个例子吗？
2、3 和 5 需要推理机才能准确执行。
推理器是一个将显式隐含信息的程序：包含、实现、一致性检查都是需要推理器的操作。在你的任务中，显然需要包容。
OWLAPI 是一个用于操作 OWL 本体的 Java API；在您的情况下，编写连接代码以使用推理器来完成您的任务可能会很有用。兼容的推理器有 Pellet、HermiT、FaCT++ 等等。
SPARQL 是一种 RDF 查询语言。OWLAPI 不支持它。您可以将它用于您的任务，但在我看来，它们看起来更面向 OWL 而不是面向 RDF。Jena 是一个 Java 库，支持 RDF、OWL、SPARQL 以及与 Pellet 等推理器的接口。根据您决定如何解决上述任务，它可能比 OWLAPI 更符合您的要求。
耶拿教程： https ://jena.apache.org/tutorials/index.html
OWLAPI 文档： https ://github.com/owlcs/owlapi/wiki/Documentation
于 2014-09-16T21:05:00.003 回答