新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> Web服务(Web Services,WS), 语义Web服务(Semantic Web Services, SWS)讨论区: WSDL, SOAP, UDDI, DAML-S, OWL-S, SWSF, SWSL, WSMO, WSML,BPEL, BPEL4WS, WSFL, WS-*,REST, PSL, Pi-calculus(Pi演算), Petri-net,WSRF,
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Web Services & Semantic Web Services 』 → A-Box consistency check ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 6502 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： A-Box consistency check 举报  打印  推荐  IE收藏夹 
       本主题类别: Description Logics    
     alextoqiang 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：81
      门派：XML.ORG.CN
      注册：2006/12/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给alextoqiang发送一个短消息 把alextoqiang加入好友 查看alextoqiang的个人资料 搜索alextoqiang在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看alextoqiang的博客楼主
    发贴心情 A-Box consistency check

    请问有没有哪个reasoner可以检查OWL里 A-Box的consistency?

    我的意思是我定义一个 Concept (City), 一个property (isLargerThan). isLargerThan的range和domain都是City. 而且是transitive property

    我声明3个instances of City,  Beijing, Wuhan, Haikou. 然后建立关系: Beijing isLargerThan Wuhan, Wuhan isLargerThan Haikou,  Haikou isLargerThan Beijing. 这几个声明完是inconsistent.

    请问有没有reasoner能检验出这种A-Box里的inconsistency?
    我试过pellet，没有这个功能。 Racer要等验证， Fact++还没试。 请问有这种reasoner能检查这种inconsistency的吗？


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/13 20:38:00
     
     wanggou 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：计算机学士学位(版主)
      文章：229
      积分：2047
      门派：XML.ORG.CN
      注册：2005/10/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wanggou发送一个短消息 把wanggou加入好友 查看wanggou的个人资料 搜索wanggou在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wanggou的博客第2楼
    发贴心情 
    第一个，你写的这个小本体不存在inconsistent的问题
    第二个，pellet可以检查abox的consistency
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/13 21:10:00
     
     meng_ke 美女呀，离线，快来找我吧！
      
      
      等级：大一(猛啃高等数学)
      文章：28
      积分：165
      门派：XML.ORG.CN
      注册：2007/3/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给meng_ke发送一个短消息 把meng_ke加入好友 查看meng_ke的个人资料 搜索meng_ke在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看meng_ke的博客第3楼
    发贴心情 
    这个ABox的确有inconsistency; 而且我也发现用reasoner来查，查不出ABox inconsistency，至少pellet如此，他会说是TBox inconsistent.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/14 10:50:00
     
     wanggou 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：计算机学士学位(版主)
      文章：229
      积分：2047
      门派：XML.ORG.CN
      注册：2005/10/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wanggou发送一个短消息 把wanggou加入好友 查看wanggou的个人资料 搜索wanggou在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wanggou的博客第4楼
    发贴心情 
    。。。。。。。。。。。。。。。。。。。。。。。。
    我对此表示沉默
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/15 14:07:00
     
     alextoqiang 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：81
      门派：XML.ORG.CN
      注册：2006/12/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给alextoqiang发送一个短消息 把alextoqiang加入好友 查看alextoqiang的个人资料 搜索alextoqiang在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看alextoqiang的博客第5楼
    发贴心情 
    我又仔细研究了一下。 在OWL 1.1里，我定义的本体的确没有 inconsistency.

    Beijing isLargerThan Wuhan
    Wuhan isLargerThan HaiKou
    =>Beijing isLargerThan HaiKou

    Haikou isLargerThan Beijing
    Beijing isLargerThan Haikou
    =>Haikou isLargerThan Haikou

    最后结果Haikou isLargerThan Haikou在OWL 1.* 版本下是允许的， 这叫reflexive property。
    但在OWL 2下，如果我们定义 isLargerThan 是irreflexive property. 那么最后的结论就是inconsistency.

    Protege 4支持 OWL 2的，但是我如果定义一个object property 同时 transitive和irreflexive，pellet就会报inconsistency。 但在W3C网上并没有看到 transitive和irreflexive不能同时定义啊.

    求达人继续解答我的问题。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/15 17:13:00
     
     wanggou 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：计算机学士学位(版主)
      文章：229
      积分：2047
      门派：XML.ORG.CN
      注册：2005/10/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wanggou发送一个短消息 把wanggou加入好友 查看wanggou的个人资料 搜索wanggou在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wanggou的博客第6楼
    发贴心情 
    运用你的理性和判断，你应该能知道为什么
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/16 9:13:00
     
     alextoqiang 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：6
      积分：81
      门派：XML.ORG.CN
      注册：2006/12/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给alextoqiang发送一个短消息 把alextoqiang加入好友 查看alextoqiang的个人资料 搜索alextoqiang在『 Web Services & Semantic Web Services 』的所有贴子 引用回复这个贴子 回复这个贴子 查看alextoqiang的博客第7楼
    发贴心情 
    楼上的哥们，你能说详细点吗？

    为什么transitive和 irreflexive不能同时定义？

    如果可以， 哪种推理机能检测这种inconsistency呢？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/10/16 16:42:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Web Services & Semantic Web Services 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/29 14:14:34

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

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