用于離散數(shù)學(xué)知識檢索的本體推理機的獲取
2009-12-29 00:00:00徐德智ＰａｕｌＢａｋａｋｉ趙于前
計算技術(shù)與自動化 2009年1期
摘要：通過對當(dāng)前一些主流本體推理機詳細的分析和比較。從系統(tǒng)功能，用戶和開發(fā)者三個不同角度設(shè)計一整套本體推理機測試對比方案，實驗證明測試方案是可行和有效的，根據(jù)研究結(jié)果推薦適用于教學(xué)的離散數(shù)學(xué)知識獲取的本體推理機。
關(guān)鍵詞：本體推理機；實現(xiàn)技術(shù)；評估方案
中圖分類號：TP391 文獻標(biāo)識碼：A
