[논문 리뷰] Nested Regular Path Queries in Description Logics

Meghyn Bienvenu, Diego Calvanese외 2명|arXiv (Cornell University)|2014. 02. 28.

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

한 줄 요약

이 논문은 기초 논리학(DLs)에서 중첩된 양방향 정규 경로 쿼리(2RPQs) 및 그들의 합성(CN2RPQs)을 해결하는 데 있어 계산 복잡도를 조사한다. 이는 SPARQL 1.1과 XPath에 존재하는 존재적 중첩을 확장한 것이다. 중첩이 데이터 복잡도에는 영향을 주지 않지만, 경량 DLs인 DL-Lite와 EL에서는 복합 복잡도가 P-완전에서 Exp-완전으로 급격히 증가함을 보여준다. 이는 더 표현력이 뛰어난 DLs에는 영향을 주지 않는다.

ABSTRACT

Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They are present in property paths in SPARQL 1.1, the new standard RDF query language, and in the XML query language XPath. In line with XPath, we consider the extension of 2RPQs with nesting, which allows one to require that objects along a path satisfy complex conditions, in turn expressed through (nested) 2RPQs. We study the computational complexity of answering nested 2RPQs and conjunctions thereof (CN2RPQs) in the presence of domain knowledge expressed in description logics (DLs). We establish tight complexity bounds in data and combined complexity for a variety of DLs, ranging from lightweight DLs (DL-Lite, EL) up to highly expressive ones. Interestingly, we are able to show that adding nesting to (C)2RPQs does not affect worst-case data complexity of query answering for any of the considered DLs. However, in the case of lightweight DLs, adding nesting to 2RPQs leads to a surprising jump in combined complexity, from P-complete to Exp-complete.

연구 동기 및 목표

• 중첩이 기초 논리학에서 2RPQs 및 CN2RPQs의 계산 복잡도에 미치는 영향을 연구하는 것.
• 경량(DL-Lite, EL)에서부터 고표현력(SH, Z 가족)에 이르기까지 다양한 DLs에서 쿼리 해석의 최악의 경우 복잡도가 중첩으로 인해 증가하는지 확인하는 것.
• 다양한 DLs에서 데이터 복잡도와 복합 복잡도에 대한 엄밀한 복잡도 경계를 설정하는 것.
• 표현력이 뛰어난 DLs에서 중첩이 어떻게 제거될 수 있는지 조사하고, 그 조건을 밝혀내는 것.
• 도메인 지식(TBox)이 중첩 경로 쿼리와 함께 복합 복잡도에 영향을 미치는 방식을 명확히 하는 것.

제안 방법

• XPath와 SPARQL 1.1에서 영감을 얻어 존재적 테스트 연산자를 통해 양방향 정규 경로 쿼리(2RPQs)를 중첩으로 확장한다.
• ABox 데이터와 TBox 제약 조건을 조합하여 DL 지식 기반에서 중첩 2RPQs(CN2RPQs)에 대한 형식적 의미를 제안한다.
• 표현력이 뛰어난 DLs에 대해 쿼리 평가를 분석하기 위해 무한 트리 위의 교호적 온톨로지 기반 자동화기를 사용한다.
• 호모모르피즘 기반 추론과 표준 모델 구성 기법을 활용하여 쿼리 평가를 자동화기 실행으로 환원한다.
• 재귀 및 동적 프로그래밍 기법을 적용하여 중첩 원자 평가를 수행하고, 경량 DLs에 대해 공간 효율적인 계산을 수행한다.
• DL-Lite R 및 ELHI⊥에서 인스턴스 확인의 알려진 복잡도 결과를 활용하여 쿼리 평가의 공간 복잡도를 제한한다.

실험 결과

연구 질문

• RQ1 2RPQs에 중첩을 추가하면 기초 논리학에서 쿼리 해석의 데이터 복잡도가 증가하는가?
• RQ2 경량에서 고표현력에 이르기까지 다양한 DLs에서 중첩 2RPQs 및 그들의 합성의 복합 복잡도는 무엇인가?
• RQ3 SH 및 Z 가족에 속한 표현력이 뛰어난 DLs에서 중첩을 제거할 수 있는가? 이 경우 복잡도 경계는 유지되는가?
• RQ4 경량 DLs인 DL-Lite와 EL에서는 데이터 복잡도에 영향을 주지 않지만 복합 복잡도가 급격히 증가하는 이유는 무엇인가?
• RQ5 TBox 제약 조건이 중첩 경로 쿼리와 결합될 때 특정 답변 계산의 전체 복잡도에 어떤 영향을 미치는가?

주요 결과

• 모든 고려된 DLs, 특히 SH 및 Z와 같은 표현력이 뛰어난 DLs에서도 2RPQs에 중첩을 추가해도 최악의 경우 데이터 복잡도가 증가하지 않는다.
• DL-Lite 및 EL과 같은 경량 DLs에서는 중첩으로 인해 복합 복잡도가 P-완전에서 Exp-완전으로 증가한다.
• DL-Lite R 및 ELHI⊥에서는 쿼리 평가 알고리즘이 ABox 크기의 비결정적 로그 공간에서 실행된다.
• 더 표현력이 뛰어난 DLs(예: ELI 포함)에서는 중첩을 제거할 수 있으며, 이로 인해 원래의 복잡도 경계가 유지된다.
• DL-Lite R에서 CN2RPQ 평가의 복잡도는 데이터 복잡도에서 NL-완전이며, 복합 복잡도에서 PSpace-완전이다.
• 결과적으로 중첩의 표현력은 표준 C2RPQs로는 기술할 수 없으며, 특히 전이 폐쇄가 존재할 경우 더욱 그렇다.