中文XML论坛--感谢论坛，感谢斑竹，奉献我的毕业论文

新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚

XML论坛

W3CHINA.ORG讨论区

计算机科学论坛

SOAChina论坛

Blog

开放翻译计划

新浪微博

登录

注册

帮助

>> 本版讨论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)/描述逻辑/本体』 → 感谢论坛，感谢斑竹，奉献我的毕业论文

◇查看新帖 ◇ 用户列表 ◇

发表一个新主题

发表一个新投票

回复主题

(订阅本版)

您是本帖的第 40139 个阅读者　　

　

*	贴子主题：感谢论坛，感谢斑竹，奉献我的毕业论文	举报打印推荐 IE收藏夹
	本主题类别: Semantic Web \| 学位论文

帅哥哟，离线，有人找我吗？

  等级：大四(GRE考了1400分!)
  文章：117
  积分：1001
  门派：W3CHINA.ORG
  注册：2004/11/17

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	楼主

感谢论坛，感谢斑竹，奉献我的毕业论文

http://lat.inf.tu-dresden.de/research/papers/2007/Huang-MT-2007.pdf
Abstract:
Ontologies are now ubiquitous and many of them are currently being ported into logical formalisms, most notably description logic (DL). It is inevitable that such migration might introduces inconsistencies -- both in terms of logical and that of ontological -- which could be far from obvious. This motivates the recent research topic of explanation of DL-based ontologies. Explanation comes in two flavors: pinpointing which addresses the source of inconsistencies found in the ontology and debugging which recovers the ontology into a consistent state. Since the latter often requires information from the former, we consider axiom pinpointing as essential for both flavors of the explanation problem. Much of the research in this area is focusing on expressive DLs, in which standard reasoning alone is already highly intractable. In this paper, we investigate this problem in a tractable extension of EL which is useful in life science applications. We have discovered that pinpointing is inherently intractable -- despite the tractable logic considered -- if all information is required. This is due to the combinatorial blow-up of possible sets of axioms. We develop a labelled algorithm for axiom pinpointing based on the EL subsumption algorithm and the known labelling technique used in tableau algorithm. For implementation purposes, we restrict this algorithm to computation of only partial information, for which polynomial-time algorithm can be obtained. We have experimented this approach on Galen and found that even partial information can already help ease the way an ontology is being debugged.
懒的上传了，直接下载吧，毕业了，欢迎各位提供工作和位置的信息。祝论坛越办越好。

收藏分享
顶(0)

2007/3/25 5:53:00

帅哥哟，离线，有人找我吗？

  等级：大一(高数修炼中)
  文章：19
  积分：136
  门派：XML.ORG.CN
  注册：2006/12/9

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第2楼

非常感谢

2007/3/25 9:56:00

tbe

帅哥哟，离线，有人找我吗？

  等级：大一(猛啃高等数学)
  文章：24
  积分：159
  门派：XML.ORG.CN
  注册：2006/9/29

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第3楼

我看了，写的不错

2007/3/26 11:01:00

帅哥哟，离线，有人找我吗？

  等级：大二(研究汇编)
  文章：51
  积分：261
  门派：XML.ORG.CN
  注册：2004/10/15

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第4楼

3q
----------------------------------------------
君子无忧

2007/3/30 10:28:00

iamwym

帅哥哟，离线，有人找我吗？

  威望：9
  等级：计算机硕士学位(版主)
  文章：2454
  积分：17456
  门派：XML.ORG.CN
  注册：2004/11/14

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第5楼

支持一下
可惜目前组里资金比较紧张⋯⋯

2007/3/31 0:22:00

yvyx

帅哥哟，离线，有人找我吗？

  等级：大一新生
  文章：3
  积分：84
  门派：XML.ORG.CN
  注册：2007/1/28

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第6楼

多谢！！！

2007/4/2 11:06:00

gruijie

帅哥哟，离线，有人找我吗？

  等级：大一(猛啃高等数学)
  文章：17
  积分：121
  门派：XML.ORG.CN
  注册：2007/4/4

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第7楼

好好学习一下，谢谢楼主

2007/4/4 15:17:00

帅哥哟，离线，有人找我吗？

  等级：大三(要不要学学XML呢?)
  文章：101
  积分：744
  门派：W3CHINA.ORG
  注册：2006/2/13

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第8楼

哈哈，支持一个。。。是TUD的啊，不知道是不是理论所那帮大牛的弟子不。。。呵呵
----------------------------------------------
一个人炫耀什么，就表示他缺乏什么。

2007/4/5 9:43:00

帅哥哟，离线，有人找我吗？

  等级：大一新生
  文章：5
  积分：76
  门派：XML.ORG.CN
  注册：2007/1/23

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第9楼

下载了，慢慢看。E文看起来就是比较慢一点，呵呵

2007/4/10 2:46:00

meichih

美女呀，离线，快来找我吧！

  等级：大一(高数修炼中)
  文章：12
  积分：128
  门派：XML.ORG.CN
  注册：2007/4/26

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

	第10楼

thanks!下载来看看！

2007/4/26 14:40:00

GoogleAdSense

  等级：大一新生
  文章：1
  积分：50
  门派：无门无派
  院校：未填写
  注册：2007-01-01

	广告

2024/5/4 4:00:56

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

管理选项：修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	108.398ms