Protege中的數據屬性依賴性

Question

有人可以提供一些示例，說明我們可以在Protege中聲明的數據屬性之間有什么樣的依存關系嗎？ 基本上，我想做的是聲明簡單的規則，例如，一個數據屬性（年）可以或不能在另一個數據屬性之前（例如，出生年份<=死亡年份）。 使用數據屬性可以做到嗎？

Answer 1

只能在子屬性和不相交屬性之間表示數據屬性之間的依賴關系。 Protege中的SWRLTab可用於表達規則。 假設以下本體：

ObjectProperty: hasDeathCertificate
  Domain: Person
  Range: DeathCertificate
DataProperty: dateOfBirth
  Domain: Person 
Range: xsd:dateTime
DataProperty: dateOfDeath
  Domain: DeathCertificate
  Range: xsd:dateTime
Class: DeathCertificate    
Class: Person

可以指定以下SWRL規則以確保DeathCertificate上的死亡日期在該人的出生日期之后。

Person(?p)^dateOfBirth(?p, ?birth)^DeathCertificate(?d)^dateOfDeath(?p, ?death)
^swrlb:greaterThan(?death, ?birth)->hasDeathCertificate(?p, ?d)

祝好運！