1、隨著計算機技術的飛速發(fā)展，計算機輔助教育已成為信息時代的重要教育形式。但是教學系統(tǒng)中的教育資源缺乏統(tǒng)一的規(guī)范化表示，導致網(wǎng)絡中存在許多相同或相似的資源而不能相互共享和重用。然而，本體的最大優(yōu)點在于它可將領域的概念和術語規(guī)范化。因此將教育資源采用本體技術來實現(xiàn)，能從根本上解決資源的共享和重用問題。目前大多數(shù)本體都是通過手工構建的，且?guī)缀醵际墙Y(jié)構化的靜態(tài)本體。近年來不斷有人提出半自動地構建領域本體、動態(tài)本體等。
　　本文在此基礎上提出

2、了基于平面幾何的過程本體的半自動構建方法。根據(jù)幾何證明題描述和結(jié)構的規(guī)范性，采用信息抽取技術對證明題的證明過程進行解析，從過程的每個邏輯分段中自動地提取其抽象模型和實例模型，并將新的模型存儲于本體中或?qū)σ汛嬖谟诒倔w中的模型進行完善。提出了將此過程本體應用于自動解題的研究。采用正序根據(jù)題目的已知條件查詢過程本體中的模型得到某個結(jié)論，而該結(jié)論又可作為新的已知條件再查詢過程本體得到其它結(jié)論，直到得到題目的最終結(jié)論，從而實現(xiàn)基于過程本體的自動問