|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 关于dl-lite (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=69221) |
|
-- 作者：guoandzhou -- 发布时间：11/7/2008 9:37:00 AM -- 关于dl-lite 最近在研究dl-lite，想通过算法求取cln(T)，但是不知如何做，而且dl-lite的推理机只是一个可执行文件，不像其它推理机那样有API，所以想问一下有没有谁也在研究这方面的内容，可以给予解答吗？ 谢谢！ |
|
-- 作者：baojie -- 发布时间：11/9/2008 12:45:00 PM -- cln(T)是什么？ |
|
-- 作者：guoandzhou -- 发布时间：11/12/2008 5:22:00 PM -- 看来楼上的也没有研究过dl-lite，呵呵 |
|
-- 作者：baojie -- 发布时间：11/12/2008 5:30:00 PM -- Google了一下 @article{JAR-2007, cln(T)不就是个定义吗，按定义求就是，要什么算法 |
|
-- 作者：guoandzhou -- 发布时间：11/12/2008 5:34:00 PM -- DL-Lite is tractable dl, 基于dl-lite进行查询的复杂度是多项式级的，所以研究dl-lite是有意义的。目前研究dl-lite的主要是意大利的Diego. 而cln(T)是在dl-lite本体<T,A>的基础上计算出来的所有可能的negative inclusions.有兴趣者推荐看他的文章：Tractable reasoning and efficient query answering in description logics:the DL-lite family。本来想上传上来，但不知如何操作，大家可以在google上搜索到。 |
|
-- 作者：wolfel -- 发布时间：11/13/2008 9:07:00 AM -- 所有可能的negative inclusion?就是 \neg C isa D这种形式？ 为什么要把这些东西穷举出来？有什么意义么？ |
|
-- 作者：guoandzhou -- 发布时间：11/13/2008 10:36:00 AM -- 是的，比如己知A isa \neg B , B isa \neg C, 则 B isa \neg C, A isa \neg C 均属于cln(T). 在Diego的那篇文章中谈到了，主要是用于判断dl-lite本体的满足性问题， 通过<cln(T), ABox>来判断<T,ABox>的满足性，使复杂度降低。 |
|
-- 作者：baojie -- 发布时间：11/13/2008 10:50:00 AM -- 这个计算可以按定义纯粹的用语法匹配完成，我觉得不需要特别的算法。当然，很多编程上的技巧可以用进来。 |
|
-- 作者：guoandzhou -- 发布时间：11/13/2008 10:53:00 AM -- 嗯，是的。因为想走捷足先登，所以问问。呵呵，静下心来，自己试试吧。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |