|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- [求助]关于一个公式表示的意义（关键是3楼的问题），请前辈指教 (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=79626) |
|
-- 作者：chinesesunboy -- 发布时间：1/23/2010 1:47:00 PM -- [求助]关于一个公式表示的意义（关键是3楼的问题），请前辈指教 我在看“Laconic and Precise Justifications in OWL”这篇论文的时候，看到这样一个公式T<=CUD,符号打不出来，我说明一下，就是表示顶概念的T，是概念C和D并的子集。我看不懂了，T不是表示全集么？那它怎么会是别人的子集呢？
[此贴子已经被作者于2010-1-25 16:39:50编辑过]
|
|
-- 作者：laotao -- 发布时间：1/25/2010 2:59:00 PM -- 粗略看了一下，这篇论文好像说的是OWL的justification，也就是你所说的那些公式能不能被entail的问题，所以这些公式本身未必是“正确”的(which have entailment) 具体到你说的这个公式，也不是没有成立的情况，比如当C U D可以组成全集的时候 |
|
-- 作者：chinesesunboy -- 发布时间：1/25/2010 4:38:00 PM -- 呵呵，首先谢谢上面这位前辈的回答，我现在觉得它的意思就是，字面上看，他说全集是一个表达式的子集，其实也就是这个表达式表达的是全集。 另外，我不知道各位看论文的时候是一种什么感觉。有些论文很容易看懂，而有些论文（比如这个帖子中提到的这一篇）根本看不懂，这个论文我已经看了好几天了，断断续续地，看不下去了就不看了，过一天再看，到现在还是没看懂。更别说利用里面的东西写出新的论文了。我很苦恼，不知道这种情况下该怎么办？大家都是怎么看论的？遇到这种情况了你怎么办，还请不吝赐教，谢谢 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |