資源描述：
《基于描述邏輯的語(yǔ)義web本體推理技術(shù)研究與實(shí)現(xiàn)》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、中山大學(xué)碩士學(xué)位論文基于描述邏輯的語(yǔ)義Web本體推理技術(shù)研究與實(shí)現(xiàn)ResearchandImplementofOntologyReasoningBasedonDescriptionLogicsintheSemanticWeb專業(yè)：計(jì)算機(jī)軟件與理論學(xué)位申請(qǐng)人：李振超指導(dǎo)教師：萬(wàn)海講師論文答辯委員會(huì)主席：成員：忿夏眺2010年11月‘文j。＼》·一·‘．一。：‘：．t÷≮jj_．_jj，7J?：，．：_‘二。，．．¨；?7《∥t：’．，．：。．’t，‘●e．-‘rj囂．一·“o‘，，：4，t：曩。j鬻鐫啦’鋤
2、■；。震?！鯻_一_■一IIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIUlIIIIIIIIII÷。：“，，一*v?一一。'I溷瑟．=．．．：一一．．．^～。：’+：．+一i+霪V：：i
3、”燮『省IW掣興I罌≯j’j：。。．?．．。’’。一．”翱-_o_UZI-／；二一曩妊一一∥一．j．。：．．。。，：一學(xué)位論文原創(chuàng)性聲明，?！獭?，～I(xiàn)÷，。一。一·～，。磣～：。．。$·‰爹≥。ii：一．“本入鄭重聲嚼：所璺交的學(xué)位論文，趨本人在導(dǎo)師的指導(dǎo)下，狻；?，立進(jìn)行研究工作所取得的成果。
4、除文中已經(jīng)注明引用的內(nèi)容外，零論。，二?！＃牟话魏纹渌麄€(gè)人或集體已經(jīng)發(fā)表或撰寫過(guò)的作品成果。對(duì)本文，、：。移巍j；。，√一鼢研究作豳重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本?！?，“≯『
5、。；『
6、：_”0每≥劾峰一‘。，。
7、
8、‘j，一●』『
9、，
10、
11、+‘。一．1110，，‰。：疊-。l。。哆掣叫即■j‘”～。?！??！?/p>
12、．。一一，”?！?，”“。：，一“。一矗冉“7^々。％·?j—j。jIh，t嚼‘—。，，《，群”。t一，。’：i一∥?：’：。一o：學(xué)位論文使用授權(quán)聲明，。，+r”～．’2。j，
13、一I。：，。，，E^“～：ii?！獻(xiàn)’。、“i。。。?：?j!j：1：j—jj。。?：j?！?/p>
14、?！?。二磐彰“：一≯?鄧?2i!”本人完全了解中山太學(xué)有關(guān)保留。、使用學(xué)位論文的規(guī)定1．鼢：+擎，：Ii。?。i’。0、j一，，校有權(quán)保留學(xué)位論文并向國(guó)家主管部門或其指定機(jī)梅送交論文韻電i”“?！?．．’予版和紙質(zhì)版，有權(quán)將學(xué)位論文用于非贏利丑的的少量復(fù)制并允許論。j黟張％：。毒，?！弧＜歼M(jìn)入學(xué)校圖書館、院系資料室被查閱，有權(quán)將學(xué)位論文盼內(nèi)容編奎”『Y。；?I冬；基于描述邏輯的語(yǔ)義Web本體推理技術(shù)研究與實(shí)現(xiàn)專
15、業(yè)：計(jì)算機(jī)軟件與理論碩士生：李振超指導(dǎo)老師：萬(wàn)海講師摘要自1989年萬(wàn)維網(wǎng)誕生以來(lái)，它得到了迅速的發(fā)展，現(xiàn)已成為人們獲取信息的主要渠道之一，深刻影響到人類社會(huì)生活的各個(gè)方面，改變了人們彼此交流的方式和商業(yè)運(yùn)作的方式，使社會(huì)發(fā)展正向知識(shí)經(jīng)濟(jì)和知識(shí)社會(huì)轉(zhuǎn)型。目前的萬(wàn)維網(wǎng)是面向人而不是面向機(jī)器的，人可以理解萬(wàn)維網(wǎng)上Web頁(yè)面的內(nèi)容，但機(jī)器卻只能是對(duì)Wreb頁(yè)面進(jìn)行簡(jiǎn)單的顯示，而不能真正理解Web頁(yè)面內(nèi)容的含義，也就不可能對(duì)其進(jìn)行自動(dòng)處理。為了使計(jì)算機(jī)能夠理解和處理網(wǎng)頁(yè)內(nèi)容，迅速準(zhǔn)確地從海量網(wǎng)頁(yè)中查找出所需要的內(nèi)
16、容，萬(wàn)維網(wǎng)的創(chuàng)始人TimBemers．Lee提出了語(yǔ)義網(wǎng)(Semamicweb)的概念。語(yǔ)義Web是對(duì)現(xiàn)有Web增加語(yǔ)義支持，是現(xiàn)有萬(wàn)維網(wǎng)的變革和延伸，其目標(biāo)是使網(wǎng)絡(luò)中的信息都具有語(yǔ)義，并幫助計(jì)算機(jī)在一定程度上理解信息的含義，使得高效的信息共享和機(jī)器智能協(xié)同成為可能。因而語(yǔ)義Web研究的重點(diǎn)就是如何把信息表示成計(jì)算機(jī)能夠理解和處理的形式，使信息帶有語(yǔ)義。為實(shí)現(xiàn)對(duì)信息的分類以及信息之間相互關(guān)系的語(yǔ)義表達(dá)，人們引入了“本體”的概念。本體通過(guò)對(duì)概念的嚴(yán)格定義和概念之間的關(guān)系來(lái)確定概念的精確含義，從而反映事物或現(xiàn)
17、象的抽象本質(zhì)，并建立抽象模型。利用本體所具有的知識(shí)表示和描述的能力，人們可以用統(tǒng)一標(biāo)準(zhǔn)實(shí)現(xiàn)資源的表示，從而產(chǎn)生機(jī)器智能理解和處理的語(yǔ)義信息。本體作為語(yǔ)義載體在語(yǔ)義Web中起著核心的作用，是語(yǔ)義Web中基于語(yǔ)義的互操作得以實(shí)現(xiàn)的關(guān)鍵因素，是解決語(yǔ)義層次上Web信息共享和交換的基礎(chǔ)。因此，本體技術(shù)成為語(yǔ)義Web研究的熱點(diǎn)之一。描述邏輯(DescriptionLogic)是一種基于邏輯的知識(shí)表示、知識(shí)推理的形式化語(yǔ)言，具有良好的知識(shí)表達(dá)能力和完備的推理機(jī)制，采用合理的描述邏輯對(duì)本體進(jìn)行表述并對(duì)信息推理技術(shù)進(jìn)行優(yōu)
18、化，提高查詢效率，已經(jīng)成為本體研究的重要內(nèi)容。在本論文中，對(duì)現(xiàn)有的本體推理中的相關(guān)技術(shù)進(jìn)行了研究，并對(duì)各種推理之間的轉(zhuǎn)換關(guān)系進(jìn)行了分析。圍繞本體推理的核心算法Tableau算法，重點(diǎn)介紹了概念包含關(guān)系檢測(cè)(概念分類)和ABox的一致性檢測(cè)以及它們的相關(guān)優(yōu)化算法。在概念分類算法以及ABox推理算法的優(yōu)化技術(shù)的基礎(chǔ)上，利用重構(gòu)、顯示定義、基于個(gè)體的包含關(guān)系檢測(cè)及近似化計(jì)算等優(yōu)化技術(shù)，提出了一個(gè)改進(jìn)的分類算法，進(jìn)一步縮減了概念之間包
