owl - 如何创建关于个人的约束（Protégé - OWL）

Question

我正在 Protégé 5.5.0 中创建一个本体。

我有两个班级：“人”和“公司”。它们可以通过以下属性关联：

• 雇用（isEmployedBy 的倒数）；
• 管理（isManagedBy 的逆）；
• 赞助商（与 isSponsoredBy 相反）。

这些类描述如下：

• 人相当于：

  (isEmployedBy some Company)
  and (isSponsoredBy some Company)
  and (manages some Company)
  and (isEmployedBy only Company)
  and (isSponsoredBy only Company)
  and (manages only Company)
  

• 公司相当于：

  employs some Person
  and (isManagedBy some Person)
  and (sponsors some Person)
  and (employs only Person)
  and (isManagedBy only Person)
  and (sponsors only Person)
  

我想描述一下，如果有一家公司（c）雇用了人（b），公司（c）不能赞助人（b），尽管它可以赞助人（c）没有受雇于公司（c） . 由于它是与个人相关的规则，而不是与类相关的规则，我想知道是否可以将其描述为公理（通过示例），或者我是否必须使用 SWRL。

标签： owlprotegedescription-logic