新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 两个实例的sameAs关系可以通过推理得出吗? ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 7239 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 两个实例的sameAs关系可以通过推理得出吗? 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     windbird 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(汇编考了97分!)
      文章：101
      积分：446
      门派：XML.ORG.CN
      注册：2004/8/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给windbird发送一个短消息 把windbird加入好友 查看windbird的个人资料 搜索windbird在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看windbird的博客楼主
    发贴心情 两个实例的sameAs关系可以通过推理得出吗?

    如果某个概念的实例I1和I2,具有完全相同的属性赋值,从实际上讲I1和I2是等价的,它们之间的sameAs关系只能人为设定吗?描述逻辑推理可能实现这种关系的断言吗?

       收藏   分享  
    顶(0)
      




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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第2楼
    发贴心情 
    两个实例的那些属性中如果有一个或者一个以上的属性是InverseFunctionalProperty，那么这两个实例是相同的，如果没有这样的属性，即使再多的属性相同也没有用。参见
    http://www.w3.org/TR/2004/REC-owl-guide-20040210/#InverseFunctionalProperty
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/11/29 20:12:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第3楼
    发贴心情 
    Axiom表达的是OWLClass的关系，不是Instance。用于ABox的推理现在还在实验室里面，慢得要死，你根本用不到的。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/1 6:29:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第4楼
    发贴心情 
    Axiom表达的是OWLClass的关系，不是Instance。用于ABox的推理现在还在实验室里面，慢得要死，你根本用不到的。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/1 6:38:00
     
     windbird 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(汇编考了97分!)
      文章：101
      积分：446
      门派：XML.ORG.CN
      注册：2004/8/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给windbird发送一个短消息 把windbird加入好友 查看windbird的个人资料 搜索windbird在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看windbird的博客第5楼
    发贴心情 
    谢谢各位的指教,我现在在看KAON2,呵呵
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/3 10:02:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第6楼
    发贴心情 
    KOAN2 在Abox方面应该说是做了很好的，也许是最好，但是由于没有用tableaux，所以在taxonomy classification方面，简直不值一提……我做了一个实验，用racer分类名词，大概是5秒钟，KAON2用了173秒，天晓得怎么回事。不过，其它方面例如，consistency checking，KAON2一点没有问题。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/3 18:51:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第7楼
    发贴心情 
    以下是引用iamwym在2005-12-3 18:51:00的发言：
    KOAN2 在Abox方面应该说是做了很好的，也许是最好，但是由于没有用tableaux，所以在taxonomy classification方面，简直不值一提……我做了一个实验，用racer分类名词，大概是5秒钟，KAON2用了173秒，天晓得怎么回事。不过，其它方面例如，consistency checking，KAON2一点没有问题。


    版版有没有比较一下jena和kaon2的推理效率，哪个要好一些？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/4 10:44:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第8楼
    发贴心情 
    jena不是专用的reasoner，它的推理能力并不好，似乎是基本没有abox功能的，所以不太可以比。
    一般大家都是在FaCT Pellet KAON2 Racer之间比较，其实个人认为最有前途的是FaCT，牛人们都在那边（咳咳，包括我们Kolapig版版），KAON2的作者现在也去了曼大，Ian, Uli, Boris三个人，2个FaCT作者，2个KAON2作者估计以后都会开发FaCT吧，也许，不过Boris会跟Prof. Voronkov，不知道会不会参与FaCT……

    说了些题外话～

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第9楼
    发贴心情 
    以下是引用iamwym在2005-12-4 18:06:00的发言：
    jena不是专用的reasoner，它的推理能力并不好，似乎是基本没有abox功能的，所以不太可以比。
    一般大家都是在FaCT Pellet KAON2 Racer之间比较，其实个人认为最有前途的是FaCT，牛人们都在那边（咳咳，包括我们Kolapig版版），KAON2的作者现在也去了曼大，Ian, Uli, Boris三个人，2个FaCT作者，2个KAON2作者估计以后都会开发FaCT吧，也许，不过Boris会跟Prof. Voronkov，不知道会不会参与FaCT……

    说了些题外话～



    有一个疑问，jena里面有基于规则的推理，这种推理是abox还是tbox，比如：
    [wifeRule:(?x indiv:hasSpouseOf ?y),(?x indiv:gender '女') -> (?x indiv:beWifeOf ?y)]
    这个是针对实例的推理，应该属于abox的吧？
    就是对“abox推理”和“基于规则的推理”这两者概念区别上有点模糊，请版版指教，谢谢
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/4 18:14:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

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

    里面有ground的概念, 简单的说是把 rule应用达到 abox中的所有 individuals.

    比如 有 rule    not complaint (x) <-- goodproduct(x).
           ABox 中有 3个 individuals, 那么,可以把上面的规则应用到 这3个individual 上

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

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

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