貓頭鷹中的遞歸對象屬性

Question

我們可以將對象屬性建模為在owl中是遞歸的嗎？ 如果沒有解決方法？

例如，我想將工作流定義為owl中的一個類。 Task和getSubTasks分別是本體中的類和對象屬性。 我想將工作流建模為遞歸獲取的task和getSubTasks的組合。

Answer 1

聽起來您好像想聲明getSubTasks或它的某些超級屬性是傳遞屬性，可以在OWL中進行操作。

例如，如果你有一個類任務 ，屬性hasImmediateSubTask和財產hasSubTask這樣hasImmediateSubTask是hasSubTask的子屬性

hasImmediateSubTask⊑hasSubTask

然后從：

hasImmediateSubTask（A，B）
hasImmediateSubTask（A，C）

您可以推斷出 ：

hasSubTask（A，B）
hasSubTask（A，C）

現在，如果使hasSubTask可傳遞，則從

hasSubTask（A，B）
hasSubTask（B，d）

您可以推斷出 ：

hasSubTask（A，d）。