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

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