摘要：通過對(duì)當(dāng)前一些主流本體推理機(jī)詳細(xì)的分析和比較。從系統(tǒng)功能，用戶和開發(fā)者三個(gè)不同角度設(shè)計(jì)一整套本體推理機(jī)測(cè)試對(duì)比方案，實(shí)驗(yàn)證明測(cè)試方案是可行和有效的，根據(jù)研究結(jié)果推薦適用于教學(xué)的離散數(shù)學(xué)知識(shí)獲取的本體推理機(jī)。

關(guān)鍵詞：本體推理機(jī)；實(shí)現(xiàn)技術(shù)；評(píng)估方案

中圖分類號(hào)：TP391 文獻(xiàn)標(biāo)識(shí)碼：A