InverseFunctionalProperty指向多个不同的反向属性

Question

我正在与TopBraid Composer一起学习如何使用语义Web技术制作本体。

我做了什么：

• 我创建了一个飞机本体论，城市、机场、州等
• 现在本体变得有点复杂了，我遇到了一个问题

本体

我当前本体的图形可以在我的驱动器上找到。

我想要什么：

由于我正在学习，我认为尝试拥有一处既适合乡村又适合机场的房产将是一件很棒的事情。这将使海港与城市相连，也使城市与只有一处房产的国家相连。

我尝试了什么（但没有理解）

1. 我将hasCity属性修改为域Airport
2. 我做的另一个修改是房产hasCity也是一个功能性的InverseOf hasAirport

在TopBraid中，你可以进行推断，看看你的数据发生了什么。包括打印屏幕

似乎，通过修改hasCity属性，我声明Object rdfs:type也是Aiport。

有人能给我指正确的方向吗？

如果可以的话，这是我RDF的全部333行。

Answer 1

您已声明hasCity同时具有域Airport和Country。这意味着，对于每个具有hasCity填充物的Airport，Airport也被推断为Country。这不太可能是你想要表达的意思。

此外，这个断言也是可疑的——数据类型属性的范围应该是数据类型，而不是类。

<owl:DatatypeProperty rdf:ID="Destination">
    <rdfs:range rdf:resource="#City"/>
    <rdfs:domain rdf:resource="#Transportation"/>
    <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Destination</rdfs:label>
</owl:DatatypeProperty>