|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 请问现在描述逻辑推理的发展情况 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=76254) |
|
-- 作者：cjdby -- 发布时间：8/3/2009 11:56:00 PM -- 请问现在描述逻辑推理的发展情况 我正在做一个软件系统， 准备用DL来描述这个系统的工作流程， 然后用推理来验证系统的正确性。请问现在DL推理现在的发展方向是什么？tableau算法现在发展情况是什么？ 大家有没有什么推荐读物？ 谢谢~~ |
|
-- 作者：windking8888 -- 发布时间：8/4/2009 12:03:00 AM -- http://www.cs.man.ac.uk/~sattler/reasoners.html 或许对你有所帮助 |
|
-- 作者：cjdby -- 发布时间：8/5/2009 6:42:00 PM -- 谢谢楼上， 请问有没有现在推理技术的发展方向？ tableaux理论貌似不是很难， 现在的tableaux都往哪方面发展？ 谢谢 |
|
-- 作者：windking8888 -- 发布时间：8/5/2009 11:40:00 PM -- Tableaux 专题的会议 http://i12www.ira.uka.de/TABLEAUX/ 我个人觉得大牛horrocks（http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/complete.html）在DLs的表演算方面，做了很多不错的理论工作，具体到实现部分，可能还得关注一些推理机，比如Pellet（开源）的作者（Boris Motik：http://www.comlab.ox.ac.uk/people/boris.motik/pubs/） 最近准备写一个超快的OWL DL推理机。 希望能对你有所帮助 |
|
-- 作者：cjdby -- 发布时间：8/9/2009 10:14:00 PM -- 谢谢windking8888， 正在看tableaux会议推荐的那本书。 |
|
-- 作者：wanggou -- 发布时间：8/10/2009 11:17:00 AM -- 这书那里下载？给个链接？ |
|
-- 作者：cjdby -- 发布时间：8/10/2009 8:41:00 PM -- Handbook of Tableau Methods http://depositfiles.com/en/files/9ibl43o48 另外推荐一个比较好的找外文书的网站 http://www.ebookee.com.cn/ |
|
-- 作者：gqi -- 发布时间：8/13/2009 5:27:00 PM -- 这个方向已经没什么好做了. 想要知道最近的研究动态, 去看看DL WORKSHOP. 现在的热门是怎么处理SCALABILITY. |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |