owl - 将一个类个体定义为另一个类个体的组合

Question

在 OWL 本体中，给定一个类Student；我想定义另一个班级StudentsPair，即任何一对学生，以自动计算所有可能的双重组合的方式Student，即

Student(x) and Student (y) --> StudentsPair(x,y)

我想StudentsPair作为一个类，而不是一个属性，因为它可能具有附加功能（例如averagePerformanceForPair等）。

例如，

前提

Student(John)
Student(Alex)
Student(Mary)
-----------------

结论

StudentPair((John, Alex))
StudentPair((John, Mary))
StudentPair((Alex, Mary))

推理者必须以某种方式创造这些新个体！这可能吗？

score 2 · Accepted Answer

您需要一个额外的角色student，然后您可以使用描述逻辑规则，这样可能会起作用：

Student ≡ ∃student.Self
student ◦ U ◦ student ⊑ StudentPair

1 回答 1