1、主要研究面向語義網(wǎng)粗糙本體的粗糙描述邏輯的語義及推理，以及在形式概念表示的對象域中粗糙描述邏輯框架的構建。主要工作包括以下幾個方面：
　　一、改進了傳統(tǒng)粗糙描述邏輯中概念可滿足性的推理算法，其中只需用到概念的子概念和出現(xiàn)在概念中的角色就可以判斷一個概念的可滿足性，說明了算法的正確性，通過實例說明了它的有效性。
　　二、把形式概念的外延做為描述邏輯的概念，形式概念分析與粗糙集理論聯(lián)系起來做為基礎建立了兩種新的粗糙描述邏輯框架。

2、把Y.Y.Yao等提出的方法應用于新的粗糙描述邏輯，其中的上(下)近似算子是分別用格論算子和集合論算子來定義的，給出了基于格論的下近似新的形式。這里的近似的定義雖然不同于傳統(tǒng)的粗糙近似算子形式，但是有很好的實用性?；谶@個新穎的上(下)近似的定義，把這兩組近似算子引入到描述邏輯的結構中形成兩種粗糙描述邏輯FlALC和ALCFs。給出了相應的語法和語義，最后還給出了擴展的Tableau算法，可以用來解決相應的推理問題。
　　三、在用