北京大学哲学系逻辑学专业博士生马丽于2013年10月22日做了题为 “A Tableau Algorithm of the Generic Extension of Description Logic”的报告。报告人从描述逻辑不能表达概念的内涵出发，将能够表达概念内涵的概称句扩张到最小描述逻辑 ALC 中得到新的逻辑 G-ALC。对 G-ALC 提供内涵语义解释，并在此语义基础上构建判定 G-ALC 推理问题的 Tableau 算法。本报告不仅展示了从一个开 tableau 构造一个G-ALC模型的方法，并且证明了该算法的可靠性和完备性。
因为该内涵语义不仅涉及概念的四层语义，而且也使用了可能世界语义，所以增加了构建基于此语义的 Tableau 算法的难度。另外将概称句与描述逻辑相结合以更好地表达知识的内涵也是一种创新性的研究。
