Sparql 使用OWL推理可以做什么？

我正在研究OWL本体，我需要一些具体的问题 我只需要本体模式（TBox），我迷路了，可以进行哪些操作 使用推理、sparql和OWL API完成

更具体地说，我需要以下几点： 1-检查类和属性之间的基数。 2-查找特定类的包含关系。 3-检查具体事实是否成立（例如，两个类别是否不相交） 4-查找一组类之间的路径（类属性系列）

推理、sparql和OWLAPI分别用于什么？哪一个适合我的情况

事实上，我不知道如何开始和使用什么技术。 此外请你给我介绍一些参考资料好吗

---

谢谢。

第一个问题不清楚：您想知道哪些基数公理是被断言的吗？这可以在没有推理机的情况下完成。第四点也有点模糊，你能举个例子吗

2、3和5要求推理机准确执行

推理机是一个将显式隐式信息的程序：包容、实现、一致性检查都是需要推理机的操作。在你的任务中，包容显然是必要的

OWLAPI是操作OWL本体的JavaAPI；在您的情况下，编写连接代码以使用推理器执行任务可能会很有用。兼容的推理机有Pellet、HermiT、FaCT++等

SPARQL是一种RDF查询语言。OWLAPI不支持它。您可以将它用于您的任务，但在我看来，它们更面向OWL，而不是面向RDF。Jena是一个Java库，支持RDF、OWL、SPARQL以及与诸如Pellet之类的推理器的接口。根据您决定如何解决上述任务，它可能比OWLAPI更适合您的需求

耶拿教程：

OWLAPI文档：

---

在兄弟会复制您来自哪里？请给我发电子邮件。jamalkio@yahoo.com. 我们需要分享一些想法。我确实需要你的帮助。谢谢。在医疗领域本体中阐明1和4：1：让我们考虑一个患者类和一个疾病类，一个病人可能有不止一个疾病（例如最多十个），因此我们可以在本体中定义一个基数限制（患者Hasdisease病），其最小基数为1，最大为10。我想为本体中的一些类检索这些基数限制。SO 4的最佳方式是什么？让我们考虑我们的本体（病人Hasdisease病）中的下列公理，（治愈疾病的代价），（治愈费用成本），然后我想检索这一整套的类和他们的对象属性（病人，Hasdisease，疾病，HasCube，Primes，HasBase，Cube），（可以被视为图深度搜索）。如何使用本体工具执行它？最后，我只对TBox感兴趣。我不在乎这样做是否会造成一些不同。但仍然不明白sparql和reasoner有什么不同。sparql用于什么类型的查询？sparql不同于推理机，就像SQL不同于数据库一样：一种是询问查询的语言，另一种是回答这些查询的工具。关于其他问题，owlapi和Jena都可以用于此目的。我建议阅读他们的文档，这里有教程和示例来了解他们是如何工作的。我已经添加了答案的链接。非常感谢：）