新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   >>中国XML论坛<<     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论，如：Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 请教结构包含算法中的一个命题理解 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 4348 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 请教结构包含算法中的一个命题理解 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     zysky007 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：20
      积分：232
      门派：XML.ORG.CN
      注册：2008/5/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zysky007发送一个短消息 把zysky007加入好友 查看zysky007的个人资料 搜索zysky007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zysky007的博客楼主
    发贴心情 请教结构包含算法中的一个命题理解

    在DL Hand Book中，第80页谈到结构化包含算法，其中的一个命题如下：

    定理2.19  A1^...^Am^VR1C1^...^VRnCn是FL0的概念描述C的标准形式，并且B1^...^Bk^VS1D1^...^VSlDl是FL0的概念描述D的标准形式，那么C包含于D，如果以下两个条件成立，则 ：
    （ⅰ）对于所有的i,1≤i≤k,如果存在j, 1≤j≤m，那么，Bi=Aj。
    （ⅱ）对于所有的i,1≤i≤l,如果存在j, 1≤j≤n，那么，Si=Rj并且 。

    不好意思，这里不好编辑，1..n为下标， V是所有限制符，^是交集符号；不明白，对于（i），不是应该倒过来说么？因为这里说对于在D中的任一概念，在C中都有一个与其对应，那不成了C包含D了？
    对于（ii）也类似。

    不知我哪里理解错了，谢谢各位指教！如果需要本书的（英文版），我也可以提供电子书参考，谢谢！


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/9/30 14:58:00
     
     zysky007 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：20
      积分：232
      门派：XML.ORG.CN
      注册：2008/5/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zysky007发送一个短消息 把zysky007加入好友 查看zysky007的个人资料 搜索zysky007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zysky007的博客第2楼
    发贴心情 
    或者请教一下各位对结构化包含算法的思想的理解也可以，不是特别懂。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/9/30 15:04:00
     
     zysky007 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：20
      积分：232
      门派：XML.ORG.CN
      注册：2008/5/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zysky007发送一个短消息 把zysky007加入好友 查看zysky007的个人资料 搜索zysky007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zysky007的博客第3楼
    发贴心情 
    我终于明白了。因为是在描述一个concept，所以如果D包含C，则C中的任何一个子描述，在D中都有一个描述与其相等，即如果C中j描述存在，则一定与D中的某一个i描述相等，这样，D才能包含C。
    命题中的观点描述得太tweak了。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/2 11:13:00
     
     wanggou 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：计算机学士学位(版主)
      文章：229
      积分：2047
      门派：XML.ORG.CN
      注册：2005/10/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wanggou发送一个短消息 把wanggou加入好友 查看wanggou的个人资料 搜索wanggou在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wanggou的博客第4楼
    发贴心情 
    。。。。。。。。。。。。。。。。。。。。。。。。。。
    结构化包含其实就是把公式化为范式，析取范式或者合取范式来比较
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/2 16:38:00
     
     zysky007 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：20
      积分：232
      门派：XML.ORG.CN
      注册：2008/5/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zysky007发送一个短消息 把zysky007加入好友 查看zysky007的个人资料 搜索zysky007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zysky007的博客第5楼
    发贴心情 
    谢谢！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/2 17:30:00
     
     flykage 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：4
      积分：88
      门派：XML.ORG.CN
      注册：2008/10/8

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给flykage发送一个短消息 把flykage加入好友 查看flykage的个人资料 搜索flykage在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看flykage的博客第6楼
    发贴心情 
    有电子书么？给我发一份！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/8 9:02:00
     
     zysky007 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：20
      积分：232
      门派：XML.ORG.CN
      注册：2008/5/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zysky007发送一个短消息 把zysky007加入好友 查看zysky007的个人资料 搜索zysky007在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zysky007的博客第7楼
    发贴心情 
    我有DL Hand Book电子版，要的话留下邮箱。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2009/2/22 10:07:00
     
     viaphone 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：149
      积分：674
      门派：XML.ORG.CN
      注册：2005/3/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给viaphone发送一个短消息 把viaphone加入好友 查看viaphone的个人资料 搜索viaphone在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看viaphone的博客第8楼
    发贴心情 
    nalandoo@gmail.com
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2009/2/22 12:35:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/3/7 17:49:39

    本主题贴数8，分页： [1]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 85.938ms