问题标签 [owlim]

我想在 OWL 中使用属性链并在 FUSEKI / OWLIM 中进行推理，但我无法使用 OWL2 属性链进行推理。

我使用 Protege 工具来定义本体。本体文件包含以下“hasGrandParent”对象属性的属性链

• hasParent • hasParent → hasGrandParent

在 Protege 中启用推理器时，推理工作正常并显示关系（hasGrandParent 关系），但是当将相同的本体文件加载到 FUSEKI / OWLIM 时，推理不起作用。我肯定在配置中遗漏了一些东西。

任何人都可以请帮助使其正常工作。

这是 builtin_owl2-rl.pie 第 361 行

一些随机的东西来安抚stackoverflow的“AI”建议“这只是代码，添加解释”

嗨，我有一个 SPARQL 查询，它在 where 子句中有这个

现在，我得到了大部分这些，除了一件事。我不明白$dontgetthis。这是什么意思？ $dontgetthis不在查询中的其他任何地方使用。

我有用爱因斯坦谜语猫头鹰填充的 OWLIM 存储库。 链接1 -链接2 。是否可以使用 sparql 从 OWLIM 查询推断的知识？要获得与 Protege 中的单个选项卡相同的结果？

SPARQL：

Protege 和 OWLIM 具有相同的结果，只是显性知识。

但是（根据我的信息）在 Protege 中，SPARQL 查询仅适用于现有知识，OWLIM 使用现有和推断的三元组构建存储库。所以我也期望推断出三元组。

PS：查询以获取推断三元组的计数（OWLIM）：

返回 0。

** ** **编辑： ** ** **

我的配置：

如果我使用 owl2-rl 或 owl2-ql 或 w/e 其他方式，这并不重要。总是一样的结果。只有推断的三元组数变为正数。

推断的三元组对我来说没用，它们的示例：

我正在尝试为我的 Sesame 与后端数据库的连接实现断路器之类的东西。当数据库不存在时，我想在 2 秒后知道这一点，而不是依赖客户端的默认设置来超时。我可以用我自己的 FutureTasks 来克服这个问题，我将在其中执行存储库初始化和连接获取。但是在日志中，我可以看到 sesame 客户端使用oahicPoolingClientConnectionManager - 我打赌ExecutorService和一些默认超时已通过。这将使我的FutureTask解决方案变得非常混乱。有没有更简单的方法来为芝麻客户端设置超时。

稍微简化一下，我有一个用 OWL 表示的域本体 (D)，它描述了设备、它们的功能、配置。此外，对于每个供应商，我希望拥有特定于供应商的本体 (V)，它将连接到域之一。问题是，如何对齐 D 和 V？让 V 尽可能接近供应商条款是否可行，或者只是将 D 的类子类化为 V（并且可能对数据属性和对象属性做同样的事情）？这个想法是应用程序使用本体 D 进行查询，推理机制尽可能地隐藏供应商细节。

第一个变体似乎更合乎逻辑（毕竟语义技术是关于互连的），但我可以预见到某些数据类型中的一些不匹配。例如，一家供应商可以用百分比表示电池电量，另一家则使用高、中、低等词。我不确定如何使用 OWL 将这些数据带到共同点。可能还有更难的情况，需要正则表达式应用程序和通常完成的任何脚本巫术。（同样有趣的细节是直接使用数据属性还是通过“包装”数据属性与每个数据属性的对象属性和概念来添加一层间接层，以便为类型错误做更多准备）。

换句话说，输入数据似乎应该在进入RDF生态系统之前进行预处理......或者也许还有其他可能性？

（对于那些倾向于快速将问题标记为重复的人，我不是在问两个本体之间的映射之类的东西，而是在 OWL 本身中安排“对齐”作为预处理与更丰富的“适配器模式”）

我正在尝试使用 GraphDB-SE Triplestore 来存储 Einstein Riddle 并使用规则集来推断答案。GraphDB 内置了对 OWL2-RL 和 OWL2-QL 的支持。根据w3.org

OWL 2 RL 支持 OWL 2 的所有公理，除了类的不相交联合 (DisjointUnion) 和自反对象属性公理 (ReflexiveObjectProperty)。

Q1：为什么 GraphDB 无法推断？

Q2：如果我使用 OWL-RL 之外的东西，我如何将我的本体（OWL 文件）转换为 OWL-RL？（我找不到有关此配置文件的更多信息。实用信息，例如“使用此，不要使用此。”）

Q3：如果 GraphDB 没有完全支持 OWL2-RL，那么不支持的部分是什么？如何转换我的模型以便能够使用 GraphDB 推断出预期结果？

我的猫头鹰模型来自该网络，并且还使用恰好 1 个 QCR 而不是具有 someValuesfrom 的函数和反函数属性更改了模型。

我想将现有 Sesame 存储库中的所有数据复制到一个新存储库中。我需要迁移，以便在我的三重存储上使用 OWL 推理，这在内存存储库（我现有存储库的类型）中使用 OWLIM 是不可能的。

将所有三元组从存储库复制到新存储库的最有效方法是什么？

更新 1：

我很好奇为什么使用 SPARQL INSERT 不能是一种有效的方法。我在新存储库的 SPARQL 更新部分尝试了这段代码：

我收到以下错误：

是查询有错误还是不能这样插入数据？我使用类似结构的查询从 DBpedia 插入数据。

Animal_Loverclass 是一个具有三个属性的类，称为hasPet.

史密斯养了三只动物，属于Person阶级。

此时，如何编写 rule(.pie) 以在规则起作用时自动将 smith 包含在 animal_lover 类中？

这条规则不起作用。