語(yǔ)義網(wǎng)絡(luò)解釋W(xué)eb 3.0背后的技術(shù)和數(shù)學(xué)

Péter Szeredi

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

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

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

馮多，碩士研究生

（中國(guó)科學(xué)院信息工程研究所）