在 DL（和 OWL-DL）中：给定一个 TBox，两个概念C1和C2，在我的问题中，我们说C1和C2之间存在一条路径当且仅当：
C1 ⊑ =1 r.C2 其中 r 是单个/复合角色（角色链）
即，如果r是单个角色，那么我们必须让C1的每个实例通过r与C2的一个实例正好相关；否则（r 是复合的），那么C1的每个实例都通过角色组合与C2的一个实例相关联，即 (r1*r2*r3...) 如果我们认为 * 代表角色组合。
我的问题是：Graph sense 是使用OWL API完成此任务的最佳方式吗，其中图形节点代表概念，边代表对象属性。然后我们从C1节点开始执行广度优先搜索，直到我们到达C2。这是我的想法！有没有更好的方法来执行此操作？
这个问题通常是关于在两个本体概念之间寻找具有特定特征的路径。为了便于理解，您可以消除确切的一个限制。因此
C1 ⊑ ∃ r.C2