语义网络解释Web 3.0背后的技术和数学

Péter Szeredi

已知一张图片中出现了河流，那么计算机能否推断出图片中应当包含了水？在语义网络的帮助下可以使计算机完成这一逻辑推断。语义网络是计算机科学领域新兴的研究方向，旨在使计算机更智能且更容易地处理网络上甚至数据库中的海量信息。语义网络使计算机不仅能读取信息，同时也能理解信息。本书的第一作者Péter Szeredi是布达佩斯技术与经济大学的教授，在20世纪70年代，他领衔发表了第一个匈牙利语的Prolog语言解释器，并领导了20世纪80年代享誉全球的匈牙利语软件MProlog系统的开发。他涉猎的研究领域包括声明式语言、语义技术、并行编程及编程语言实现等。迄今为止他已参与撰写了14本书，是逻辑编程协会的创始人之一。

全书被组织为三个部分：第一部分 语义网络，含第1-3章，1.现今的万维网；2.语义网络和RDF语言；3.管理和查询RDF资源。第二部分 本体和逻辑，含4-7章，4.描述逻辑；5.简单的DL语言推理；6.实现一个简单的DL推理引擎；7.SHIQ画面算法。第三部分 本体和语义网络，含第8章，8.网络本体语言。

鉴于作者在语义网络方面有成功的教学经验，加上本书富含示例及练习，本书是一本优秀的语义网络方面的教材。本书的读者可以是语义网络的践行者，也可以是普通的学生，乃至任何一个对网络技术、知识工程或描述逻辑感兴趣的人。本书不仅阐述了语义网络领域的理论基础，也介绍了相关算法、最优化思路及语义网络实现的细节，可以帮助读者打下扎实的基础。

冯多，硕士研究生

（中国科学院信息工程研究所）