如何表達具有不同類的相等值的實例是來自其他類的實例？

Question

我有四個類：A，B，C和S。A類具有基於數值條件（等效於）的推斷實例i1和i2。 B類具有基於數值條件（等效於）的推斷實例i3和i4。 A和B是S的子類。

每個實例都有一個xsd：dateTime值。

我想對A和B中具有相同xsd：dateTime值的每個實例進行建模，它們也都是從類C實例（推斷）。我如何使用Protege對這樣的表達式建模？

提前致謝。

Answer 1

您將必須使用SWRL。 在“ Protege”的“ SWRL”選項卡中，添加以下規則：

A(?a) ^ B(?b) ^ hasDateTime(?a, ?aDateTime) ^ hasDateTime(?b, ?bDateTime) ^ 
   swrlb:equal(?aDateTime, ?bDateTime) -> C(?a) ^ C(?b)

假設您具有hasDateTime數據屬性。