[论文解读] Information Integration and Computational Logic

Yannis Dimopoulos, Antonis Kakas|ArXiv.org|Jun 11, 2001

Advanced Database Systems and Queries参考文献 160被引用 9

一句话总结

本文提出将计算逻辑作为信息集成的统一框架，实现对异构数据源的灵活、透明且智能的综合，而无需进行物理集成。它展示了基于逻辑的中介、推理和声明式建模如何支持可扩展的、语义丰富的集成——尤其在语义网和分布式数据源的背景下，通过形式化中介机制，实现跨模式的推理，并将高层查询映射到底层数据操作。

ABSTRACT

Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of Databases and Artificial Intelligence requiring novel techniques that bring together different methods from these fields. Information from disparate heterogeneous sources often with no a-priori common schema needs to be synthesized in a flexible, transparent and intelligent way in order to respond to the demands of a query thus enabling a more informed decision by the user or application program. The field although relatively young has already found many practical applications particularly for integrating information over the World Wide Web. This paper gives a brief introduction of the field highlighting some of the main current and future research issues and application areas. It attempts to evaluate the current and potential role of Computational Logic in this and suggests some of the problems where logic-based techniques could be used.

研究动机与目标

• 解决在灵活且透明的方式下集成异构、自治且语义多样的数据源的挑战。
• 将计算逻辑确立为建模中介系统并实现异构信息源之间智能协作的基础性框架。
• 探讨基于逻辑的技术如何支持超越浅层模式映射的高级信息集成，包括本体推理和半结构化数据处理。
• 识别使用基于逻辑的形式化方法在扩展和丰富信息集成系统时面临的关键研究挑战。
• 倡导将逻辑作为信息集成架构中的统一建模与协调层，特别是在语义网背景下。

提出的方法

• 使用形式逻辑来指定和实现中介架构，将其视为对异构源的逻辑视图。
• 采用逻辑推理作为查询重写、源选择和跨异构模式进行语义协调的核心机制。
• 应用声明式逻辑来建模语义关系和本体，支持对不一致或重叠数据的推理。
• 将逻辑与数据库技术及人工智能方法（如约束逻辑编程和归纳逻辑编程）结合，实现可扩展的查询优化。
• 使用类似于关系数据库的逻辑表示形式化半结构化数据（如XML、网页），实现基于逻辑的查询。
• 提出混合计算模型，其中逻辑在高层应用需求与底层数据检索或约束求解过程之间进行中介。

实验结果

研究问题

• RQ1 计算逻辑如何作为集成异构且自治的信息源的统一框架？
• RQ2 逻辑在指定和实现中介系统中扮演什么角色，以实现跨异构模式的透明查询处理？
• RQ3 在缺乏全局模式的情况下，逻辑推理在支持智能查询重写和源选择方面有哪些方式？
• RQ4 基于逻辑的形式化如何在语义集成方面超越语法或模式级别的映射？
• RQ5 在将信息集成扩展到大规模、动态且半结构化的数据源（如网络）时，使用逻辑面临哪些挑战与机遇？

主要发现

• 计算逻辑为建模中介提供了声明式且可扩展的基础，实现了对异构数据源的灵活且透明的集成。
• 逻辑推理机制能够有效协调自治信息源之间的通信与协作，形成一个逻辑中间件层。
• 使用逻辑形式化半结构化数据，可实现更丰富的查询与集成，类似于关系数据库的形式化方式。
• 基于本体的推理由逻辑支持，可实现更深层次的语义集成，超越浅层模式映射，实现智能数据融合。
• 将逻辑与约束编程及多智能体系统结合，可增强复杂集成任务中的可扩展性与表达力。
• 语义网的愿景在很大程度上依赖于逻辑来统一和合理化异构的网络数据，这一观点在该领域关键人物中得到强调。