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