缺失和不一致数据环境下描述逻辑查询回答的高效方法研究

项目名称： 缺失和不一致数据环境下描述逻辑查询回答的高效方法研究

项目编号： No.61375056

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 杜剑峰

作者单位： 广东外语外贸大学

项目金额： 79万元

中文摘要： 描述逻辑是重要的知识表达语言，是下一代万维网语义Web的基础。查询回答是描述逻辑中的核心推理机制，在各个领域中有着广泛的应用。但是现有的查询回答机制不能处理缺失数据和不一致数据。缺失数据的存在导致查询答案不完备，而不一致查询不能返回有意义的结果。为了解决这两个重要问题，本项目研究一种在带有缺失数据的不一致描述逻辑知识库中进行查询回答的新机制。该机制结合了描述逻辑中的溯因推理机制和不一致容忍查询机制。更具体地，本项目研究该新机制的形式、语义和计算复杂度，研究实现该机制的可行方法，研究该机制下查询答案的排序方法。鉴于溯因推理和不一致容忍查询都具有较高的计算复杂度，本项目还研究实现该新机制的近似方法，使其能够用于大规模的描述逻辑知识库。此外，本项目以电子旅游为具体的应用场合，验证该机制的实用性。项目的研究成果能够直接应用于各种基于描述逻辑的信息搜索和匹配场合，提高万维网信息的使用价值。

中文关键词： 查询回答；描述逻辑；溯因推理；溯因解释；辩解模式

英文摘要： Description logics are important knowledge representation languages that underpin the next generation World Wide Web called Semantic Web. Query answering is a core reasoning mechanism in description logics, which has been widely applied in a variety of do

英文关键词： Query Answering；Description Logics；Abductive Reasoning；Abductive Explanation；Justification Pattern