Как настроить эту онтологию для простого распознавания геометрической формы?

Question

У меня следующая онтология, где красные ссылки DatatypeProperties, синие - ObjectProperties и черные отношения is_a. Онтология просто представляет POINT, COORDONATES и SHAPES понятия.

Я заинтересован в распознавании геометрической формы с помощью этой онтологии.

Давайте, говорит, что у нас есть четыре экземпляра POINT: point0, point1, point2 и point3, с соответствующим coodonates и все связанные с собственностью is-contained-in к экземпляру SHAPE под названием shape0.

Что необходимо в этой онтологии сделать вывод, что в соответствии с пунктами coordonates, shape0 является SQUARE вместо того, чтобы быть в RECTANGLE?

Иными словами, как внедрить возможности распознавания в онтологию.

Answer 1

Я просто привожу пример, как это может быть записано как правило 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), добавить (sq1, sq2,? sum1) ..... (? sum2) .....-> issquare (? s)

Обратите внимание, что было бы более эффективным способы сделать это.