Péter Szeredi

已知一張圖片中出現(xiàn)了河流，那么計算機能否推斷出圖片中應(yīng)當包含了水？在語義網(wǎng)絡(luò)的幫助下可以使計算機完成這一邏輯推斷。語義網(wǎng)絡(luò)是計算機科學領(lǐng)域新興的研究方向，旨在使計算機更智能且更容易地處理網(wǎng)絡(luò)上甚至數(shù)據(jù)庫中的海量信息。語義網(wǎng)絡(luò)使計算機不僅能讀取信息，同時也能理解信息。本書的第一作者Péter Szeredi是布達佩斯技術(shù)與經(jīng)濟大學的教授，在20世紀70年代，他領(lǐng)銜發(fā)表了第一個匈牙利語的Prolog語言解釋器，并領(lǐng)導(dǎo)了20世紀80年代享譽全球的匈牙利語軟件MProlog系統(tǒng)的開發(fā)。他涉獵的研究領(lǐng)域包括聲明式語言、語義技術(shù)、并行編程及編程語言實現(xiàn)等。迄今為止他已參與撰寫了14本書，是邏輯編程協(xié)會的創(chuàng)始人之一。

全書被組織為三個部分：第一部分 語義網(wǎng)絡(luò)，含第1-3章，1.現(xiàn)今的萬維網(wǎng)；2.語義網(wǎng)絡(luò)和RDF語言；3.管理和查詢RDF資源。第二部分 本體和邏輯，含4-7章，4.描述邏輯；5.簡單的DL語言推理；6.實現(xiàn)一個簡單的DL推理引擎；7.SHIQ畫面算法。第三部分 本體和語義網(wǎng)絡(luò)，含第8章，8.網(wǎng)絡(luò)本體語言。

鑒于作者在語義網(wǎng)絡(luò)方面有成功的教學經(jīng)驗，加上本書富含示例及練習，本書是一本優(yōu)秀的語義網(wǎng)絡(luò)方面的教材。本書的讀者可以是語義網(wǎng)絡(luò)的踐行者，也可以是普通的學生，乃至任何一個對網(wǎng)絡(luò)技術(shù)、知識工程或描述邏輯感興趣的人。本書不僅闡述了語義網(wǎng)絡(luò)領(lǐng)域的理論基礎(chǔ)，也介紹了相關(guān)算法、最優(yōu)化思路及語義網(wǎng)絡(luò)實現(xiàn)的細節(jié)，可以幫助讀者打下扎實的基礎(chǔ)。

馮多，碩士研究生

（中國科學院信息工程研究所）