<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Delight in Thinking &#187; Description Logic</title>
	<atom:link href="http://www.linhq.net/archives/category/description-logic/feed" rel="self" type="application/rss+xml" />
	<link>http://www.linhq.net</link>
	<description>思考的乐趣</description>
	<lastBuildDate>Sun, 11 Apr 2010 22:01:22 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.9.2</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>读描述逻辑的一个感想</title>
		<link>http://www.linhq.net/archives/70</link>
		<comments>http://www.linhq.net/archives/70#comments</comments>
		<pubDate>Tue, 02 Mar 2010 06:42:04 +0000</pubDate>
		<dc:creator>rainzen</dc:creator>
				<category><![CDATA[Description Logic]]></category>

		<guid isPermaLink="false">http://www.linhq.net/?p=70</guid>
		<description><![CDATA[这些天在学习描述逻辑，攻读《The Description Logic Handbook：theory, implementation and applications》，受益匪浅。在学习过程中，有一个感想越发强烈地涌上脑海。

描 述逻辑是Ron Brachman 1970年代在哈佛大学读博士是发展起来的，他的博士论文奠定了描述逻辑的基础。描述逻辑和我们熟悉的情报检索语言有很多相似之处，在上世纪70年代，情 报检索语言也是如火如荼。现在回过头来看，情报检索语言和描述逻辑可以说是哥俩一对，可为什么时隔40年，情报检索语言已是昨日黄花，而描述逻辑却是如日 中天呢？
想来想去，发现情报检索语言和描述逻辑看上去很相似，其实他们背后的哲学是截然不同的。情报检索语言的哲学是匹配，是建立在词语匹 配上的概念匹配，所以情报检索语言强调词汇控制，情报检索语言本质上是一种受控语言。而描述逻辑的哲学是推理，即试图通过形式化的描述来建立推理规则，从 形式化描述的概念中推导其内涵，随着计算机技术的发展，推理理论和工具的完善，描述逻辑焕发着青春。
形式化描述也是建立在受控基础上的，但是描述逻辑并不控制词汇，而是控制规则和结构，这样就被赋予了更为强大的描述能力，这可能是描述逻辑在网络时代越来越有用武之地的原因吧。
上面的感想只是一个思想火花，不很严格也可能是完全错误的，写下来供大家批评讨论。
]]></description>
		<wfw:commentRss>http://www.linhq.net/archives/70/feed</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
