基于描述逻辑推理引擎的语义网推理基础设施搭建
在语义网的发展进程中,描述逻辑(DL)在实现智能查询方面展现出了巨大潜力。为了实现语义网文档的智能查询,对一些基于描述逻辑的推理引擎进行分析是很有必要的。
推理引擎对比
| 推理引擎 | 可用性 | 连接性 | 推理强度 | 原生OWL支持(语法) | 实例推理(ABox) |
|---|---|---|---|---|---|
| Cerebra | 商业 | RMI, SOAP | SHIQ | 是 | 否 |
| FaCT | 免费 | CORBA, DIG/1.0 | SHIQ | 否 | 否 |
| FaCT++ | 免费 | JNI, DIG/1.1 | SROIQ(D) | 否 | 是 |
| RACER | 1.8 之前免费 | TCP, DIG/1.1 | SH |
超级会员免费看
订阅专栏 解锁全文
1341

被折叠的 条评论
为什么被折叠?



