新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 关于rdfs:domain和rdfs:range的推理问题 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 7280 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 关于rdfs:domain和rdfs:range的推理问题 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

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

    在RDF Vocabulary Description Language 1.0: RDF Schem（http://www.w3.org/TR/2004/REC-rdf-schema-20040210/）[1]和OWL Web Ontology Language Reference（http://www.w3.org/TR/2004/REC-owl-ref-20040210/）[2]中均涉及到了rdfs:domain和rdfs:range。而在jena的规则文件中（%jenaroot%/etc/rdfs-b.rules）有这样一条规则[rdfs3:  (?p rdfs:range ?c) (?x ?p ?y)  -> (?y rdf:type ?c)]
    我在想这条规则是不是有问题。原因有以下两点：
    （1）Multiple rdfs:domain axioms are allowed and should be interpreted as a conjunction: these restrict the domain of the property to those individuals that belong to the intersection of the class descriptions。上面所说的文件[2]。
    （2）根据开放世界假设，只为属性定义了一个rdfs:domain，并不意味着这个属性就没有其他的定义域。也就是说只定义一个domain也“可能”存在多个domain。

    那么上面的规则是不是就有问题了呢？


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/13 22:49:00
     
     admin 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：W3China站长
      等级：计算机硕士学位(管理员)
      文章：5255
      积分：18407
      门派：W3CHINA.ORG
      注册：2003/10/5

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

    ----------------------------------------------

    -----------------------------------------------

    第十二章第一节《用ROR创建面向资源的服务》
    第十二章第二节《用Restlet创建面向资源的服务》
    第三章《REST式服务有什么不同》
    InfoQ SOA首席编辑胡键评《RESTful Web Services中文版》
    [InfoQ文章]解答有关REST的十点疑惑

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/13 23:13:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第3楼
    发贴心情 
    建议楼主首先搞清开放世界定义的应用范围
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/14 0:06:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第4楼
    发贴心情 
    又看一下描述逻辑手册中关于开放世界的那部分，果然把开放世界假设应用范围搞错了。

    但是对于TBox如果不能应用开放世界假设，那么如果未能为一个属性定义在本体范围中应该具有的所有domain＆range，不是会导致出错？比如说文章的作者可以是组织，也可以是个人，而定义的时候只指明range为person。那么就会将所有的作者看作person。

    这种问题应该如何解决呢？如果仅定义一个Tbox，而不加入实例信息，似乎无法验证本体定义是否合理？况且定义本体的时候将所有应该界定的domain＆range定义清楚也不是很轻松的一件事情啊。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/14 9:30:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第5楼
    发贴心情 
    以下是引用admin在2006-3-13 23:13:00的发言：
    没看出有什么问题啊？


    我定义了这样一段：
    author的定义域是book和Miscellaneous-Publication，值域是organization和person，其中book和Miscellaneous-Publication是disjoint，organization和person也是disjoint。
    再建立一个书的实例?a，并为其制定一个作者?b，如果不指明作者的类型（person或者organization）根据推理规则只能推出?b的type是空集。这表明什么？表示推理不出?b的类型吗？我觉得应该推理出?b是person或者organization，也就是二者的union。

    但是如果推理出是二者的并，那么如果我们没有定义清楚一个属性的domain和range，比如只说author的range是person，那么根据规则[rdfs3:  (?p rdfs:range ?c) (?x ?p ?y)  -> (?y rdf:type ?c)] ，文章的作者只能是person而不是其他类型了。

    不知道我的想法有没有说清楚，请多多指正啊。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/14 9:55:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第6楼
    发贴心情 
    以下是引用jiexincao在2006-3-14 9:30:00的发言：
    又看一下描述逻辑手册中关于开放世界的那部分，果然把开放世界假设应用范围搞错了。

    但是对于TBox如果不能应用开放世界假设，那么如果未能为一个属性定义在本体范围中应该具有的所有domain＆range，不是会导致出错？比如说文章的作者可以是组织，也可以是个人，而定义的时候只指明range为person。那么就会将所有的作者看作person。

    这种问题应该如何解决呢？如果仅定义一个Tbox，而不加入实例信息，似乎无法验证本体定义是否合理？况且定义本体的时候将所有应该界定的domain＆range定义清楚也不是很轻松的一件事情啊。



    关于开放世界推理的描述，我倒是觉得protege owl plugin tutorial，就是matthew horridge写的那个，解释了最容易懂。然后结合protege实际操作一下，你就明白了
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/14 17:06:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第7楼
    发贴心情 
    又看了一下ProtegeOWLTutorial中关于开放世界和关于domain＆range的那些内容。发现还是存在问题啊。
    Tutorial中的开放世界假设那段举的例子是关于TBox的推理的，是不是开放世界假设可以用于Tbox的范围内？
    另外在Tutorial中说多个domain或者range定义之间应该是union关系。似乎与OWL Web Ontology Language Reference中的说法矛盾。

    是不是又是我理解错了？我再找一些相关文献看看吧。多谢斑竹和admin啊~~~

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/15 0:27:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第8楼
    发贴心情 
    兄台似乎在离散数学的概念上混淆了。
    开放世界的假设是在讨论集合的问题，个体和概念之间的关系，从而推断概念和概念之间的从属关系。
    domain和range是定义了property的应用范围，而不是一个集合的概念，是一个语义的关系，并不是集合的关系。ProtegeOWLTutorial用union来说明，并不是集合上的那种union，而是逻辑上union。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/15 5:57:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第9楼
    发贴心情 
    首先，
    对 open world assumption （OWA）理解不对，一般说OWA指的是ABox的semantic，意思是说我们不知道的事情 可能正确也可能不正确，这是相对于close world assumption的（我们不知道的就是不成立的）。

    不能把这个概念扩展到 domain 和 range.

    上面这段英文说得没错，你可以有domain axioms, 比如一个属性a的domain 是 person 也是 organization,那么 这个domain正能是 person和 organizatiion的交集，当然如果你把 person 和organization 设为disjoint, 那么你定义这个属性a就毫无意义。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/15 6:25:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第10楼
    发贴心情 
    首先TBox无所谓open world assumption，TBOX只是定义terminology,ABox定义的才是assertion,只有assertion(可以理解为你所知道的事实)，才有OWA和CWA这一说，

    定义ontology的时候，domain和range当然可以以后才加，比如你要定义属性aaa的range是person,用DL表示是：

    TOP subsumed forall aaa.(person),但是后来你发现range也可以是organization,当然你可以把这个定义改为
    TOP subsumed forall aaa.(person or Organization),

    为什么要一下子完成说有domain和 range的定义呢？

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

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

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