<ol id="ebnk9"></ol> 
摘要：通過對當前一些主流本體推理機詳細的分析和比較。從系統功能，用戶和開發者三個不同角度設計一整套本體推理機測試對比方案，實驗證明測試方案是可行和有效的，根據研究結果推薦適用于教學的離散數學知識獲取的本體推理機。
關鍵詞：本體推理機；實現技術；評估方案
中圖分類號：TP391 文獻標識碼：A
<ol id="ebnk9"></ol>