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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 2758 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 关于allValuesFrom的继续提问 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     erickong 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：10
      积分：95
      门派：XML.ORG.CN
      注册：2005/10/14

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

    <owl:Class rdf:ID="Person">
      <rdfs:subClassOf>
        <owl:Restriction>
          <owl:onProperty rdf:resource="#hasChild" />
          <owl:allvaluesFrom rdf:resource="#Person" />
        </owl:Restriction>
      </rdfs:subClassOf>
    </owl:Class>

    比如"我"是person类的一个个体，我现在没有孩子，那应该理解成"我"的"hasChild"属性映射到空呢，还是理解成"我"没有haschild这个属性呢？


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/17 15:21:00
     
     lngxt 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：27
      积分：199
      门派：XML.ORG.CN
      注册：2004/10/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lngxt发送一个短消息 把lngxt加入好友 查看lngxt的个人资料 搜索lngxt在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lngxt的博客第2楼
    发贴心情 
    同问
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/17 17:07:00
     
     admin 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：W3China站长
      等级：计算机硕士学位(管理员)
      文章：5255
      积分：18407
      门派：W3CHINA.ORG
      注册：2003/10/5

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

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

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

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

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第4楼
    发贴心情 
    这个问题我的理解是属性的取值为空，
    原因在于如果hasChild的域（domain）为person，那么表明person应该具有该属性，相比之下一个非person类的实例则不具有该属性。简单的说就是一个实例是否具有某个属性应该看相应属性的域是否定义在相应的类上。
    另一个问题需要注意的是如果在我们的本体（或者说是知识库）中显式的说明了某人的haschild属性为空与在本体（或者说是知识库）未提及此人的haschild的属性也是有区别的，在open-world 假设条件下后者的含义是此人的haschild属性的取值情况未知。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/17 19:17:00
     
     twwwgauts 美女呀，离线，快来找我吧！
      
      
      等级：大二期末(汇编考了97分!)
      文章：68
      积分：323
      门派：XML.ORG.CN
      注册：2005/6/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给twwwgauts发送一个短消息 把twwwgauts加入好友 查看twwwgauts的个人资料 搜索twwwgauts在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看twwwgauts的博客第5楼
    发贴心情 
    我也认为是属性为空，has-child应是Person的属性，现在只是没有值而已。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/19 10:49:00
     
     admin 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：W3China站长
      等级：计算机硕士学位(管理员)
      文章：5255
      积分：18407
      门派：W3CHINA.ORG
      注册：2003/10/5

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

    要回答这个问题，首先我们应明确：
    何谓“我现在没有孩子”（1楼）
    何谓"实例是否具有某个属性" (4楼)

    这里有两种理解：
    （1）“没有“或“是否具有“，指的是知识库中__没有__或__不存在___
    （2）客观的理解，即客观地看“是否应当“具有

    我采取（1）

    我在3楼的回答没有说清楚，实际上我说”没有hasChild“指的是知识库中没有明确指出hasChild与某个个体关联。

    我们来看一下OWL Semantics & Abstract Syntax中对allvaluesfrom的解释：

    restriction(p allValuesFrom(r))  的语义是：{x ∈ O | <x,y> ∈ ER(p) implies y ∈ EC(r)}  

    这里符号比较多，我重新表述一下：{x∈所有个体的集合|   三元组（x, p, y) 成立 --> y是r的一个实例 }  ，注意，这里的 --->  是逻辑蕴含

    也就是说，如果明确说明 a isA person, 而且 a hasChild b那么 b isA person。
    如果 没有明确说明 是否 a isA person，那么 结果不一定。

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

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

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

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第7楼
    发贴心情 
    明白admin的意思了，
    －－－－－－－－－－－－－－－－－－－－－－
    （open-world 假设条件下：）
    但是针对楼主的问题，他指出已经知道他没有孩子 ，那么情况就是知识库中已经明确的包含了他的haschild的情况，所以我觉得还是属性的取值为空。
    不过如果如果知识库中不包含这个信息，我们进行case分析的时候，就应该在需要的情况下对haschild的取值情况进行分析，当然前提就是我所说的hasChild的域（domain）为person。所以这种做法也说明了person是具有这个属性的，只是取值的问题。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/19 15:50:00
     
     erickong 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：10
      积分：95
      门派：XML.ORG.CN
      注册：2005/10/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给erickong发送一个短消息 把erickong加入好友 查看erickong的个人资料 搜索erickong在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看erickong的博客第8楼
    发贴心情 
    如果hasChild属性值为空，是否意味着类Person有一个“空”个体？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/21 18:13:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第9楼
    发贴心情 
    其实我决定haschild的值域（range）应该定义为一个list，所以这样看来hasChild属性值为空只是说明这个列表为空。
    person有个“空”个体我觉得有点别扭，因为空集是任何集合的子集，所以取值为空是可以的，但是说成是“空”个体颇有点不爽。当然这只是个人看法而已啊。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/21 21:52:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/9/30 10:01:37

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

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