实际上，我对于可以做什么感到迷茫，而且一般情况下使用推理器无法做到。
我的问题有两个：
我曾经认为推理者只专注于记忆和分类法。最近，我发现在一些算法中可以以多种方式使用推理器，例如，reference使用推理器来搜索符合本体中特定模式的实体：
DL泛型推理算法的含义是什么？ 通过推理实现？
请你转介一下 任何我可以更熟悉的东西 通过推理算法实现的吗？
我最初的问题是：给定 OWL 本体以及两个类C1和C2，我想检查是否存在功能物业链连接它们，即
让我们考虑(C1 P1 C3)，(C3 P2 C4)和(C4 P3 C2)，其中P1，P2和P3是功能对象属性，因此结果将是是(P1, P2, P3)，它是连接C1和C2的功能属性链。