-- 发布时间：1/31/2006 4:51:00 PM
-- [求助]包含和可满足性的关系
第一个关系我还可以理解，第二个关系和第三个关系我画了半天关系图，想了半天的例子也没弄明白。
此主题相关图片如下：
请知道的人解答一下。
|
以文本方式查看主题 - 中文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=26852) |
|
-- 作者：yoyogi -- 发布时间：1/31/2006 4:51:00 PM -- [求助]包含和可满足性的关系 第一个关系我还可以理解，第二个关系和第三个关系我画了半天关系图，想了半天的例子也没弄明白。 此主题相关图片如下：请知道的人解答一下。
|
|
-- 作者：jpz6311whu -- 发布时间：1/31/2006 4:58:00 PM -- 楼主说的问题英文原文和出处是什么？？ |
|
-- 作者：yoyogi -- 发布时间：2/1/2006 9:29:00 AM -- http://sise.gscas.net.cn/Class/Aai2004/aai02Description%20Logic.ppt从这参考来的，不明白这是在什么情况下后两个成立？ |
|
-- 作者：superc_7 -- 发布时间：2/5/2006 3:15:00 PM -- lz先搞明白什么叫“关于T是可满足的”是什么意思吧 第一个和第二个好像没有什么本质性区别 前一阵看过，忘了…… |
|
-- 作者：kolapig -- 发布时间：2/14/2006 3:34:00 AM -- 首先 2 好像错了吧， 应该是 .....关于T是不可满足的 1和2的区别在于： 在考虑包含关系的时候，一般情况下都是第二种情况，除非TBox为空. 2 的意思是 ：对于所有的 TBox model, C 的 解释 是 D的解释的 子集. 至于model， 解释？(interpretation) 是什么就要去看书了 3的意思就是 ： C关于T 是一致的 当且仅当 C subsumed BOTTOM 是不可满足的 其中BOTTOM的 interpretation 为空集 |
|
-- 作者：chinesegates -- 发布时间：2/14/2006 3:16:00 PM -- 第二个显然是错了，专家的一点小错误可能会让别人深思半天。 |
|
-- 作者：kolapig -- 发布时间：2/14/2006 8:32:00 PM -- nod, 尤其是初学者，hehe 所以不要迷信权威哦 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
85.938ms |