Разумник выводит неверные аксиомы в протеже

Question

Я построил онтологию в протеже, которая имеет следующие аксиомы:

Platform hasLocation SpatialThing
Sensor hasLocation Spatialthing

Допустим, платформа и датчик расположены в одном месте. Затем рассуждатель приходит к выводу, что датчик также относится к типу Platform, а платформа также относится к типу датчика, что является ошибкой. Как мне это изменить? Это происходит со всеми доступными рассуждениями. Визуально:

hasLocation domain: Platform, Sensor
hasLocation range: SpatialThing 

<SensorInstance> owl:Class Sensor
<SensorInstance> hasLocation <SpatialThingInstance>
Reasoner infers:
<SensorInstance> owl:Class Platform

Answer 1

Вы утверждаете, что домен hasLocation является пересечением из Platform и Sensor. Это подразумевает, что все, для чего hasLocation имеет значение, принадлежит обоим этим классам.

Если вы пытаетесь сказать, что Platform и Sensor являются частью домена, но не связаны между собой, вам нужно определить домен как объединение этих двух классов (или, в зависимости от того, чем на самом деле является домен) в вашей настройке класс домена является суперклассом Platform и Sensor.