[논문 리뷰] A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

Jean François Baget, Salem Benferhat외 6명|arXiv (Cornell University)|2016. 02. 18.

Semantic Web and Ontologies참고 문헌 7인용 수 24

한 줄 요약

이 논문은 존재적 규칙 지식 기반에서 모순에 강건한 쿼리 처리를 위한 일반적인 수정자 기반 프레임워크를 제안하며, 데이터 분포 전략(수정자)과 추론 전략을 통해 기존의 의미론을 통합하고 새로운 의미론을 도입한다. 주요 기여는 수정자 포함 관계와 전략 순서를 이용한 의미론의 형식적 분류로, 이는 모순에 강건한 쿼리 처리 접근법의 체계적 비교 및 확장이 가능하게 하며, 타당하고 완전한 생산성 조건을 제공한다.

ABSTRACT

We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference strategy. We compare the obtained semantics from a productivity point of view.

연구 동기 및 목표

• TBox와 ABox 간의 충돌이 발생하는 온톨로지 기반 데이터 액세스 환경에서의 모순 문제를 다루기 위해.
• 존재적 규칙 환경에서 기존의 모순에 강건한 의미론을 하나의 형식적 프레임워크로 통합하기 위해.
• 모듈러 설계를 통해 카디널리티와 다수의 원칙에 기반한 새로운 의미론을 도입하기 위해.
• 모순에 강건한 쿼리 처리 의미론을 정의하고 비교하며 분류하기 위한 체계적 방법론을 제공하기 위해.

제안 방법

• 프레임워크는 모순에 강건한 의미론을 두 가지 구성 요소로 분해한다: 수정자(각 수리된 ABox에 대해 진술이 어떻게 가상으로 분포되는지를 정의함)와 추론 전략(수리된 ABox에서 쿼리 답변이 어떻게 유도되는지를 정의함).
• 수정자는 ABox 위의 집합 체계를 통해 정의되며, 일관된 부분집합들 사이에서 진술을 선택하거나 분포시키는 다양한 방법을 표현한다.
• 추론 전략에는 존재적, 전칭적, 교차, 다수, 기타가 포함되며, 각각이 수리된 집합들에서 유효한 쿼리로 간주되는지를 결정한다.
• 수정자 포함 관계와 추론 전략 순서를 기반으로 의미론에 대한 부분 순서를 정의하여 생산성 계층을 수립한다.
• 수정자 포함 관계와 전략 순서를 이용해 의미론 포함 관계에 대한 타당하고 완전한 조건을 확립하여 의미론 간의 형식적 비교를 가능하게 한다.
• 이 방법은 일반적이고 확장 가능하며, 임의의 존재적 규칙 지식 기반에 적용 가능하며, 의미론 간 포함 관계와 비가비린 관계에 대한 형식적 결과를 제공한다.

실험 결과

연구 질문

• RQ1 기존 존재적 규칙 시스템에서의 모순에 강건한 의미론을 하나의 형식적 프레임워크로 통합할 수 있는가?
• RQ2 어떤 조건에서 한 모순에 강건한 의미론이 다른 의미론보다 더 생산적인가?
• RQ3 카디널리티와 다수의 원칙에 기반한 새로운 의미론을 어떻게 체계적으로 정의하고 통합할 수 있는가?
• RQ4 수정자와 추론 전략은 모순에 강건한 쿼리 처리의 동작 방식에 어떤 역할을 하는가?
• RQ5 다양한 의미론의 생산성을 어떻게 형식적으로 비교하고 분류할 수 있는가?

주요 결과

• 프레임워크는 존재적 규칙 시스템에서 주요 기존의 모순에 강건한 의미론을 성공적으로 통합하였으며, 최소, 최대, 다수 수리 기반의 의미론을 포함한다.
• 수정자 포함 관계와 추론 전략 순서를 기반으로 한 부분 순서를 이용해 의미론의 형식적 계층을 수립하여 체계적 비교를 가능하게 하였다.
• 더 경계가 더 엄격한 추론 전략을 가진 의미론이 다른 의미론에 포함될 수 없다는 것을 증명하였으며, 의미론 포함에 대한 핵심 제약 조건를 확립하였다.
• 더 경계가 덜 엄격한 전략을 가진 의미론 간 포함 관계는 직접 포함이 아닌 전이적 성질을 통해만 발생할 수 있음을 드러내었다.
• 지면 원자에 대해서는 추가적인 포함 관계가 성립할 수 있으나, 이 경우는 공간 제약으로 인해 완전히 다루어지지 않았다.
• 새로운 수정자와 다양한 추론 전략을 조합함으로써 새로운 의미론을 정의할 수 있으며, 이는 기존 기술 수준을 확장한다.