SWRL-依赖于其他规则断言的规则

Question

用户和首选项由objectPropertyHasMediaVolumeLevelPreference链接。

objectProperty断言需要通过SWRL规则从其他用户方面推断。例如，如果用户有听力困难，则需要将MediaVolumElevel设置为VolumeLevel_4。，因此：

User(?u), hasDifficulty(?u,Hearing) -> hasMediaVolumeLevelPreference(?u,VolumeLevel_4)

这很好用。但是，由于我有其他SWRL规则，这些规则也为相同的用户推断mediaVolumElevel，例如：

User(?u), hasContext(?u,NoisyRoom) -> hasMediaVolumeLevelPreference(?u, VolumeLevel_3)

我需要的是一个规则，不知怎么的，只有在没有更高的级别已经断言的情况下才会断言偏好。在给定的示例中，即使hasContext（？u,NoisyRoom)为true，唯一断言的级别也应该是volumeLevel_4，因为是其他规则断言的。

对此有什么建议吗？使用SWRL我想要的是可能的吗？我用的是Protege4.3和Pellet Reasoner

谢谢,MFV。

Answer 1

这是可能的，但只有在某些情况下。请允许我解释一下。

1)您的HasMediaVolumeLevelPreference是与个人VolumeLevel_1、VolumeLevel_2、VolumeLevel_3和VolumeLevel_4相关的对象属性。这些个体在本体论中没有相对的排序。作为人类设计师，您知道volumelevel_4大于volumelevel_3，但对于推理者来说，不存在这样的相对排序。如果您要将HasMediaVolumeLevelPreference更改为一个范围为int（或long或其他任何类型）的数据属性，那么您就在个人后面提供了一个具体的数据值。因此，您可以使用swrl比较内建（即swrl:greaterthan等）编写规则。2)您现在可以在规则中写入子句，在先行项中进行比较，以便仅断言最高值，但是swrl只支持单调推断。因此，SWRL规则不能用于修改本体中的现有信息。SWRL规则不能从本体中收回或删除信息。因此，如果较低的卷Volume_3在volume_4之前被断言，则不能从本体中删除HasMediaVolumeLevelPreference(Volume_3)关系。3)不过，Apache Jena有一个规则引擎，可用于在rdf三层操作本体。您可能必须编写自己的内置，但您可以从rdf子图中删除属性和类描述。请访问此处获取更多关于Jena规则的信息。

希望这能帮上忙。