基于本體的數(shù)學(xué)知識庫的構(gòu)建及其應(yīng)用.pdf

1、數(shù)學(xué)知識庫應(yīng)用于數(shù)學(xué)教學(xué)，對實現(xiàn)信息化教學(xué)具有重大的科研價值和應(yīng)用價值。而當(dāng)前教育資源共享主要是基于網(wǎng)頁、關(guān)系數(shù)據(jù)庫和知識庫，存在資源重復(fù)、關(guān)聯(lián)性差，缺乏術(shù)語規(guī)范標(biāo)準(zhǔn)等問題。其主要原因是教育資源共享缺乏統(tǒng)一的知識表示方法，對知識庫的知識建模很少從知識的內(nèi)在關(guān)聯(lián)來考慮。如何解決好知識共享、知識表示和知識推理等問題，使知識和資源適合教學(xué)，這決定著教學(xué)資源的質(zhì)量和學(xué)生學(xué)習(xí)的質(zhì)量。
　　本體作為特定領(lǐng)域的概念化的明確說明，能將隱含在領(lǐng)域?qū)?/p>

2、家頭腦中的或者智能程序中的概念模型顯示地表達(dá)出來。利用本體表示相關(guān)領(lǐng)域的知識，能夠給出這些知識之間相互關(guān)系的明確定義。通過概念的定義和概念之間的關(guān)系來確定概念的精確含義，從而表達(dá)出較為精確的、可共享的知識。使用本體來表示教育領(lǐng)域知識，可以從根本上解決教育資源共享、重用、以及個性化推送等問題。
　　因此本文主要研究了兩方面的問題：一是研究基于本體的數(shù)學(xué)知識庫的構(gòu)建方法，二是研究基于本體的知識庫的相關(guān)應(yīng)用。主要研究內(nèi)容如下：
　

3、　(1)研究了知識庫、知識表示、知識獲取和知識推理的相關(guān)知識。在分析了本體作為知識表示方法，描述邏輯推理和規(guī)則推理作為知識推理的優(yōu)勢后，采用OWL(Web Ontology Language)本體語言描述知識，并結(jié)合Prolog規(guī)則擴(kuò)展本體和進(jìn)行推理。
　　(2)研究了本體的半自動構(gòu)建方法，提出了基于WordNet和Wikipedia的中文初等幾何本體的構(gòu)建方法。通過對本體半自動構(gòu)建方法的研究，找到一種切實可行的本體半自動構(gòu)建方法