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