想象一下，我们有一个A，B和C类。
想象一下，我们有两个对象属性“hasC”和“hasB”
我们怎么能有类属性限制，所以它是
A是
的子类hasB min 1 B（＆＃34;其中＆＃34; hasC min 1 C）
hasC min 1 C
其中hasC.C的值对于B实例和此类A的实例是相同的。
答案 0 :(得分：0)
其中hasC.C的值对于B实例和此类A的实例是相同的。
这种公理在OWL中通常是不可能的。正如Ignazio在评论中提到的，如果您考虑到 C 的特定实例，例如 c73 ，您可以使用枚举类，例如 hasC some { c73} 或表达式 hasC值c73 ，但您不能执行一般＆＃34;协议＆＃34;这样的公理。例如，没有办法定义一个＆＃34;钻石等级子类＆＃34;作为一个有两个不同祖先的人，有一些共同的祖先。