新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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本体中的推理问题以及OWL Overview的翻译问题 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 10705 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： [求助]关于OWL本体中的推理问题以及OWL Overview的翻译问题 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     orangebench 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研一(参加了一年一度的XML大会)(版主)
      文章：681
      积分：4761
      门派：W3CHINA.ORG
      注册：2004/5/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给orangebench发送一个短消息 把orangebench加入好友 查看orangebench的个人资料 搜索orangebench在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问orangebench的主页 引用回复这个贴子 回复这个贴子 查看orangebench的博客楼主
    发贴心情 [求助]关于OWL本体中的推理问题以及OWL Overview的翻译问题

    在翻译OWL Overview的时候，碰到一个问题：

    Class(Cat partial
                  Restriction(allValuesFrom hasChild Cat))

    即属性hasChild 应用于类Cat的时候，它的值也是Cat。

    这个声明能否推出：

    domain(hasChild)=Cat  --> range(hasChild)=Cat ?

    即如果属性hasChild的定义域是Cat，则值域也是Cat。

    谢谢大家。

    另外，有几句话不会翻译：
    （黑体的）
    1. OWL Lite allows restrictions to be placed on how properties can be used by instances of a class. [B]These type (and the cardinality restrictions in the next subsection) are used within the context of an [http://www.w3.org/TR/owl-guide/#PropertyRestrictions owl:Restriction].[/B] The [http://www.w3.org/TR/owl-guide/#PropertyRestrictions owl:onProperty] element indicates the restricted property. The following two restrictions limit which values can be used while the next section's restrictions limit how many values can be used. <BR>

    2。 For example, hasPrimaryEmployer may be stated to be a FunctionalProperty. From this a reasoner may deduce that no individual may have more than one primary employer . This does not imply that every Person must have at least one primary employer however.

    这个primary employer  怎么翻译？

    谢谢！


    [此贴子已经被作者于2004-8-23 18:37:44编辑过]

       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    Semantic Web is a dream; Semantic Web technology is 
    the reality.
    Weblog: http://blog.w3china.org/~orangebench/

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/13 11:56:00
     
     admin 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：W3China站长
      等级：计算机硕士学位(管理员)
      文章：5255
      积分：18406
      门派：W3CHINA.ORG
      注册：2003/10/5

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给admin发送一个短消息 把admin加入好友 查看admin的个人资料 搜索admin在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给admin  访问admin的主页 引用回复这个贴子 回复这个贴子 查看admin的博客第2楼
    发贴心情 
    会不会因为西方人有第二职业的现象很普遍，，所以用primary employer， second employer来区分主要工作的雇主，和第二职业的雇主？

    ----------------------------------------------

    -----------------------------------------------

    第十二章第一节《用ROR创建面向资源的服务》
    第十二章第二节《用Restlet创建面向资源的服务》
    第三章《REST式服务有什么不同》
    InfoQ SOA首席编辑胡键评《RESTful Web Services中文版》
    [InfoQ文章]解答有关REST的十点疑惑

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/13 14:20:00
     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客第3楼
    发贴心情 
    我用protege试了试，好像是正确的^_^ 当然不排除我使用protege有误的可能性啦：）
    我仅定义了一个类Cat和一个属性hasChild，然后声明
    Class(Cat partial
                  Restriction(allvaluesFrom hasChild Cat))
    而且对于hasChild声明其定义域与值域都是Cat
    最后按下Protege上的Classify Taxonomy button，就用Racer做推理
    没有报错！
    我也不知道这是否意味着楼主所言属实，或许应该不声明hasChild的定义域和值域，而直接用Racer推理，看是否能推出其定义域与值域都是Cat
    不过遗憾的是，偶正在看Racer的manual，暂尚未掌握其推理书写格式和技巧：（
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/18 23:11:00
     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客第4楼
    发贴心情 
    我用protege试了试，好像是正确的^_^ 当然不排除我使用protege有误的可能性啦：）
    我仅定义了一个类Cat和一个属性hasChild，然后声明
    Class(Cat partial
                  Restriction(allvaluesFrom hasChild Cat))
    而且对于hasChild声明其定义域与值域都是Cat
    最后按下Protege上的Classify Taxonomy button，就用Racer做推理
    没有报错！
    我也不知道这是否意味着楼主所言属实，或许应该不声明hasChild的定义域和值域，而直接用Racer推理，看是否能推出其定义域与值域都是Cat
    不过遗憾的是，偶正在看Racer的manual，暂尚未掌握其推理书写格式和技巧：（
    此主题相关图片如下：
    按此在新窗口浏览图片
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/18 23:17:00
     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

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

    1. OWL Lite allows restrictions to be placed on how properties can be used by instances of a class. [B]These type (and the cardinality restrictions in the next subsection) are used within the context of an [http://www.w3.org/TR/owl-guide/#PropertyRestrictions owl:Restriction].[/B] The [http://www.w3.org/TR/owl-guide/#PropertyRestrictions owl:onProperty] element indicates the restricted property. The following two restrictions limit which values can be used while the next section's restrictions limit how many values can be used.

    OWL Lite对于属性可以做限定，使得属性能够作用于类的实例。这些类型（包括下一节的数量限定）都统一归属于owl:Restriction。而元素owl:onProperty则用于声明那些被限定的属性。下面的两个限定（allValueFrom, someValueFrom）限制了属性（该属性通过owl:onProperty得以声明）取值的范畴，而下一节的数量限定（minCardinality, maxCardinality, cardinality）则限制了属性取值的个数。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/18 23:52:00
     
     orangebench 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研一(参加了一年一度的XML大会)(版主)
      文章：681
      积分：4761
      门派：W3CHINA.ORG
      注册：2004/5/28

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

    Alternate namings for these restricted forms of cardinality were discussed. Current recommendations are to include any such names in a front end system. More on this topic is available on the publicly available webont mail archives with the most relevant message at http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0063.html.

    这句话：
    Current recommendations are to include any such names in a front end system.

    实在不明白是什么意思。 ？？

    ----------------------------------------------
    Semantic Web is a dream; Semantic Web technology is 
    the reality.
    Weblog: http://blog.w3china.org/~orangebench/

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/23 18:39:00
     
     happysw 美女呀，离线，快来找我吧！
      
      
      等级：大二期末(汇编考了97分!)
      文章：51
      积分：383
      门派：XML.ORG.CN
      注册：2004/5/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给happysw发送一个短消息 把happysw加入好友 查看happysw的个人资料 搜索happysw在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看happysw的博客第7楼
    发贴心情 
    我感觉它的意思还是推荐使用现有的这些约束命名。
    以下是引用orangebench在2004-8-23 18:39:46的发言：
    owl overview 3。5 的最后一小段：

    Alternate namings for these restricted forms of cardinality were discussed. Current recommendations are to include any such names in a front end system. More on this topic is available on the publicly available webont mail archives with the most relevant message at http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0063.html.

    这句话：
    Current recommendations are to include any such names in a front end system.

    实在不明白是什么意思。 ？？



    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/23 20:42:00
     
     orangebench 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研一(参加了一年一度的XML大会)(版主)
      文章：681
      积分：4761
      门派：W3CHINA.ORG
      注册：2004/5/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给orangebench发送一个短消息 把orangebench加入好友 查看orangebench的个人资料 搜索orangebench在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问orangebench的主页 引用回复这个贴子 回复这个贴子 查看orangebench的博客第8楼
    发贴心情 
    谢谢大家的帮忙。
    OWL Overview 已经翻译完了90%,只剩一些边边角角了。

    ----------------------------------------------
    Semantic Web is a dream; Semantic Web technology is 
    the reality.
    Weblog: http://blog.w3china.org/~orangebench/

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/25 13:31:00
     
     jumbo 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：19
      积分：159
      门派：XML.ORG.CN
      注册：2004/7/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jumbo发送一个短消息 把jumbo加入好友 查看jumbo的个人资料 搜索jumbo在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jumbo的博客第9楼
    发贴心情 
    以下是引用orangebench在2004-8-23 18:39:46的发言：
    owl overview 3。5 的最后一小段：

    Alternate namings for these restricted forms of cardinality were discussed. Current recommendations are to include any such names in a front end system. More on this topic is available on the publicly available webont mail archives with the most relevant message at http://lists.w3.org/Archives/Public/www-webont-wg/2002Oct/0063.html.

    这句话：
    Current recommendations are to include any such names in a front end system.

    感觉应该是“现在的推荐（倾向于）包括任何在前端系统中出现的命名（名称）”

    实在不明白是什么意思。 ？？



    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/25 14:08:00
     
     jumbo 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：19
      积分：159
      门派：XML.ORG.CN
      注册：2004/7/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jumbo发送一个短消息 把jumbo加入好友 查看jumbo的个人资料 搜索jumbo在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jumbo的博客第10楼
    发贴心情 
    楼主是否在翻译w3c里6篇owl的文章？如果需要，小弟可以帮忙，比如guide或者 use cases等等
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/8/25 14:10:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/10 14:38:05

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

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