|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- wason21cn: 有没有已经实现的EL的推理机 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=30036) |
|
-- 作者：baojie -- 发布时间：4/5/2006 11:19:00 PM -- wason21cn: 有没有已经实现的EL的推理机 多项式时间复杂度的. 如果没有我倒想写一个 |
|
-- 作者：wason21cn -- 发布时间：4/6/2006 5:13:00 AM -- 答案是有，对于EL来说， Tbox带有cyclic的definition，有基于gfp（greatest fix point）语义，还有一种是Tbox是GCI（general concept inclusion）的，用一个implication set来实现这个Tbox的model checking， 都是polynomial的。 而且后面这种情况已经通过一个GO(gene ontology) 测试过了。 具体的看下面一篇论文。 http://lat.inf.tu-dresden.de/research/papers/2004/Brandt-ECAI-2004.pdf |
|
-- 作者：baojie -- 发布时间：4/6/2006 8:19:00 AM -- 谢谢. 用GO做测试的工作在哪个文献中提到? 这个推理机有可下载的版本吗? |
|
-- 作者：wason21cn -- 发布时间：4/6/2006 1:33:00 PM -- 可以到这个网址瞧瞧。 http://lat.inf.tu-dresden.de/systems/cel/ |
|
-- 作者：baojie -- 发布时间：4/6/2006 6:02:00 PM -- 谢谢, 我好好学习一下 |
|
-- 作者：baojie -- 发布时间：4/6/2006 6:13:00 PM -- 再请教一个问题: 大家知道对DAG, 有线性的推理算法甚至更优. 对于Gene Ontology而言, DAG模型就已经足够了, 你们有没有考虑从这个角度去优化推理过程呢? 记得以前看过一篇文章用DAG里的transitive closure, reachability的计算方法来优化DL推理的. |
|
-- 作者：wason21cn -- 发布时间：4/6/2006 7:40:00 PM -- 不好意思，我不太懂DAG模型，但是从这个project的目的来说，主要是测试EL的Tbox的正确性，而GO正好是基于EL Tbox的一个ontology，所以正好拿来用。 也许用DAG模型有更好的复杂度. 虽然Baader的研究方向是自动推理，但主要是做DL和modal logic方面的。
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |