如何对个人创建约束（Protégé-OWL）

Question

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

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

• 雇员（isEmployedBy的倒数）；
• 管理（isManagedBy的反函数）；
• sponsors（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)
  

我想描述一下，如果有一个雇用人（b）的公司（c），则公司（c）不能赞助人（b），尽管它可以赞助未受公司雇用的人（c） （C）。 由于这是与个人而不是与班级相关的规则，因此我想知道是否可以将其描述为一个公理（带有示例），或者是否必须使用SWRL。