实际上,我对使用推理器可以做什么和不能做什么感到迷茫。
我的问题有两个:
我曾经认为推理器仅用于概括和分类。最近,我发现推理器可以在某些算法中以多种方式使用,例如此参考介绍了使用推理器来搜索符合本体中特定模式的实体:
DL 通用推理算法是什么意思,如何通过推理器实现它?
您能否参考我的任何参考资料,让我更熟悉可以通过推理算法实现的事情(如果有的话)?
我最初的问题是:给定一个OWL本体和两个类
C1
andC2
,我想检查是否存在连接它们的功能属性链,即让我们考虑(C1 P1 C3)
,(C3 P2 C4)
和(C4 P3 C2)
whereP1
,P2
andP3
是功能对象属性,因此结果将(P1, P2, P3)
是连接C1
和的功能属性链C2
。