[논문 리뷰] Exchanging OWL 2 QL Knowledge Bases

Marcelo Arenas, Elena Botoeva외 2명|Kent Academic Repository (University of Kent)|2013. 04. 21.

Semantic Web and Ontologies참고 문헌 22인용 수 11

한 줄 요약

이 논문은 OWL 2 QL에서 지식 기반 교환을 조사하며, TBoxes에 대한 보편적 해법과 UCQ-표현 가능성을 중심으로 다룬다. 보편적 해법에 대해 자동차 이론적 접근을 도입하여 복잡도가 NP에서 ExpTime 사이에 있음을 밝히며, UCQ-표현 가능성에 대해 NLogSpace-완전성을 증명하여 이전 연구를 null 값과 불일치성(axioms)을 다룰 수 있도록 크게 확장한다.

ABSTRACT

Knowledge base exchange is an important problem in the area of data exchange and knowledge representation, where one is interested in exchanging information between a source and a target knowledge base connected through a mapping. In this paper, we study this fundamental problem for knowledge bases and mappings expressed in OWL 2 QL, the profile of OWL 2 based on the description logic DL-Lite_R. More specifically, we consider the problem of computing universal solutions, identified as one of the most desirable translations to be materialized, and the problem of computing UCQ-representations, which optimally capture in a target TBox the information that can be extracted from a source TBox and a mapping by means of unions of conjunctive queries. For the former we provide a novel automata-theoretic technique, and complexity results that range from NP to EXPTIME, while for the latter we show NLOGSPACE-completeness.

연구 동기 및 목표

• OWL 2의 DL-LiteR 기반 프로파일인 OWL 2 QL에서 지식 기반 교환을 다루며, 소스 및 타겟 지식 기반 간에 선언적 매핑을 통해 연결된다.
• 모든 논리적 함의를 매핑 하에 유지하는 바람직한 번역인 보편적 해법의 계산을 연구한다.
• 유니온의 결합 쿼리(UCQ)를 사용하여 소스 TBoxes의 내재된 정보를 타겟 TBoxes에 최적으로 포괄하는 UCQ-표현 가능성의 조사.
• 이전 연구에서 다루지 못한 OWL 2 QL의 일부인 null 값과 불일치성 공리 처리를 통해 기존 결과를 확장한다.
• 보편적 해법과 UCQ-표현 가능성의 맥락에서 소속성 문제와 비어있음 문제에 대해 정확한 계산 복잡도 상한을 설정한다.

제안 방법

• null 값이 ABoxes에 존재함에도 불구하고 복잡도 분석이 가능하도록 하기 위해, 양방향 교환 자동차를 사용하는 새로운 자동차 이론적 기법을 제안하여 OWL 2 QL에서 보편적 해법을 계산한다.
• 개념 포함 및 역할 매핑에 대한 구조적 조건에 기반한 유효한 UCQ-표현 가능성을 검증하기 위한 생성 단계 메커니즘을 도입한다.
• 비결정적 절차를 NLogSpace에서 사용하여 생성 단계의 존재 여부를 검사하며, 복잡도 상한을 확보하기 위해 방향 그래프 내의 도달 가능성에 기반한다.
• 타겟 TBoxes가 쿼리 평가 하에 소스 의미를 정확히 반영하도록 하기 위해, 불일치 제약 조건을 포함한 UCQ-표현 가능성의 개념을 확장한다.
• 그래프 도달 가능성 문제에서의 감소를 적용하여 UCQ-표현 가능성의 비어있음 문제에 대해 NLogSpace-난이도를 증명함으로써, 날카로운 복잡도 상한을 확립한다.
• 불완전한 정보와 null 값을 처리하기 위해 수정된 추적 유사 절차를 적용하여, 특히 보편적 해법 구축 맥락에서 사용한다.

실험 결과

연구 질문

• RQ1 OWL 2 QL에서 주어진 TBox가 소스 지식 기반과 매핑에 대해 보편적 해법인지 확인하는 데 필요한 계산 복잡도는 무엇인가요?
• RQ2 OWL 2 QL에서 주어진 소스 지식 기반과 매핑에 대해 보편적 해법이 존재하는지 판단하는 데 필요한 복잡도는 무엇인가요?
• RQ3 소스 TBox의 모든 쿼리 관련 내재된 정보를 타겟 TBox에서 UCQ-표현으로 계산할 수 있으며, 이 작업의 복잡도는 무엇인가요?
• RQ4 OWL 2 QL에서 null 값과 불일치성 공리의 존재는 단순한 DL-LiteR 프래그먼트에 비해 지식 기반 교환 문제의 복잡도에 어떤 영향을 미치나요?
• RQ5 UCQ-표현 가능성 문제는 효율적으로 해결할 수 있으며, 소속성과 비어있음 문제에 대해 정확한 복잡도 클래스는 무엇인가요?

주요 결과

• OWL 2 QL에서 보편적 해법의 비어있음 문제는 PSpace-난이도이며, 새로운 양방향 교환 자동차 기반 구조를 통해 ExpTime 상한이 확립된다.
• null이 없는 ABoxes의 특수한 경우에서 보편적 해법의 비어있음 문제는 NP에 속하며, 소속성 문제 역시 NP에 속한다.
• UCQ-표현 가능성의 비어있음 문제는 NLogSpace-완전하며, 이는 비결정적 로그 시간 공간을 사용하여 효율적으로 결정 가능함을 시사한다.
• UCQ-표현 가능성의 소속성 문제 역시 NLogSpace-완전하며, 후보 표현의 정확성을 검증하는 것이 존재성 판단과 동일한 난이도를 가짐을 보여준다.
• 논문은 OWL 2 QL의 불일치 공리가 UCQ-표현 가능성의 복잡도를 NLogSpace를 초과하지 않도록 함을 입증하며, 그 표현력에도 불구하고 복잡도가 증가하지 않음을 보여준다.
• 결과적으로 이전의 DL-LiteR 및 RDFS 연구를 확장하여, null 값과 불일치성과 같은 완전한 OWL 2 QL 기능을 통합하고, 핵심 지식 기반 교환 작업에 대해 날카로운 복잡도 상한을 제공한다.