(1)分析了本體模型與貝葉斯網絡的基本結構和原理，對本體貝葉斯網絡 OBN 做了形式化的定義，然后以貝葉斯網絡為概率模型，對本體語言 OWL 的概率擴展進行了深入研究。

    (2)制定了本體模型到貝葉斯網絡模型轉換的一系列翻譯規則，給出了先驗概率、條件概率的計算方法，完成了各節點條件概率表的計算。

    (3)建立了基于本體的貝葉斯網絡推理模型，對本體推理和貝葉斯推理的方法分別進行了詳細的研究，提出了二者結合的故障診斷融合推理模式。

    (4)針對礦井提升機故障診斷推理的要求，提出了基于啟發式故障搜索樹的推理策略，給出了提升機故障診斷的詳細診斷推理過程。