新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 请教:本体中的公理,到底是什么东西?能举个例子说明一下吗? ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 10097 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 请教:本体中的公理,到底是什么东西?能举个例子说明一下吗? 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

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

    以下是引用chris在2006-4-20 20:02:00的发言：
    axiom和rule都可用来推理，确实不容易区分啊
    希望高手来解答阿

    DL里面的公理，你可以认为是TBOX，即是对本体结构的描述，包括两种形式的公理：C包含于D，或者C等于D，其中C,D可以是原子或者复合的概念或者属性。DL里面还有ABOX，是对属性和概念的实例。对应于数据库来说，你可以认为TBOX 是Database Scheme， ABOX是数据库instance。

    严格而言，对于一个逻辑系统，你们所说的公理仅仅是描述逻辑的语法部分，也就是逻辑的语法构成。DL还有它的语义部分。

    rule严格地说不是DL范畴内的，而是一般的知识表示领域说的东西，比如逻辑程序里面的规则，前提和结论之间有可推关系（不是经典逻辑里面的蕴涵）。如果一定要说描述逻辑里面有什么规则，比如，相应于经典逻辑的推理规则的话，我以为就是Tableau算法里面的那些规则了。

    一点个人看法，不知道是不是很准确。

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/21 22:12:00
     
     owlsharpe 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：18
      积分：168
      门派：XML.ORG.CN
      注册：2006/3/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给owlsharpe发送一个短消息 把owlsharpe加入好友 查看owlsharpe的个人资料 搜索owlsharpe在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看owlsharpe的博客第12楼
    发贴心情 
    OWL中的公理是OWL中的语法范畴中的,是OWL中的各语句的一个基础
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/25 21:15: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的博客第13楼
    发贴心情 
    rule除了trigger rule之外还有别的类型吗
    能否举几个例子

    Rules are of the form of an implication between an antecedent (body) and consequent (head).
    Intended meaning: whenever conditions specified in antecedent hold, conditions specified in consequent must also hold
    这是Ian Horrocks对rule的定义

    这段定义好象也是在说trigger rule

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/27 21:40:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第14楼
    发贴心情 
    什么叫trigger rule?在KR领域没有见过这个名词啊

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/27 22:17:00
     
     lloyd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：185
      门派：XML.ORG.CN
      注册：2006/3/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lloyd发送一个短消息 把lloyd加入好友 查看lloyd的个人资料 搜索lloyd在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lloyd的博客第15楼
    发贴心情 
    look
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 0:27: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的博客第16楼
    发贴心情 
    In some DL systems, such as Classic [Brachman et al., 1991] or Loom [Mac-Gregor, 1991a], in addition to terminologies and world descriptions, one can also use rules to express knowledge. The simplest variant of such rules are expressions of the form
    C---〉 D
    where C, D are concepts. The meaning of such a rule is “if an individual is proved to be an instance of C, then derive that it is also an instance of D.” Such rules are often called trigger rules.

    DL handbook p74

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第17楼
    发贴心情 
    记得好像有人问过这个问题，上面的朋友关于triggler rule的“C->D”和它的逆反“-D -> -C”并非等价的有没有想明白啊？ ^_^ 自己复习一遍。
    triggler rule最大的一个特点就是在充分满足了前提条件才能进行推理，特别注意的是充分。 基于triggler rule最典型的例子就是prolog。 举个例子
    unmarried_student(X):-not(married(X)), student(X).
    student(joe).
    married(john).
    这个程序有一个rule和两个fact， rule可以看成是not(married(X)) and student(X)--->unmarried_student(X).
    给出一个query
    ?- unmarried_student(joe).

    yes
    可以看出当给x赋值joe，可以退出unmarried_student(joe)是可以推理出来的， 同样
    ?- unmarried_student(john).

    no
    同样，赋值给xjohn也是可以进行推理的， 但当要查询
    ?- unmarried_student(X).

    no
    我们希望得到的答案应该是joe， 但是得到的答案是no（即failure），因为推理的假设不充分，因为至少已经有一个unmarried student， 所以这个推理规则不能用了，得到的结果是negation as failure。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/29 0:14:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第18楼
    发贴心情 
    这种trigger rule应该不是主流DL系统使用的吧，在SW上的本体层的OWL LITE/DL中应该都是不支持的，因为对应的SHIF(D), SHION(D)还是SHIQ(D)都不支持这种规则。

    目前在本体之上构建rule/proof/trust方面的工作倒是有很多，这种工作应该更好一些，因为本体层已经够复杂了。

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/29 10:38:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/11/2 7:56:49

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

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