我有以下本体，其中红色链接是DatatypeProperties，蓝色链接是，ObjectProperties黑色链接是“is_a”关系。本体只是表示POINT和COORDONATES概念SHAPES。
我对用这个本体进行几何形状识别很感兴趣。
假设我们有四个实例POINT：point0、point1、point2和point3，它们具有适当的坐标，并且都与名为shape0is-contained-in的实例的属性相关。SHAPE
这个本体中需要什么来推断根据坐标点，shape0是 aSQUARE而不是 a RECTANGLE？
换句话说，如何在本体中引入识别能力。
我只是举个例子，如何将它写成 swrl 规则。请注意，这未经测试，可能不准确。所以，认为这只是一个线索。
形状(?s),hasCordinates(?s,c1),hasCordinates(?s,c2),hasx(?c1,?x1),hasy(?c1,?y1),减法(?x1,?y1,?diff1 ),hasx(?c2,?x2),hasy(?c2,?y2),减法(?x2,?y2,?diff2),pow(?diff1, 2, ?sq1),pow(?diff2, 2, ?sq2),add(sq1,sq2,?sum1).....(?sum2).....-> issquare(?s)
请注意，会有更有效的方法来做到这一点。