描述邏輯中基于邊界模塊的推理方法
2009-12-31 00:00:00牛悅劉秋讓方俊
計算機應用研究 2009年8期
摘要：模塊化是優化本體推理的一種有效手段，提出了一種針對推理的模塊提取方法，該方法通過分析符號解釋域的邊界與公理之間的關系計算出基于邊界的模塊。給出該基于邊界的模塊的理論基礎，并證明了其模塊的正確性。評估實驗表明，基于邊界的模塊和最優模塊大小很接近，并使用邊界模塊進行推理后，推理性能顯著提高。 關鍵詞：模塊提取；邊界；推理；解釋；描述邏輯 中圖分類號：TP181 文獻標志碼：A 文章編號：1001－3695(2009)08－2912－03
