新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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等。
    [返回] 计算机科学论坛 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 问几个关于描述逻辑的问题 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 15197 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 问几个关于描述逻辑的问题 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客楼主
    发贴心情 问几个关于描述逻辑的问题

    1 reasoning和inference有什么区别？
    2 individual和individual name（又称nominal）有什么区别？
    3 不动点语义（fixpoint semantic）跟SW联系多吗，如果不多的话这部分就不打算再仔细研究了，挺难懂的，4，5两个问题也不管了。
    4 DL Handbook p61中不动点模型存在性的问题中用到了lattice theory，那部分没看懂谁能解释一下吗？
    5 DL Handbook p62中说可以归纳出来任何不包含negation的ALCN terminology都是单调（monotone）的，而C不就是代表任意概念的negation这个构造子吗，为什么还这么说呢？另外下面的命题2.8中并没有强调ALCN terminology，意思似乎是只要是不存在negation的terminology都是单调的，这又是怎么回事呢？

    多谢大侠们了，我正在写DL Handbook第二章的阅读笔记，写完了会发上来给大家看看的


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/25 14:24:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第2楼
    发贴心情 
    reasoning 要广一点，比如包括deduction。

    nominal应该不是individual name，它是一种特殊的类（class，concept），其成员以枚举的方式给出。

    不动点语义这部分我也觉得满难懂的。个人感觉，跳过不看不影响对DL语义和推理算法的理解。decription semantics足以。一般情况下，acyclic TBOX就满足要求了，不必考虑不动点语义。

    negation的ALCN大概就是ALN吧 。 2.8并没有证明单调性，2.9才是。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/25 16:25:00
     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客第3楼
    发贴心情 
    DL Handbook p65 2.2.3.2下第一句：“Sometimes, it is convenient to allow individual names (also called nominals) not only in the ABox,……”
    这里意思应该是"individual names" also called "nominals"吧

    2.8的确没有说单调性的问题，不过看上下文好像意思是说这种TBox是单调的因而是有gfp/lfp的，如果不是这样2.8是怎么得来的呢？

    不动点语义太愁人了，如果后面算法不涉及的话那就不管了

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/25 18:28:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第4楼
    发贴心情 
    个人觉得inference应该比reasoning更广泛一些，因为inference problem所涉及的问题包括ABox和TBox，但是说到reasoning只对ABox来说。 还有individual name和individual 区别好像不大，但是个人不建议把他看成是一个特殊的concept，尤其对于初学者来说。对于下面关于 existence fixpoint model的问题，我说一下自己的理解。 大家一起讨论。
    首先对于一个TBox来说，fixpoint model可以没有，（2。5）这个例子，是因为它的model为空，所以fixpoint model当然也没有， （2。6）这个例子，它有model，但是没有fixpoint model。 所以现在提出问题，怎么判断一个terminology 有fixpoint model呢（*）？？
    感谢主，我们有一个叫做 Tarski’s Fixpoint Theorem的东东。 它怎么说咧？  它说for a monotone function on a complete lattice the set of fixpoints is nonempty and forms itself a complete
    lattice. 所以fixpoint is nonempty要 满足两个条件 （1） monotone （2） complete lattice。  通过上文，我们已经知道，which shows that (ExtJ <＝–) is a complete lattice. 第二个条件已经满足了，所以现在只要求满足第一个条件 monotone， 所以现在解决的问题就是怎么样的terminology 是monotone的？ 再次感谢主， Baader直接给出了结论， 如果terminology 是 negation free的，它就是monotone的。  (*)问题的结论出来了， 我们可以通过控制一个DL语言的句法结构来保证它有fixpoint model， 这就是 proposition 2。8所说的。  
    说的再远一点，我们已经知道如果一个terminology是negation free的，那就是monotone，但是这还不是最general的，我们还可以用更加精确的语言来表示monotone。 什么叫做不是最general的， 可以这样理解，虽然有可能不对，如果是negation free就一定可以推出来monotone， 但是反过来就不行了。 所以proposition 2。9 给出了一个更加精确的关于monotone的定义。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/25 23:44:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第5楼
    发贴心情 
    还有关于楼主的第5点，请参考54页所说的，C和UE是可以相互转换的，所以当一个ALCN 是negation free的时候， 它就是ALUEN， 不会影响他们的semantic的.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 0:40:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第6楼
    发贴心情 
    cyclic TBox才需要不动点语义
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 2:55:00
     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客第7楼
    发贴心情 
    多谢4楼了，fixpoint那块基本上理清楚了：）
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 13:17:00
     
     surpass 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：1
      积分：102
      门派：XML.ORG.CN
      注册：2005/12/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给surpass发送一个短消息 把surpass加入好友 查看surpass的个人资料 搜索surpass在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看surpass的博客第8楼
    发贴心情 
    楼上大侠，能否把你的dl读书笔记发来看看，讨论一下。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/16 11:43:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第9楼
    发贴心情 
    个人觉得这个第二章写得不够深入浅出，特别是Tableau算法部分。其实Ian的几个教程不错，按那个提纲写就好懂多了。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/16 14:03:00
     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客第10楼
    发贴心情 
    天,这么古老的帖子都翻出来了……
    DLHB第二章看完之后写了点笔记
    但可惜一直没空整理成电子版的……
    现在回头看看如果不是深入搞理论研究的话好像不用看那么深的
    现在实际应用最为成熟的感觉还是在RDF层
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/16 15:47:00
     
     GoogleAdSense射手座1983-12-15
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/10/9 5:04:45

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

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