Protege 中的 SWRL 语法

Question

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

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

这意味着“如果用户正在开会，那么familycontact的状态为“拒绝”。

这种语法应该可以工作并且 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 规则，即 如果 **user 正在开会，则 FamilyContact hasStatus "Reject"。** 此拒绝仅意味着家庭成员无法呼叫用户。其他规则是 如果用户正在开会，那么 EmployeeContact 的状态为“通过”。 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

规则

用户(?u) ∧ isInActivity(?u, ?cm) ∧ ContextMeeting(?cm) → FamilyContact(?f) ∧ hasStatus(?f, "拒绝")

在规则的右侧（后件）使用 ?f，而不是在左侧（前件）。这在语言中是不允许的（强调）：

2.1. Rules

原子可以指代个体、数据字面量、个体变量或 数据变量。变量被视为普遍量化的， 它们的范围仅限于给定的规则。 像往常一样，只有变量 发生在规则的前件中，可能发生在后件中（a 条件通常称为“安全”）。这种安全条件确实 实际上，并不限制语言的表达能力（因为 已经可以使用 OWL someValuesFrom 捕获存在 限制）。

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

对于每个 u、cm 和 f，

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

但是由于没有对 ?f 的限制，这表示 any 用户在 any 上下文会议中，那么 everything 就是一个家庭联系状态为“拒绝”，这可能不是您想要的。不应该 ?f 以某种方式与 ?u 有关吗？建议的替代方案：

用户(?u) ∧ isInActivity(?u, ?cm) ∧ ContextMeeting(?cm) ∧ FamilyContact(?f) → hasStatus(?f, "拒绝")

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

对于每个 u、cm 和 f，

• 如果 u 是用户，cm 是 ContextMeeting，u 是 cm，f 是家庭联系人，
• 那么 f 的状态为“reject”。

u 和 f 之间仍然没有联系，所以这表示如果 any 用户正在 any 上下文会议中，那么 每个 家庭联系人状态为“拒绝”。这似乎也不是你想要的。