新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 本体推理问题---推理机会不会自动产生个体 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 3158 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 本体推理问题---推理机会不会自动产生个体 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     showlrr 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：96
      门派：XML.ORG.CN
      注册：2007/4/19

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给showlrr发送一个短消息 把showlrr加入好友 查看showlrr的个人资料 搜索showlrr在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看showlrr的博客楼主
    发贴心情 本体推理问题---推理机会不会自动产生个体

    例如类A -----类B，
    定义A一个个体a，
    A有属性（比如说eat）allvaluefrom B的限制
    可不可以推理出类B的实例 b，a （eat） b

    等待高手帮忙解答

    上面理论上是通的，可是使用推理机racer并没有得到b的结果


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/25 18:55:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第2楼
    发贴心情 
    这是肯定的啊，你一开始又没有预先申明b是B的个体，当然不会推出B(b)了

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/25 20:56:00
     
     showlrr 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：96
      门派：XML.ORG.CN
      注册：2007/4/19

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给showlrr发送一个短消息 把showlrr加入好友 查看showlrr的个人资料 搜索showlrr在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看showlrr的博客第3楼
    发贴心情 
    谢谢楼上的回答，但是如果我定义了b是B的实例

    一样也推理不到结果

    可能是因为a eat 的对象是B，但不一定就是b，

                  也可能是其他实例（虽然我们并没有定义）

                  所以得不到 a eat b

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/26 0:27:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第4楼
    发贴心情 
    不可能啊，你是定义下面这个公理么？

    A \sqsubseteq \forall Eat.B

    B(b), A(a),

    那肯定可以推到 Eat(a,b)，否则就违背了描述逻辑的语义了


    [此贴子已经被作者于2007-10-26 14:46:25编辑过]

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/26 2:44:00
     
     wjwenoch 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：101
      积分：744
      门派：W3CHINA.ORG
      注册：2006/2/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wjwenoch发送一个短消息 把wjwenoch加入好友 查看wjwenoch的个人资料 搜索wjwenoch在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问wjwenoch的主页 引用回复这个贴子 回复这个贴子 查看wjwenoch的博客第5楼
    发贴心情 
    Two straightforward method:
    1. Assert that the range of EAT is B.
    2. Add an axiom: A implies ForAll EAT.B. (Actually this is the same as method 1: if you add a GCI like TOP implies ForAll EAT.B, then it is exactly the same as setting the range for EAT.)

    ----------------------------------------------
    一个人炫耀什么，就表示他缺乏什么。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/26 5:08:00
     
     bzbc 帅哥哟，离线，有人找我吗？
      
      
      等级：大三暑假(TOFEL考了660分!)
      文章：151
      积分：921
      门派：XML.ORG.CN
      注册：2006/4/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给bzbc发送一个短消息 把bzbc加入好友 查看bzbc的个人资料 搜索bzbc在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看bzbc的博客第6楼
    发贴心情 
    高手真多
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/26 9:00:00
     
     showlrr 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：96
      门派：XML.ORG.CN
      注册：2007/4/19

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

    我是用protege里all values from定义的，

    不知道和你的有何区别

    我的这个本体用racer pro 1.90可以推，用fact++1.5就会出现malformed request错误...

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/10/26 16:13:00
     
     showlrr 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：96
      门派：XML.ORG.CN
      注册：2007/4/19

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给showlrr发送一个短消息 把showlrr加入好友 查看showlrr的个人资料 搜索showlrr在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看showlrr的博客第8楼
    发贴心情 
    作者：wjwenoch
    --  发布时间：2007-10-26 5:08:00

    --  
    Two straightforward method:
    1. Assert that the range of EAT is B.
    2. Add an axiom: A implies ForAll EAT.B. (Actually this is the same as method 1: if you add a GCI like TOP implies ForAll EAT.B, then it is exactly the same as setting the range for EAT.)
    ----------------------------------------------------------------------------------------------

    我已经设置了eat的range B
    而且B也只有b一个实例
    还是没有推出结果

    是不是这样的：
    我的a是A的实例其实不是定义过来的，是经过推理出来的，也就是inferred type
    racer推出a是A的实例之后并没有进一步推理a eat b

    如果是应该如何解决

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

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

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