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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 2233 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 问个小问题 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     evenbetter 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(面向对象是个好东东!)
      文章：142
      积分：775
      门派：XML.ORG.CN
      注册：2005/11/8

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

    最近在看protege的教程：ProtegeOWLTutorial.pdf，学着用它建OWL
    里面其他的还都很通俗易懂，就下面这句实在不知道在讲什么:

    The above universal restriction V hasTopping MozzarellaTopping also describes
    the individuals that do not participate in any hasTopping relationships. An indi-
    vidual that does not participate in any hasTopping relationships what so ever, by
    definition does not have any hasTopping relationships to individuals that aren’t
    members of the class MozzarellaTopping and the restriction is therefore satisfied.

    其中，V就是逻辑中的“对于所有”或者“任意”，我不知道怎么打这个符号，：（
    敬请各位指教～！


    [此贴子已经被作者于2006-4-24 15:59:13编辑过]

       收藏   分享  
    顶(0)
      




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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第2楼
    发贴心情 
    word可以在特殊字表中找到
    或者找个latex编辑器
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/24 19:50:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第3楼
    发贴心情 
    好像是这样理解：
    ∨(universal restriction) hasTopping MozzarellaTopping 的意思是如果存在hasTopping属性，那么hasTopping属性的值必须是MozzarellaTopping。这也意味着可以不存在hasTopping属性，不存在的情况理解为：不满足“具有hasTopping属性，且属性取值为非MozzarellaTopping”。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/24 20:56:00
     
     evenbetter 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(面向对象是个好东东!)
      文章：142
      积分：775
      门派：XML.ORG.CN
      注册：2005/11/8

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给evenbetter发送一个短消息 把evenbetter加入好友 查看evenbetter的个人资料 搜索evenbetter在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看evenbetter的博客第4楼
    发贴心情 
    恩，又仔细看了看觉得把它的意思通俗些解释的话应该可以翻译成：

    如果一个individual没有hasTopping属性的话，那么它就绝对不可能通过hasTopping属性与任何的MozzarellaTopping相联系。

    也就是说是咱们中文逻辑上经常说的：

    ∨(universal restriction) hasTopping MozzarellaTopping（假设拥有这个约束的类为A类），  就表示“A类所有有hasTopping属性的实例都通过hasTopping属性与一个MozzarellaTopping实例相联系 ”， 反过来说，“A类中所有没有hasTopping属性的实例都绝对不可能通过hasTopping属性与一个MozzarellaTopping实例相联系 ”。

    这么一看觉得老外确实比较喜欢说废话，没有hasTopping属性当然就不可能有联系了

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

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

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