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>