|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 一个OWL DL上的超协调推理机 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=76079) |
|
-- 作者：windking8888 -- 发布时间：7/20/2009 3:27:00 AM -- 一个OWL DL上的超协调推理机 PROSE website：http://prose.is.pku.edu.cn:8080/ 还在测试阶段，希望大家给些好的建议！ 说明： 理论基础是我们ESWC09文章： A Tableau Algorithm for Handling Inconsistency in OWL， 因为目前还是测试，更多只是展示一个Demo.希望有兴趣的同行为我们给出建设性的意见。 注：PROSE推理机要比德国的ParaOWL推理机，在推理能力上要强很多（理论已经证明）。
[此贴子已经被作者于2009-7-20 11:25:53编辑过]
|
|
-- 作者：fanyi -- 发布时间：7/20/2009 10:20:00 AM -- 能不能给简单介绍一下？谢谢！ |
|
-- 作者：windking8888 -- 发布时间：7/20/2009 11:25:00 AM -- Prose推理机基于Quasi-Classical（QC） Semantics 实现原理：把 QC OWL DL归约成OWL DL 调用经典OWL DL推理机实现QC OWL DL超协调推理 理论基础是我们ESWC09文章： A Tableau Algorithm for Handling Inconsistency in OWL， 因为目前还是测试，更多只是展示一个Demo.希望有兴趣的同行为我们给出建设性的意见。 注：PROSE推理机要比德国的ParaOWL推理机，在推理能力上要强很多（理论已经证明）。 |
|
-- 作者：fanyi -- 发布时间：7/20/2009 3:16:00 PM -- 能不能简单介绍一下Prose推理机？或者提供这方面的文档也可以。谢谢楼主！ |
|
-- 作者：windking8888 -- 发布时间：7/20/2009 5:17:00 PM -- 我不太清楚你说的文档是什么？能否具体点，看我们能不能提供的 |
|
-- 作者：khalili -- 发布时间：10/15/2009 5:48:00 PM -- 加油！ |
|
-- 作者：Humphrey -- 发布时间：10/16/2009 9:31:00 AM -- 国产的推理机？！希望能早日见到正式版，如果能够免费提供使用权是最好了。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |