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

我有四个类：A、B、C和S。A类有基于数值条件（相当于）的推断实例i1和i2。类B具有基于数值条件（相当于）的推断实例i3和i4。A和B是S的子类

每个实例都有一个xsd:dateTime值

我想对A和B中具有相等xsd:dateTime值的每个实例都是C类中的实例（推断）进行建模。如何使用Protege对这样的表达式进行建模

---

提前感谢。

您必须使用SWRL。在Protege的SWRL选项卡中添加以下规则：

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

---

假设您有一个

hasDateTime

数据属性

这在一般类公理中也是可能的吗？是的，如果在本体中有A\sqsubseteq B作为公理，它会起作用。对不起，我不明白你的意思。你能给我一个完整的解决方案或例子如何实现我的问题吗？我是一个初学者。。。提前多谢！你能给我一个完整的解决方案或例子如何实现概念包含来解决这样的问题吗？我是一个初学者。。。提前多谢！我如何在Protege中表达概念包含？所以你还没有本体论？A、 B、C和S不是本体中的类吗？如果不是的话，那么这里谈论的是什么样的课程呢？