隐士推理人getEquivalentClasses

Question

我有一个具有有效性的本体，它是一个顶级类，包含两个subclasse CAR_PROPERTY和VEHICLE_TYPE

物效

效度hasSubcls CAR_PROPERTY haSubcls hasSubcls SPD130 hasSubcls SPD120 hasSubcls SPD110

VALIDITY hasSubcls VEHICLE\_TYPE disjointUnionIf(BUS,CAR,TRUCK)

(当我打电话给hermit.getEquivalentClasses(intersectionOf(SPD130，hermit.getEquivalentClasses(intersectionOf(SPD130，SPD120，SPD110)时，我得到了我所期望的- SPD110，不管是 SPD120，SPD110，CAR的结果)是intersectionOf(SPD130，SPD120，SPD110，CAR)intersectionOf，但我期望(#en21 20，CAR)。我的本体论有什么问题？谢谢!

Answer 1

检查是否

intersectionOf(SPD130, SPD120, SPD110, CAR) equivalentTo intersectionOf(SPD110, CAR)

是必须的。我想应该是的。

我不认为您的本体有什么问题，只是HermiT没有义务从表达式中删除多余的术语，所以它保留了表达式的原样。