猫头鹰中的递归对象属性

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）。