问题标签 [swrl]

我有几个使用彼此结果的 SWRL 规则。
目前，我可以通过 SWRL/SQWRL 选项卡一一运行规则。

有没有办法连续运行这些规则，而我不必一个接一个地运行它们？

我需要定义一个 SWRL 规则来检查 xsd:dateTime 数据类型的时间是否在两个特定时间之间。我怎样才能做到这一点？我需要与 Protégé 兼容的东西。

非常感谢。

每个人，

我习惯了 Protégé，但现在，我正在尝试使用 Protégé 插件 SWRLTab。

问题是我真的不熟悉 SWRL 规则语法。让我们玩得开心我的问题：

我有一个著名的本体，叫做“pizza”。假设我有一个 4cheesesPizza，Pizza 的子类。

我不想在 Protégé 的“等效于”选项卡中写“hasTopping 正好 4 CheesyTopping”的东西，但我想用 SWRL 规则语法写它。（是的，我知道这很愚蠢，但这是一个例子，在我的真实情况下，写一个规则是有意义的）。

我尝试了类似的东西，Pizza(?p) ^ hasTopping(?p,?t)但接下来，我很受阻。我不知道该怎么办。

此外，当我启动 OWL + SWRL -> Drools 时，在推断公理中已经有 100 多行，这是不可读的。

如果有人有解决方案，

谢谢，克莱门特

我打算使用 Openllet 推理器，就像其他可用的推理器一样。但是这个推理器只与 OWL API 5.XX 发行版兼容。我有一个包含 SWRL 规则的 xxx.owl 文件。由于现有的 SWRL API 与 OWL API 5 不兼容，Ignazio Palmisano好心地建立了一个带有所需更改的分叉存储库，以便它与 OWL API 5.XX 发行版兼容。因此，我删除了与 SWRL API 和 drools 引擎相关的依赖项。相反，我通过下载“zip”文件在本地构建它们。

现在，将 SWRL API 和 Drools 的“.jar”文件加载到 intelliJ 中的项目中，出现以下错误：

在这里，我还在 pom.xml 文件中附加了依赖项：

PS：我在本地构建了swrl api和drools引擎，并将jar文件导入到项目中。

尽管存在大量理论工作和框架，但我还没有找到一个示例性的 SWRL 规则存储库（来自一个研究项目，......）。我用谷歌搜索了很多，发现单个 SWLR 规则，但不是可用于某个域的一整套规则；换句话说：我正在为 SWRL 寻找“ pizza.owl ”...

你知道一个发布了这样一套 SWRL 规则的研究项目吗？谢谢

我扩展了原始的 Pizza.owl，现在在我的 Protege 中有以下 SWRL 规则（规则编辑器：Windows/Views/Ontology views/Rules）：

该规则应NationalPizza适用于至少两种成分（例如 PizzaToppings）来自同一国家（例如MeatToppingLardon_Alsace 和CreamToppingCrèmeFraîche_Normandie 都hasCountryOfOrigin等于单个法国）的所有比萨饼个体。推理者 (Pellet) 一无所获。我可以改用任何 swrlb 函数吗？

+++编辑1 +++

我想出了以下解决方案：

这给出了正确的结果。

或者，我也尝试过使用 OWL 表达式：

但是那么我如何合并国家必须相同的条件呢？有任何想法吗？

+++ EDIT2 +++

我在 SWRLTab 中对我的 SWRL 规则（基于@AKSW 评论）进行了以下更改：

但是 Pellet（增量）推理器没有断言个人BlancheAuxLardonds_MaMère，它确实（至少）具有来自同一国家（ ）的两种不同成分（Lardon_Alsace和）。Reblochon_LEcho-des-AlpagesFrance

+++ EDIT3 +++

我对本体进行了以下更改（基于@AKSW 评论）：

有什么帮助吗？

我的本体在这里。

如何检查本体的命名个体是否包含某些特定字符串？例如考虑以下规则：

我想使用 OWL（在 Protege 中）来编码三元关系祖先Of(x, y, p); 说 y 是概率 p 的 x 的祖先。因为对象属性只支持二元关系，所以我的关系必须表示为一个关系类和一个关系个体，与 x、y 和 p 有关系（就像在这个设计模式中一样）。

我真的不知道如何编写 SWRL 规则来推断传递关系。即那个

如果有人能指出我正确的方向，我将不胜感激。

提前致谢！

假设我有这些信息

我的个体都是不同的。我对每个人都断言了男性和女性的班级。而且我还拥有属性 hasHairColor 以它的价值断言给每个人。

问题是，我如何查询所有头发颜色与黑色不同的男性（本体可能有许多其他头发颜色）？

到目前为止，我已经用错误的结果尝试了这个查询......

我在连接的方式上遗漏了一些东西。结果有效，但仅当其中一组只有一个元素时（即，如果我尝试删除金发女郎）

我将 Protege 5.2 与 SWRL 和 SQWRL Tab 2.0.5 一起使用

提前致谢

我想知道是否有一种方法可以使用任何插件在 Protege(5) 中实现反向链接。Jesstab 和 Algernon 之类的插件不再与 Protege 兼容，我找不到任何其他插件。任何线索将不胜感激。

谢谢！