问题标签 [hermit]

在 protege 中，自反属性被分配给所有个人，而不管领域和范围以及个人所属的类别。
那么这个限制有什么用呢？

PS：假设有三个人：

和一个对象属性：

运行颗粒推断：

这个推论在概念上是没有意义的

我使用对象属性O将 ClassA与 Class相关联B。我也分别有实例a和b类。我使用相同的对象属性来关联实例和.ABOab

同样，我使用相同的对象属性O与 链接a，c其中c是 Class 的一个实例，C它不与类链接A或B使用任何对象属性。推理者仍在证明本体是一致的。我的问题是“这不应该被推理者标记为不一致吗？请告诉我你的答案，答案是'是'还是'否'以及你答案背后的原因”？

提前致谢。

我有一个 .owl 文件，其语法如下：

所以我可以得到一个人的注释：

这将返回一个注释列表，其中每个注释的主题都是个人，并且值与示例文件对象中的值类似，并且按预期工作。

但我需要以某种方式获取一个列表，其中注释的值是个人的 IRI，并且主题将类似于文件主题中的示例。

提前致谢！

我正在使用 OWLAPI 5.1.9 和 HermiT 1.4.5.519 以便在本体上自动生成一些 DL。我使用了https://github.com/phillord/owl-api/blob/master/contract/src/test/java/org/coode/owlapi/examples/DLQueryExample.java上的示例代码 DLQueryExample刚刚修改为使用隐士推理者。

HermiT 推理器至少似乎可以工作，但是如果我引入本体的类名，则会显示此错误：

线程“main” org.semanticweb.owlapi.manchestersyntax.renderer.ParserException 中的异常：在第 1 行第 1 列遇到质量。预期其中之一：类名称对象属性名称数据属性名称反转不是（{

DL 查询的语法是否与 Protégé 中使用的相同？

我认为我仍然对 OWL 公理有一个基本的误解 :(。

这是我创建的一个小型测试本体：

当我在 Protege 中运行 Hermit 推理器时，我得到了预期的结果:Ind2，即它是 的成员:Class2。但:Ind1对于成为:Class1.

我怀疑这与开放世界假设有关，并且:Ind1可能还有另一个:prop1断言。所以几个问题：

• 我是否正确诊断出问题？
• 我能否举一个例子，说明如何:Ind1在:Class1不明确做出断言的情况下让隐士推理出我的目标？

谢谢

我正在使用 OWL-API 使用 SWRL 规则加载和 owl 本体。

我用以下代码加载了一个本体：

然后我实例化一个隐士推理器：

最后，我想查询这个模型：

但是没有使用推理器。有没有办法在打开推理器的情况下在图形上使用 SPARQL 查询？

VOS DL、EL、QL、RL 支持哪些类型的 OWL 配置文件？是否可以使用或集成标准推理器？（隐士、丸等）

假设一个 OWL 本体包含以下 SWRL 规则：

和以下对象属性断言：

当我在 Protege 中运行 Hermit 推理器时，我得到以下推断的对象属性断言：

但是，当我使用 owlready2 加载相同的本体并运行其 Hermit 推理器时，我没有得到任何推断的对象属性断言。例如：

不返回任何属性。

我确实以 RDFXML 格式保存了本体，并且可以使用 owlready2 检索 SWRL 规则。

owlready2 推理器不支持这种推理吗？

这个本体似乎并不完全符合我的想法：

使用隐士推理器将其加载到 protege 中，我不认为它是orCClass的子类。但是，以下工作：AClassBClass

好奇为什么我需要添加rdf:type owl:Class.

1. 不是[ ... ]自动类型owl:Class吗？
2. 或者是两者的交集owl:Class使它如此？

谢谢

我正在尝试使用 GraphDB 免费版 9.5.1 根据值范围对个人进行分类。但是，尽管使用了 OWL-RL 推理器，我并没有得到预期的结果。

我已经建立了一个包含三个类的简单本体。一个person类，有两个子类：newborn和子类。

本体具有一个数据属性age。Anewborn被定义为（即等同于）具有 的人age value 0，而孩子被定义为具有 的人age > 0。这是曼彻斯特语法中的 OWL：

为了检验推理，我定义了两个个体：

• person0年龄为 0
• person1年龄 > 1

这是猫头鹰：

使用 Protege，我能够运行 HeremiT 推理器并获得预期的结果：

• person0被归类为newborn
• person1被归类为child

但是，当我使用 OWL-RL 推理将本体加载到 GraphDB 中时，结果是不同的：person1不是归类为 a ，而是归类为 a 。childperson0newborn

GraphDB 推理器是否适用于值范围，例如xsd:integer[> 0]？

谢谢！