新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 一个用Protege构建本体的具体问题。 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 3180 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 一个用Protege构建本体的具体问题。 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     holimouse 帅哥哟，离线，有人找我吗？巨蟹座1996-6-26
      
      
      等级：大二期末(汇编考了97分!)
      文章：71
      积分：398
      门派：W3CHINA.ORG
      注册：2006/2/21

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

        在用Protege构建本体时，会出现这样一个问题，即一个ObjectProperty可能会被多个不同的Class使用，其Domain和Range也可能有很多，问题是当用Protege中的Domain和Range栏中输入多个Class时，系统便会默认将这些Class以UnionOf的方式组合起来，而编辑本体的初衷只是多个不同的三元组分别调用同一个ObjectProperty属性，这显然是不一致的。
         
         比如A,B,C,D,E,F是Class，IsPartOf是ObjectProperty，若A UnionOf B IsPartOf C及D IntersectionOf E IsPartOf F，那么这两个三元组怎样运用IsPartOf这个ObjectProperty连接起来呢？是在Property Tab中的Domain和Range栏编辑，还是在Class Tab中添加属性约束来定义（前者应该是行不通的）？或者还有其它的办法！
       
        请高手详细指明，不吝慧言！感谢之至！
        
       在线等.

       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    东风夜放花千树，更吹落，星如雨。宝马雕车香满路。凤箫声动，玉壶光转，一夜鱼龙舞。 蛾儿雪柳黄金缕，笑语盈盈暗香去。众里寻他千百度。蓦然回首，那人却在，灯火阑珊处

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/25 20:42:00
     
     holimouse 帅哥哟，离线，有人找我吗？巨蟹座1996-6-26
      
      
      等级：大二期末(汇编考了97分!)
      文章：71
      积分：398
      门派：W3CHINA.ORG
      注册：2006/2/21

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

    ----------------------------------------------
    东风夜放花千树，更吹落，星如雨。宝马雕车香满路。凤箫声动，玉壶光转，一夜鱼龙舞。 蛾儿雪柳黄金缕，笑语盈盈暗香去。众里寻他千百度。蓦然回首，那人却在，灯火阑珊处

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/25 20:43:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第3楼
    发贴心情 
    4.1.2 rdfs:domain
    For a property one can define (multiple) rdfs:domain axioms. Syntactically, rdfs:domain is a built-in property that links a property (some instance of the class rdf:Property) to a class description. An rdfs:domain axiom asserts that the subjects of such property statements must belong to the class extension of the indicated class description.

    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. If one would want to say that multiple classes can act as domain, one should use a class description of the owl:unionOf form. For example, if we want to say that the domain of the property hasBankAccount can be either a Person or a Corporation, we would need to say something like this:

    <owl:ObjectProperty rdf:ID="hasBankAccount">
      <rdfs:domain>
        <owl:Class>    
          <owl:unionOf rdf:parseType="Collection">
            <owl:Class rdf:about="#Person"/>
            <owl:Class rdf:about="#Corporation"/>
          </owl:unionOf>
        </owl:Class>    
      </rdfs:domain>
    </owl:ObjectProperty>

    NOTE: In OWL Lite the value of rdfs:domain must be a class identifier.

    4.1.3 rdfs:range
    For a property one can define (multiple) rdfs:range axioms. Syntactically, rdfs:range is a built-in property that links a property (some instance of the class rdf:Property) to to either a class description or a data range. An rdfs:range axiom asserts that the values of this property must belong to the class extension of the class description or to data values in the specified data range.

    Multiple range restrictions are interpreted as stating that the range of the property is the intersection of all ranges (i.e., the intersection of the class extension of the class descriptions c.q. the intersection of the data ranges). Similar to rdfs:domain, multiple alternative ranges can be specified by using a class description of the owl:unionOf form (see the previous subsection).

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/25 21:29:00
     
     holimouse 帅哥哟，离线，有人找我吗？巨蟹座1996-6-26
      
      
      等级：大二期末(汇编考了97分!)
      文章：71
      积分：398
      门派：W3CHINA.ORG
      注册：2006/2/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给holimouse发送一个短消息 把holimouse加入好友 查看holimouse的个人资料 搜索holimouse在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看holimouse的博客第4楼
    发贴心情 
    楼上介绍了domain和range的一些性质和用法，但并没有切中搂主所提问题的要害。
    简单讲：A loves  B
                C loves  D unionof B unionof A
    （A，B，C，D是互不相交的类，或者说就是四个不同的人）
    A与C都是loves的domain，A,B,D都是loves的range,显然不能简单将A unionof C及D unionof B unionof A分别作为loves的domain和range，因为它们之间还有各自的对应关系，而这样的做法混淆和破坏了这些关系。显然，这样简单的处理是不正确的。

    我希望我的表述足够清晰。

    在这里讨论就是想听听大家的意见，找到合适的方法。

    请明者明示！

    ----------------------------------------------
    东风夜放花千树，更吹落，星如雨。宝马雕车香满路。凤箫声动，玉壶光转，一夜鱼龙舞。 蛾儿雪柳黄金缕，笑语盈盈暗香去。众里寻他千百度。蓦然回首，那人却在，灯火阑珊处

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/26 16:00:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第5楼
    发贴心情 
    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. If one would want to say that multiple classes can act as domain,

    "one should"     ------------- 关键

    use a class description of the owl:unionOf form. For example, if we want to say that the domain of the property hasBankAccount can be either a Person or a Corporation, we would need to say something like this:

    规范中说出现这种
    Multiple rdfs:domain axioms
    情况的时候
    should
    默认将这些Class以UnionOf的方式组合起来

    如果不这样做是不符合owl规范的

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/26 18:50:00
     
     holimouse 帅哥哟，离线，有人找我吗？巨蟹座1996-6-26
      
      
      等级：大二期末(汇编考了97分!)
      文章：71
      积分：398
      门派：W3CHINA.ORG
      注册：2006/2/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给holimouse发送一个短消息 把holimouse加入好友 查看holimouse的个人资料 搜索holimouse在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看holimouse的博客第6楼
    发贴心情 
    楼上这样的解释是非常这正确和清晰的，owl确实是这样规范的。

    问题是在不违反owl规范的情况下，如何解决楼主所提问题。如果强行按照规范执行上述编辑操作，其结果与本体构建的本意（语义）相背。

    有没有其他的方法？或者不要在domain和range中强行定义，尝试在约束中定义？又或者强制一个ObjectProperty只能被引用一次（这样好像也不符合逻辑和现实情况，Protege得几个著名实例本体中ObjectProperty好像没有楼主所说的情况出现，它们也没有解决这个问题，不过那些构建本体的人肯定会遇到这个问题）？

    ----------------------------------------------
    东风夜放花千树，更吹落，星如雨。宝马雕车香满路。凤箫声动，玉壶光转，一夜鱼龙舞。 蛾儿雪柳黄金缕，笑语盈盈暗香去。众里寻他千百度。蓦然回首，那人却在，灯火阑珊处

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/27 11:36:00
     
     holimouse 帅哥哟，离线，有人找我吗？巨蟹座1996-6-26
      
      
      等级：大二期末(汇编考了97分!)
      文章：71
      积分：398
      门派：W3CHINA.ORG
      注册：2006/2/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给holimouse发送一个短消息 把holimouse加入好友 查看holimouse的个人资料 搜索holimouse在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看holimouse的博客第7楼
    发贴心情 
    另外，domain和range对ObjectProperty的定义是全局性的，而约束对它的定义是局部的。这对如何重用ObjectProperty用很大的影响。

    ----------------------------------------------
    东风夜放花千树，更吹落，星如雨。宝马雕车香满路。凤箫声动，玉壶光转，一夜鱼龙舞。 蛾儿雪柳黄金缕，笑语盈盈暗香去。众里寻他千百度。蓦然回首，那人却在，灯火阑珊处

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

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

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