OWL本体中的逻辑和物理实体关系

Question

我正在创建一个描述操作系统组件的本体，我遇到了一个问题，我需要将逻辑概念与物理对应物联系起来，但我无法想象确切的结构，我不明白为什么会有冲突：

我有以下结构：

Daemon
File
   FixedFile
   TemporaryFile
   UpdatableFile
   ConfigFile

这种结构似乎是正确的，因为有不同类型的文件。但是当我添加守护进程在磁盘上有一个文件时 - 我不能说hasFileOnDisk exactly 1 File因为守护进程不能是配置文件，另一方面，ConfigFile可以是固定的，可更新的甚至是暂时的。

如何关联守护进程的hasFileOnDisk不能ConfigFile和ConfigFile可能是临时的，可更新的或已修复但它们都是文件并继承文件数据属性fileName？

editable drawing

Answer 1

仅使用实体之间的继承关系，无法解决您的问题。您需要使用其他方法对hasFileOnDisk参数设置约束，例如不相交的类。

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