Protege中对象属性本体的限制答案

【问题标题】：Restriction on object property ontology in ProtegeProtege中对象属性本体的限制
【发布时间】：2017-05-24 17:19:34
【问题描述】：

我在 Protege 5.2 中创建了一个本体，现在我正在尝试正确创建相应类的对象属性。这是我构建本体的 UML 图的 sn-p： Snippet of my ontology

关于 isLocated 对象属性，它们的特征如下：如果节点 X 有一个 SITE 值 Z，并且相同的值 Z 出现在位置 Y 的 SITEIST 中，则节点 X 位于位置 Y。

我应该查看 SWRL 规则还是有什么方法可以在不必去那里进行编码？

提前谢谢你们！

【问题讨论】：

有可能，当使用对象属性而不是数据属性时，即。 e.使用 URI 而不是整数作为属性值。对于整数，我尝试将方法 1 和 2 结合起来，但没有成功。
所以@StanislanKralin 您是否建议我创建一些对象属性，例如为节点类创建一些对象属性，例如：hasNodeId、hasPlaceInstId 等？在这种情况下，您对每个对象属性的域和范围有什么想法吗？
我不知道你的节点和位置是什么......我的意思是这样的：:nodeXXX :hasSite :zipArea85223, :locationYYY :hasSiteIst :zipArea85223 => :nodeXXX :isLocatedIn :locationYYY。
我的位置如下所示：imgur.com/a/KMmVk，我的节点如下所示：imgur.com/a/FXf8Y。如您所见，Node 中的站点和 Location 中的 sitemek 在此实例中具有相同的值 335836，因此我想创建一个名为 isLocated 的新对象属性，每次都是这种情况。现在，我正在尝试在 Protege 中创建这个帮助谓词 hasNodeId。这就是我尝试过的：imgur.com/a/Hdd55。我想为每个节点的每个 node_id 自动创建谓词 hasNodeId 。你知道如何在 Protege 中做到这一点吗？
我认为这是不可能的。但如果site 和siteist 是object propertyiew，而不是data properties，那就有可能了。

【解决方案1】：

在 SWRL 中，您可以直接实现：

locationHasSiteIst(?l, ?s) ^ nodeHasSite(?n, ?s) -> nodeLocatedInLocation(?n, ?l)

如果你想在 OWL 中创建它，你需要将 locationHasSiteIst 和 nodeHasSite 作为对象属性，并将 Site 作为类而不是数据类型，那么你可以使用 object Protege 中的属性链接和包含如下：

nodeHasSite o inverse(locationHasSiteIst) SubPropertyOf nodeLocatedInLocation

最后一行表示如果一个节点n1位于site1，并且一个位置l1也位于s1，那么n1位于l1。

【讨论】：

感谢您的回复！但是在实践中如何实现对象属性链接和包含呢？是否有一些我应该写这个“命令”的窗口？
如果你使用Protege，点击上面表达式右侧的对象属性nodeLocatedInLocation，那么就有superPropertyOf (Chain)选项，点击添加，然后输入nodeHasSite o inverse(locationHasSiteIst)。这将使属性链nodeHasSite o inverse(locationHasSiteIst) 包含在nodeLocatedInLocation 中。如果此答案解决了您的问题，请不要忘记将其标记为解决方案。
我最终使用了您在开头提到的 SWRL 规则，它成功了，谢谢！但现在我面临另一个问题。当我使用数据集的一小部分样本时，我的本体运行良好，但是当我使用完整的样本时，“运行 Drools”选项内存不足。我附上本体指标的截图：imgur.com/a/8dxwK我知道数据集很大，只是想知道您是否有一些优化技巧或任何可以帮助绕过这个问题的方法（我已经设置了堆空间为 4GB）。