OWL本體中的邏輯和物理實體關系

Question

我正在創建一個描述操作系統組件的本體，並且遇到了一個問題，我需要將邏輯概念與它們的物理對應關系相關聯，但是我無法想象確切的結構，而且我也不明白為什么會發生沖突：

我有以下結構：

Daemon
File
   FixedFile
   TemporaryFile
   UpdatableFile
   ConfigFile

這種結構似乎是正確的，因為存在不同類型的文件。 但是，當我添加一個守護程序在磁盤上時，我不能說hasFileOnDisk exactly 1 File因為守護程序不能是配置文件，另一方面， ConfigFile可以是Fixed，Updatable或Temporary。

我如何關聯Daemon的hasFileOnDisk不能是ConfigFile而ConfigFile可以是臨時的，可更新的或固定的，但是它們都是文件並且繼承了文件數據屬性fileName ？

Answer 1

僅使用實體之間的繼承關系無法解決您的問題。 您需要使用其他方式對hasFileOnDisk參數施加約束，例如，不相交的類。

<owl:Class rdf:ID="NonConfigFile">
  <rdfs:subClassOf rdf:resource="#File"/>
  <owl:disjointWith rdf:resource="#ConfigFile"/>
</owl:Class>