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

我正在創建一個描述操作系統組件的本體論，我遇到了一個需要將邏輯概念與其物理對象關聯的問題，但我無法想象確切的結構和我不明白爲什麼有衝突：OWL本體中的邏輯和物理實體關係

我有以下結構：

Daemon 
File 
    FixedFile 
    TemporaryFile 
    UpdatableFile 
    ConfigFile

這種結構似乎是正確的，因爲有不同類型的文件。但是當我添加守護進程在磁盤上有一個文件時 - 我不能說hasFileOnDisk exactly 1 File，因爲守護進程不能是配置文件，另一方面，ConfigFile可以是固定的，可更新的或甚至是臨時的。

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

2015-10-09 grandrew

您的問題不能僅僅通過使用實體之間的繼承relationshps解決。您需要使用其他方法對hasFileOnDisk參數進行約束，例如不相交的類。

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

2015-10-09 13:05:35

回答