如何表达具有不同类的相等值的实例是来自其他类的实例？

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数据属性。