語義網絡解釋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.網絡本體語言。

鑒于作者在語義網絡方面有成功的教學經驗，加上本書富含示例及練習，本書是一本優秀的語義網絡方面的教材。本書的讀者可以是語義網絡的踐行者，也可以是普通的學生，乃至任何一個對網絡技術、知識工程或描述邏輯感興趣的人。本書不僅闡述了語義網絡領域的理論基礎，也介紹了相關算法、最優化思路及語義網絡實現的細節，可以幫助讀者打下扎實的基礎。

馮多，碩士研究生

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