主要研究面向语义网粗糙本体的粗糙描述逻辑的语义及推理,以及在形式概念表示的对象域中粗糙描述逻辑框架的构建。主要工作包括以下几个方面:一、改进了传统粗糙描述逻辑中概念可满足性的推理算法,其中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,说明了算法的正确性,通过实例说明了它的有效性。二、把形式概念的外延做为描述逻辑的概念,形式概念分析与粗糙集理论联系起来做为基础建立了两种新的粗糙描述逻辑框架。把Y.Y.Yao等提出的方法应用于新的粗糙描述逻辑,其中的上（下）近似算子是分别用格论算子和集合论算子来定义的,给出了基于格论的下近似新的形式。这里的近似的定义虽然不同于传统的粗糙近似算子形式,但是有很好的实用性。基于这个新颖的上（下）近似的定义,把这两组近似算子引入到描述逻辑的结构中形成两种粗糙描述逻辑Fl_ALC和Fs_ALC。给出了相应的语法和语义,最后还给出了扩展的Tableau算法,可以用来解决相应的推理问题。三、在用形式概念表示的对象域中,定义了新的可定义的概念和不可定义概念,并给出一对算子来近似不可定义的概念。把整个形式概念做为描述逻辑的概念,把新定义的近似算子引入到描述逻辑的结构中形成一种新的粗糙描述逻辑F_ALC.给出了相应的语法和语义,改进了经典的Tableau算法,用来解决相应的推理问题。