新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → [求助] ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 5040 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： [求助] 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     wsh 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：0
      积分：54
      门派：XML.ORG.CN
      注册：2004/11/25

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

    RDF Semantics 中的entail 和entailment 怎么翻译才合适？

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/25 15:22:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第2楼
    发贴心情 
    后继，不知道是不是合适
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/25 18:37:00
     
     ChouBill 帅哥哟，离线，有人找我吗？处女座1978-9-10
      
      
      威望：4
      等级：大三暑假(参加全国数模竞赛拿了一等奖)
      文章：124
      积分：774
      门派：XML.ORG.CN
      注册：2004/4/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ChouBill发送一个短消息 把ChouBill加入好友 查看ChouBill的个人资料 搜索ChouBill在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问ChouBill的主页 引用回复这个贴子 回复这个贴子 查看ChouBill的博客第3楼
    发贴心情 
    这个词我也比较疑惑,关于这个词有下面几个句子(摘自owql.rdf)
    1.Finally, a basic premise of the Semantic Web is that the declarative languages used to represent knowledge on
    the Web will have a formally defined semantics and theory of logical entailment.
    这里theory of logical entailment是什么意思?我觉得是逻辑推理

    2.An OWL knowledge base K is considered to be a collection of logical sentences KS that represents a logical
    theory in which a collection of entailed sentences KES are true such that KS <(属于) KES.
    这里entailed sentenences是什么意思?被推理出来的逻辑句?

    3.For example, the answer “Joe owns a
    red car.” shown in Figure 1 means the answer KB entails the following sentence, expressed here in first-order
    logic (using KIF syntax):
    (exists (?c) (and (owns Joe ?c) (type ?c Car) (has-color ?c Red)))
    这里answer KB entails the sentence,好像有点推导出的意思.

    4.In typical knowledge representation languages (including OWL), a knowledge base may entail the existence of a
    query answer but not entail a binding for every variable in the query. For example, a knowledge base that says
    every person has exactly one father (i.e., that every object of type “Person” has exactly one value of the property
    “hasFather”) and that Joe is a person (i.e., that “Joe” is type “Person”), entails that Joe has a father but may not
    entail a value of property “hasFather” for Joe. (I.e., the knowledge base may not identify the father.)
    这里的entail好像是推导的意思.

    从在各种场合来看,在汉语中解释为推理,推导好像更好理解

    ----------------------------------------------
    欢迎访问真人CS枪战论坛
    http://www.gunwar.cn

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/26 10:23:00
     
     cquzjh 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：30
      积分：255
      门派：XML.ORG.CN
      注册：2004/6/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给cquzjh发送一个短消息 把cquzjh加入好友 查看cquzjh的个人资料 搜索cquzjh在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看cquzjh的博客第4楼
    发贴心情 
    我觉得可以理解为蕴涵的意思！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/26 11:45:00
     
     ChouBill 帅哥哟，离线，有人找我吗？处女座1978-9-10
      
      
      威望：4
      等级：大三暑假(参加全国数模竞赛拿了一等奖)
      文章：124
      积分：774
      门派：XML.ORG.CN
      注册：2004/4/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ChouBill发送一个短消息 把ChouBill加入好友 查看ChouBill的个人资料 搜索ChouBill在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问ChouBill的主页 引用回复这个贴子 回复这个贴子 查看ChouBill的博客第5楼
    发贴心情 
    谁能帮我翻译一下上面的第2个句子？老感觉自己翻译不清楚。

    唉，学了这么多年英文，怎么还这么差劲？

    ----------------------------------------------
    欢迎访问真人CS枪战论坛
    http://www.gunwar.cn

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/26 14:13:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第6楼
    发贴心情 
    An OWL knowledge base K is considered to be a collection of logical sentences KS that represents a logical theory in which a collection of entailed sentences KES are true such that KS <(属于) KES

    一个owl知识库k能被考虑为一个表现逻辑理论的逻辑语句KS的合集，在逻辑理论中，后继推导语句的的合集KES为真，可得KS属于KES。

    翻译也可能不太好，不知道这样有没有说清楚。英语里面宾语从句的嵌套是会比较令人难以翻译。个人觉得entialment不太会是单纯就是推导，虽然香港的中英对照表就是推导的意思。tail是尾巴的意思，entail则是遗留给，转给的意思，所以我觉得翻译成后继推导比较能够让人能理解。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/27 17:24:00
     
     Emily 美女呀，离线，快来找我吧！
      
      
      等级：大二(研究汇编)
      文章：31
      积分：294
      门派：XML.ORG.CN
      注册：2003/12/25

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

    全句译为：一个OWL知识库可以被看作逻辑语句KS的集合，它代表了逻辑理论。在逻辑理论中，蕴涵语句KES集合为真，如KS属于KES。

    ----------------------------------------------
    天是蓝的，水是绿的，生活是自己的。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/11/28 21:51:00
     
     ChouBill 帅哥哟，离线，有人找我吗？处女座1978-9-10
      
      
      威望：4
      等级：大三暑假(参加全国数模竞赛拿了一等奖)
      文章：124
      积分：774
      门派：XML.ORG.CN
      注册：2004/4/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ChouBill发送一个短消息 把ChouBill加入好友 查看ChouBill的个人资料 搜索ChouBill在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问ChouBill的主页 引用回复这个贴子 回复这个贴子 查看ChouBill的博客第8楼
    发贴心情 
    我关心的是，无论entailed sentences 翻译成蕴涵语句也好，后继推导语句也好，他们各代表什么意思？

    ----------------------------------------------
    欢迎访问真人CS枪战论坛
    http://www.gunwar.cn

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/12/1 11:18:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第9楼
    发贴心情 
    一种对知识库父属性的继承，个人觉得。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/12/3 8:24:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/19 18:32:05

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

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