如何表示不同类具有相同值的实例是来自另一个类的实例？

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