新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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讨论区 - 语义网·描述逻辑·本体·RDF·OWL → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 用图论 三元组 的方法解决!请给我一个算法!谢谢大家! ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 17159 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 用图论 三元组 的方法解决!请给我一个算法!谢谢大家! 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

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

    http://www.agfa.com/w3c/euler/
    Euler proof mechanism
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/4/20 16:56:00
     
     Spark 帅哥哟，离线，有人找我吗？双子座1979-6-21
      
      
      威望：2
      等级：大三(面向对象是个好东东!)(版主)
      文章：107
      积分：664
      门派：XML.ORG.CN
      注册：2003/10/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Spark发送一个短消息 把Spark加入好友 查看Spark的个人资料 搜索Spark在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给Spark  引用回复这个贴子 回复这个贴子 查看Spark的博客第12楼
    发贴心情 
    希望楼主能给出一个例子，因为如果将类解释为集合，子类解释为集合的包含关系，这种情况下则可以推出a＝b=c=d=e;即5个类为等价类。
    欢迎讨论
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/4/26 18:31:00
     
     yangliu 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(研究MFC有点眉目了!)
      文章：37
      积分：537
      门派：XML.ORG.CN
      注册：2004/9/29

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给yangliu发送一个短消息 把yangliu加入好友 查看yangliu的个人资料 搜索yangliu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yangliu的博客第13楼
    发贴心情 
    以下是引用npubird在2004-4-10 22:21:19的发言：
    如果用图论的话，概念之间的subclass关系就构成了一个二维矩阵，然后用我说的方法就很容易就判断了。
    我想流程应该这样：
    1。遍历所有subclass的关系，从而构造二维数组。
    2。问题就转换到这个二维数组中了。然后判断这个二维矩阵是否每行每列是否满足“每行每列存在且只存在一个1”。

    不敢苟同，你的这类图也太特殊了吧，
    显然比“无圈图”小的多的多


    相信RDF(S)能完成这个简单的程序的！
    这是很简单的东西，相信你！


    ----------------------------------------------
    子曰
    ——学而时习之
    ——有朋自远方来
    ——人不知而不愠

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/1 18:08:00
     
     yangliu 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(研究MFC有点眉目了!)
      文章：37
      积分：537
      门派：XML.ORG.CN
      注册：2004/9/29

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给yangliu发送一个短消息 把yangliu加入好友 查看yangliu的个人资料 搜索yangliu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yangliu的博客第14楼
    发贴心情 
    以下是引用Spark在2004-4-26 18:31:02的发言：
    希望楼主能给出一个例子，因为如果将类解释为集合，子类解释为集合的包含关系，这种情况下则可以推出a＝b=c=d=e;即5个类为等价类。
    欢迎讨论

    严重同感！！！

    ----------------------------------------------
    子曰
    ——学而时习之
    ——有朋自远方来
    ——人不知而不愠

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/1 18:10:00
     
     yangliu 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(研究MFC有点眉目了!)
      文章：37
      积分：537
      门派：XML.ORG.CN
      注册：2004/9/29

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

    设代表这种包含关系的矩阵是A，
    很容易得到A的传递闭包A+

    再求出  B=A'  的传递闭包B+

    令C=B+ and A+   (按位‘与’)
    如果C中有1元素，则图中有环

    ----------------------------------------------
    子曰
    ——学而时习之
    ——有朋自远方来
    ——人不知而不愠

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/1 18:18:00
     
     傻酷鱼 帅哥哟，离线，有人找我吗？
      
      
      威望：7
      等级：大四(GRE考了2400分!)
      文章：77
      积分：1074
      门派：W3CHINA.ORG
      注册：2004/8/9

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给傻酷鱼发送一个短消息 把傻酷鱼加入好友 查看傻酷鱼的个人资料 搜索傻酷鱼在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看傻酷鱼的博客第16楼
    发贴心情 
    图的拓扑排序算法可以用于解决这个问题。因为有环图的拓扑排序是无法完成的。

    ----------------------------------------------
    共同参与并见证Web的未来！

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/2 20:57:00
     
     i99 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：5
      积分：79
      门派：XML.ORG.CN
      注册：2004/10/2

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给i99发送一个短消息 把i99加入好友 查看i99的个人资料 搜索i99在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看i99的博客第17楼
    发贴心情 
    给个具体的例子把，　这种传递的子类关系应该不存在，　除非五个类相等．
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/2 22:44:00
     
     heightor 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：87
      积分：557
      门派：XML.ORG.CN
      注册：2004/8/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给heightor发送一个短消息 把heightor加入好友 查看heightor的个人资料 搜索heightor在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看heightor的博客第18楼
    发贴心情 
    同意fool cool fish的观点。
    最简单，如果图中有入度为0的节点，可能不是环；一步一步按拓扑排序的办法做，中间过程中找不到入度为0的节点的话，必然有环。
    这是前几天晚上和系里一位兄弟讨论的结果。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/3 20:19:00
     
     aaaron 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：20
      积分：161
      门派：XML.ORG.CN
      注册：2004/9/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给aaaron发送一个短消息 把aaaron加入好友 查看aaaron的个人资料 搜索aaaron在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看aaaron的博客第19楼
    发贴心情 
    呵呵
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2004/10/11 16:31:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/2 12:08:44

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

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