Protege中的SWRL语法

Question

我正在使用Protege5.0，我想实现SWRL规则，即

User(?u), isInActivity(?u, ?cm), ContextMeeting(?cm) -> FamilyContact(?f), hasStatus(?f, "Reject")

这意味着“如果用户正在开会，则家庭联系人的状态为“拒绝”。

此语法应该可以工作，并且protege不会显示任何错误。 但是，它不起作用。 当我写

User(?u), isInActivity(?u, ?cm), ContextMeeting(?cm), FamilyContact(?f) -> hasStatus(?f, "Reject")

当我以这种格式编写复杂的规则时，此语法可以完美地工作，但是它没有用。 谁能解释两种格式之间的区别，并给我一个完美的解决方案？

更多说明：

我有一个主要的类People和People的子类是Contact和User 。 Contact的子类是FamilyContact，EmployeeContact等。** User和Contact由对象属性isContactOf（People，Contact）关联 。在我的本体中， User类应该只有一个人。 现在，我要实现SWRL规则，即， 如果**用户正在开会，则FamilyContact hasStatus“拒绝”。**此拒绝只是意味着Family成员无法呼叫用户。 另一个规则是， 如果用户正在开会，则EmployeeContact hasStatus“ Pass”。 hasStatus（Contact，String）是一个功能属性。

第二个规则语法可以完美地工作，但是当我想为EmployeeContact和FamilyContact的那些实例实施规则时，就会遇到问题。 例如，如果我写了一条规则，即

User(?u), isInActivity(?u, ?cm), ContextMeeting(?cm), FamilyContact(?f), EmployeeContact(?e), DifferentFrom(?f,?e)-> hasStatus(?f, "Reject").

它以某种方式工作，但我遇到了问题。 它使EmployeeContact的其他实例也成为FamilyContact的实例，反之亦然。

Answer 1

规则

User（？u）？isInActivity（？u，？cm）？ContextMeeting（？cm）→FamilyContact（？f）？hasStatus（？f，“ Reject”）

在规则的右手边（结果）中使用？f，而不是在左手边（前件）中使用？f。 该语言不允许（强调）：

2.1。 规则

原子可以指个体，数据文字，个体变量或数据变量。 变量被视为通用量化变量，其范围限于给定规则。 像往常一样，结果中仅可能出现在规则的前部发生的变量（通常称为“安全”的条件）。 实际上，此安全条件并不限制语言的表达能力（因为可以使用OWL someValuesFrom限制来捕获存在性）。

如果这是合法的，那么您的规则将意味着：

对于每个u，cm和f，

• 如果 u是User且cm是ContextMeeting并且u以cm为单位，
• 那么 f是家庭联系人，并且状态为“拒绝”。

但是，由于对？f没有任何限制，因此，这意味着任何用户都可以参加任何上下文会议，那么一切都是状态为“拒绝”的家庭联系人，而这可能并不是您想要的。 f是否应该以某种方式与u相关？ 建议的替代方案：

用户（？u）？isInActivity（？u，？cm）？ContextMeeting（？cm）？FamilyContact（？f）→hasStatus（？f，“拒绝”）

有类似的问题。 这意味着：

对于每个u，cm和f，

• 如果 u是用户，cm是ContextMeeting，并且u以cm为单位，f是家庭联系人，
• 那么 f的状态为“拒绝”。

u和f之间仍然没有任何联系，因此这表示，如果任何用户在任何上下文中的会议中，则每个家庭联系人的状态均为“拒绝”。 这似乎也不是您想要的。