抽象约束回答集程序关键问题及在语义Web中的应用研究

回答集程序设计（ASP）特别适用于组合搜索问题的表达和推理，是目前人工智能知识表达和说明性程序设计中最有影响且发展最快的一个研究领域。为使ASP具有更强的表达能力以适应更多的应用需求，最近几年，国际学术界将注意力转到研究带抽象约束的ASP程序。抽象约束具有非常强的表达能力，用它可以表达很多有限值域的约束，包括在数据库中大量使用的聚集函数等。特别是，最新研究表明抽象约束还可用于语义Web中的规则与本体集成，后者是语义Web领域目前一个很热门的研究方向。本项研究的目标是建立抽象约束ASP程序的语义模型，并将其应用到语义Web以建立"规则+本体"集成知识库的语义模型。这是目前ASP和语义Web领域具有挑战性的研究课题，主要内容包括：抽象约束ASP程序的语义模型研究，语义Web规则与本体的集成方法研究，抽象约束的存储结构研究，以及抽象约束ASP程序和语义Web集成知识库的推理算法与实现技术研究。

本项研究的目标是建立抽象约束回答集程序的语义模型，并将其应用到语义web以建立规则与本体的集成语义模型。我们对相关内容进行了系统、深入的研究，取得了一系列重要的理论成果，具体体现在以下四个方面：第一，提出了新的抽象约束回答集程序的语义模型；第二，提出了新的语义web本体与规则的集成语义模型；第三，提出了新的语义web本体溯因推理方法和新的不一致本体查询方法；第四，提出了新的文档自动摘要模型及算法。受此基金资助完成学术论文19篇，其中多数发表在国际知名期刊和会议，包括IEEE Transactions on Knowledge and Data Engineering, Theoretical Computer Science，Theory and Practice of Logic Programming, Knowledge and Information Systems, AAAI（国际人工智能大会）, IJCAI（国际人工智能联合大会）, ISWC（国际语义web大会）, ICDM（IEEE 国际数据挖掘大会）, SDM（SIAM 国际数据挖掘大会）等。