推理机推断出错误的公理

Question

我在protege中建立了一个具有以下公理的本体：

Platform hasLocation SpatialThing
Sensor hasLocation Spatialthing

可以说平台和传感器的位置相同。 然后，推理者推断传感器也是平台类型，并且平台也是传感器类型，这是错误的。我该如何改变？ 所有可用的推理机都会发生这种情况。 视觉上：

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的 intersection 。这意味着hasLocation具有值的任何事物都属于这两个类。

如果您试图说Platform和Sensor是域的一部分，但不相交，则需要将域定义为这两个类的并集（或者，取决于什么域实际上在您的设置中，该域类是Platform和Sensor的超类。