[논문 리뷰] Information Integration and Computational Logic

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

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.

연구 동기 및 목표

• 이질적이고 자율적이며 의미론적으로 다양성이 있는 데이터 소스를 통합하는 데 있어, 이에 대한 민첩하고 투명한 방법을 해결하고자 한다.
• 계산 논리를 다양한 정보 소스 간의 지능적인 협업을 가능하게 하는 중재자 모델링을 위한 기초 프레임워크로 위치지어 보다 깊이 있는 통합을 가능하게 하고자 한다.
• 논리 기반 기법이 얕은 스키마 매핑을 넘어서, 온톨로지 및 반구조화된 데이터에 대한 추론을 지원할 수 있는 방법을 탐색하고자 한다.
• 논리 기반 형식화를 통해 정보 통합 시스템의 확장성과 풍부함을 높이는 데 있어 핵심적인 연구 과제를 규명하고자 한다.
• 특히 세미틱 웹의 맥락에서, 논리를 정보 통합 아키텍처의 통합 모델링 및 조율 계층으로 적극적으로 홍보하고자 한다.

제안 방법

• 이질적인 소스 위에 논리적 뷰로 간주하는 중재 아키텍처를 형식적 논리로 명시하고 구현한다.
• 쿼리 재구성, 소스 선택, 이질적인 스키마 간 의미론적 조율를 위한 핵심 메커니즘으로 논리적 추론을 활용한다.
• 의미 관계와 온톨로지를 모델링하기 위해 기제적 논리를 적용하여, 일관성 없거나 겹치는 데이터에 대한 추론을 가능하게 한다.
• 쿼리 최적화의 스케일링 가능성을 높이기 위해 논리 기반 기법을 관계형 데이터베이스 기법과 AI 방법(예: 제약 논리 프로그래밍, 인도크티브 논리 프로그래밍)과 융합한다.
• 반구조화된 데이터(예: XML, 웹 페이지)를 관계형 데이터베이스에 유사한 논리적 표현 방식으로 형식화하여 논리 기반 쿼리 가능성을 제공한다.
• 고수준 응용 요구사항과 저수준 데이터 검색 또는 제약 해결 프로세스 사이를 중재하는 논리 기반의 하이브리드 계산 모델을 제안한다.

실험 결과

연구 질문

• RQ1 계산 논리는 어떻게 이질적이고 자율적인 정보 소스를 통합하는 데 통합 프레임워크로 기능할 수 있는가?
• RQ2 논리는 서로 다른 스키마 간의 투명한 쿼리 처리를 가능하게 하는 중재 시스템을 명시하고 구현하는 데 어떤 역할을 하는가?
• RQ3 글로벌 스키마가 없는 상황에서 논리적 추론은 어떻게 지능적인 쿼리 재구성과 소스 선택을 지원할 수 있는가?
• RQ4 논리 기반 형식화는 문법적 또는 스키마 수준의 매핑을 넘어서 의미론적 통합을 어떻게 향상시킬 수 있는가?
• RQ5 웹과 같은 대규모, 동적이고 반구조화된 데이터 소스로의 정보 통합을 확장하는 데 논리를 사용할 때의 과제와 기회는 무엇인가?

주요 결과

• 계산 논리는 중재자 모델링을 위한 기제적이고 확장 가능한 기반을 제공하여, 이질적 데이터 소스의 민감하고 투명한 통합을 가능하게 한다.
• 논리적 추론 메커니즘은 자율적인 정보 소스 간의 통신 및 협업을 효과적으로 조율하며 논리적 미들웨어 계층을 형성한다.
• 논리로 반구조화된 데이터를 형식화하면 관계형 데이터베이스가 형식화된 방식과 유사하게 더 풍부한 쿼리와 통합이 가능해진다.
• 논리 기반의 온톨로지 추론은 얕은 스키마 매핑을 넘어서 지능적인 데이터 융합으로 이어지는 깊이 있는 의미론적 통합을 가능하게 한다.
• 논리 기반 기법을 제약 프로그래밍 및 다중 에이전트 시스템과 융합함으로써 복잡한 통합 작업에서 확장성과 표현력을 향상시킬 수 있다.
• 세미틱 웹의 비전은 논리를 통해 다양한 웹 데이터를 통합하고 합리화하는 데 있어 핵심적인 역할을 하며, 이는 분야의 주요 인물들이 강조한 linchpin 요소이다.