owl - 将属性与 OWL/Protege 中的类关联

Question

考虑这种情况：

• 有雇主和雇员。我用一个 classEmployer和一个 class来建模Employee。
• hasEmployer然后我用 inverse创建一个对象属性hasEmployee。
• 现在我还创建了一个名为EmploymentContract.

我想能够说，对于每个hasEmployer属性及其逆属性，都必须存在EmploymentContract与该关系相关联的关系。

所以基本上我想要一个叫做的东西hasEmploymentContract，它是一个具有域hasEmployer（对象属性）和范围EmploymentContract（一个类）的属性。

这在OWL中可能吗？我是不是把问题想错了？

如果可能的话，使用 Protege Ontology Editor 的实现也将不胜感激。

标签： owlprotege

Answer 1

n 元关系是处理这个问题的一种方法。另一种是通过属性链接。为此，我将假设图表如下所示。这里链接的属性providesEmploymentContract, hasEmployeeAsParticipant代表属性hasEmployee。这意味着 an EmployerthatprovidesEmploymentContract与 an 有关系EmploymentContractwhere the EmploymentContractis in ahasEmployeeAsParticipant与 an Employee， is an Employerthat is in ahasEmployee与 the 有关系Employee。

可以hasEmployer根据图建立类似的关系。在 Protege 中，这可以表示如下：

Class: Employee    
Class: Employer    
Class: EmploymentContract

ObjectProperty: providesEmploymentContract
  Domain: Employer
  Range: EmploymentContract

ObjectProperty: agreesToEmploymentContract
  Domain:Employee
  Range: EmploymentContract

ObjectProperty: hasEmployerAsParticipant
  Domain: EmploymentContract
  Range: Employer

ObjectProperty: hasEmployeeAsParticipant
  Domain: EmploymentContract
  Range: Employee

ObjectProperty: hasEmployee
  SubPropertyChain: providesEmploymentContract o hasEmployeeAsParticipant
  Domain: Employer
  Range:  Employee
  InverseOf: hasEmployer

ObjectProperty: hasEmployer
  SubPropertyChain: agreesToEmploymentContract o hasEmployerAsParticipant
  Domain: Employee
  Range: Employer
  InverseOf: hasEmployee