OWL DL + SQWRL支持OWL中的推理器组合
OWL DL + SQWRL支持OWL中的推理器组合
提问于 2016-12-16 07:49:46
我需要在OWL2DL本体上计算一些SQWRL规则。
问题是：
- 当前OWL 2 DL推理器只支持SWRL构建
- 惟一的SQWRL SWRLAPI引擎是drools-swrlapi是OWL 2 RL，将无法处理我的DL本体。
我认为有两种可能的解决办法：
- 直接在Java中使用OWLAPI在OWL2DL推理器之上执行SQWRL (如Pellet)
- 在某种程度上，同时使用两个推理器(Pellet和Drools-SWRLAPI)并避免静态java代码。
因此，我的问题是:是否有可能将两个理由结合起来，使它们不会发生冲突？
喜欢
- DL推理机的预计算推理
- 在Drools-SWRLAPI上运行生成的本体以执行SQWRL
- 把它放回DL推理器，验证/计算更多的推论。
- 循环播放
谢谢!
回答 1
Stack Overflow用户
回答已采纳
发布于 2016-12-16 19:38:17
如果OWLReasoner是作为非缓冲创建的，而Drools实现了输入本体中所有推断的三元组，那么这应该是可行的。情况可能不是这样，因此可能有必要采取步骤实现这些推论。
我不熟悉SWRL和Drools规则引擎，所以我不能说这是可行的还是简单的；我可能会从支持SWRL的开源推理器之一开始，并尝试用Drools代码替换它们的SWRL支持--这样做的优点是确保了推理者用来确保正确性和完整性的算法(两种推理方法之间的循环应该是一个很好的近似，但是可能有漏掉的情况，以及丢失的优化。
相反的方法，即物化OWL2DL推理和随后应用SWRL规则，有一个缺点，就是必须选择要具体化的推理；分类法中的类表达式不会很容易地在OWLReasoner接口上传递，而且这个过程在计算上可能非常昂贵。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/41179592
复制相关文章
相似问题
腾讯云开发者
