新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 求助：如何在owl中表达对象属性的交集 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 6671 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 求助：如何在owl中表达对象属性的交集 举报  打印  推荐  IE收藏夹 
       本主题类别: Ontology Language | Description Logics    
     sherryzhy 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：75
      门派：XML.ORG.CN
      注册：2008/8/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sherryzhy发送一个短消息 把sherryzhy加入好友 查看sherryzhy的个人资料 搜索sherryzhy在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sherryzhy的博客楼主
    发贴心情 求助：如何在owl中表达对象属性的交集

    我是否可以从OWL Full 或者 OWL DL 中找到合适的构造子来描述如下表达：

      " subproperty( intersectionPropertyOf(hasP1, hasP2), hasP3)“
    也就是说，所有满足 x hasP1 y　和 x hasP2 y  的关系对(x,y)　同时也满足ｘhasP3 y.

      owl dl 支持关系传递＋关系层次的表述，　比如subproperty( ObjectPropertyChain(hasP1, hasP2), hasP3)“，可是这种关系交＋关系层次的表述是否也能被某一个owl profile支持呢

    注：这里的 intersectionPropertyOf　构造子是我虚构的，因为没有在ｏｗｌ中找到能表达这个意思的构造子，所以想请教各位大侠，是否存在类似的构造子，或者用其他迂回的方式表达这个意思？


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/6 10:17:00
     
     laotao 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1030
      门派：XML.ORG.CN
      注册：2007/4/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给laotao发送一个短消息 把laotao加入好友 查看laotao的个人资料 搜索laotao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给laotao 引用回复这个贴子 回复这个贴子 查看laotao的博客第2楼
    发贴心情 
    Semantic Web for the working ontologist (p104) 提供了表示相反方向推理的方法:
    如果有P3 subPropertyOf P1, P3 subPropertyOf P2，那么所有满足x P3 y的(x,y)也满足x P1 y和x P2 y
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/7 17:23:00
     
     sherryzhy 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：75
      门派：XML.ORG.CN
      注册：2008/8/28

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

    嗯, 这个相反的推理 表述的是， p1 subProperty (p2 交 p3)， 这个意思可以由p1 subProperty p2, 和 p1 subProperty p3两条公理直接推理出来。
    可是我想表达的意思是( p1 交 p2 ) subproperty p3, 上述的推理无法满足我的需求。
    不管怎样，先谢谢了：）

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/7 17:43:00
     
     laotao 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1030
      门派：XML.ORG.CN
      注册：2007/4/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给laotao发送一个短消息 把laotao加入好友 查看laotao的个人资料 搜索laotao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给laotao 引用回复这个贴子 回复这个贴子 查看laotao的博客第4楼
    发贴心情 
    ...it is impossible to describe classes whose instances are related to another anonymous individual via different property paths. For example, it is impossible to assert that individuals who live and work at the same location are “HomeWorkers”.
    (Benjamin N. Grosof etc, Description Logic Programs: Combining Logic Programs with Description Logic, WW2003, May 20–24, 2003, Budapest, Hungary.)
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/7 17:48:00
     
     sherryzhy 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：75
      门派：XML.ORG.CN
      注册：2008/8/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sherryzhy发送一个短消息 把sherryzhy加入好友 查看sherryzhy的个人资料 搜索sherryzhy在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sherryzhy的博客第5楼
    发贴心情 
    sigh, owl 的表达能力有的时候真的让人很无助。

    在网上查到去年国外有人在org.w3.public-owl-dev 列表里也问到property intersection的表达问题，不过不知道为什么看不到原来的问题和回答列表， 只能从google的缓存里看到一些提问人的感慨：

    “ I have discovered things I cant
    say in OWL and that I think would be useful to say whilst building test
    ontologies, because its easier to see the consquences of certain
    combinations of axioms over smaller models. As such these things usually
    crop up in trivial examples for me. When I am building "real" ontologies
    I stick to presuming that I will only try and say what I know I can say
    in OWL to avoid making them unnecessarily complicated to get an 。。。
    ”

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/7 18:02:00
     
     laotao 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1030
      门派：XML.ORG.CN
      注册：2007/4/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给laotao发送一个短消息 把laotao加入好友 查看laotao的个人资料 搜索laotao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给laotao 引用回复这个贴子 回复这个贴子 查看laotao的博客第6楼
    发贴心情 
    DL为decidability牺牲了很多东西，不知道OWL full能不能表达你的逻辑
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2010/1/7 18:56:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给Google AdSense 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/10/31 18:11:30

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

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