王驹 邓培民 汤庸 蒋运承 唐素勤

MSC 混合推理 μALCIO 描述树 树自动机 不动点构造算子 描述语义 DLR（ifd） 存在量词 SHOIQ（D） 传递关系 Tableaux算法 循环术语集 混合循环术语集 关系-值-映射（RVM） 感知行动 混合μ-演算 情境演算 知道逻辑 自主计算 知识流 不动点语义 描述图 语义Web 行动推理 描述逻辑 CIM模型

广西师范大学计算机科学与信息工程学院 中山大学计算机科学系 中国科学院计算机科学国家重点实验室 中国科学院软件研究所计算机科学国家重点实... 广东广州 华南师范大学计算机学院 广西桂林