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