推理者在protege中推断错误公理

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的交集。这意味着hasLocation有一个值的任何东西都属于这两个类。

如果您试图说Platform和Sensor是域的一部分，但又是不相交的，则需要将域定义为这两个类的联合(或者，根据设置中的域实际是什么，域类是Platform和Sensor的超类。