语义Web的局部封闭世界动态推理

摘要

提出自认知描述逻辑ALCO@K的一种类命题动态逻辑扩展D-ALCO@K,实现Web开放环境下支持局部闭世界假设的动态推理。它基于自认知逻辑，具有良好的理论基础;同时与语义Web领域基于描述逻辑推理的现实需求密切相关，具有潜在的应用前景。D-ALCO@K中，ALCO@-Aboxes刻画了关于外部状态的知识，原子动作表示为前提(对知识库的认知查询)和作用效果(仅涉及原子概念的ALCO@断言或其否定)的形式，复合动作则从原子动作出发，用经典动态逻辑中的动作构造符构造。概括了D-ALCO@K中重要的推理任务并给出了可满足性检测的表算法。D-ALCO@K继承了ALCO@K的自省-与知识库内容相关的推理，可区分状态和状态的描述。D-ALCO@K的主要特点(支持局部闭世界假设的动态推理、自省)使得它非常适用于静态信患和动态计算并存的语义Web环境。本文通过图书馆领域的几个例子来说明它的表达能力及相关基本概念。