基于本體的數(shù)學知識庫的構建及其應用.pdf

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

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

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