온톨로지 기반 데이터 액세스(OBDA)에서의 쿼리 추상화

온톨로지 기반 데이터 액세스 (Ontology-Based Data Access, OBDA)에서는 여러 데이터 소스가 온톨로지(Ontology)에 대한 매핑(Mapping)을 통해 통합됩니다. 본 연구에서는 존재 규칙 (Existential Rules) 및 확실한 답변 의미론 (Certain Answer Semantics)에 기반한 OBDA 설정을 고려합니다. 우리는 데이터 쿼리를 온톨로지 계층으로 번역함으로써 추상화하는 쿼리 추상화 (Query Abstraction)라는 최근의 이슈를 다룹니다. 완벽한 추상화가 존재하지 않을 수 있기 때문에, 최소 완전 (Minimally Complete) 및 최대 타당 (Maximally Sound) 추상화라는 개념이 도입되었습니다. 우리는 제한된 형태의 부등식 (Inequality)과 데이터베이스 상수 (Database Constants)를 표시하는 특수 술어 (Special Predicate)를 포함하여 확장된 UCQ (Union of Conjunctive Queries) 내에서의 추상화를 연구합니다. 이러한 확장은 관심 문제의 복잡도를 증가시키지는 않으면서도, 최소 완전 추상화를 표현할 수 있으며, 따라서 존재할 경우 완벽한 추상화를 표현할 수 있습니다. 또한 우리는 데이터 교환 (Data Exchange)에서 기인하는 최대 복구 (Maximum Recovery) 개념과의 새로운 연결을 통해 최대 타당 추상화를 특징짓습니다.