[논문 리뷰] Defeasible Inclusions in Low-Complexity DLs

Piero A. Bonatti, Marco Faella외 1명|arXiv (Cornell University)|2014. 01. 16.

Logic, Reasoning, and Knowledge참고 문헌 29인용 수 67

한 줄 요약

이 논문은 저복잡도 서술 논리학(DLs), 특히 DL-lite_R와 EL에서의 취약 포함(defeasible inclusions)—비단조화 추론과 우선순위를 갖는 것—의 계산 복잡도를 조사한다. 일부 분할은 여전히 다항시간 내에서 해결 가능(P에서 NP까지), 다른 분할은 PSPACE 이상으로 증가함을 보이며, OWL 및 RDF 응용 분야에서 사용되는 경량 DL에 비단조화 추론을 통합하기 위한 정밀한 복잡도 지도를 제공한다.

ABSTRACT

Some of the applications of OWL and RDF (e.g. biomedical knowledge representation and semantic policy formulation) call for extensions of these languages with nonmonotonic constructs such as inheritance with overriding. Nonmonotonic description logics have been studied for many years, however no practical such knowledge representation languages exist, due to a combination of semantic difficulties and high computational complexity. Independently, low-complexity description logics such as DL-lite and EL have been introduced and incorporated in the OWL standard. Therefore, it is interesting to see whether the syntactic restrictions characterizing DL-lite and EL bring computational benefits to their nonmonotonic versions, too. In this paper we extensively investigate the computational complexity of Circumscription when knowledge bases are formulated in DL-lite_R, EL, and fragments thereof. We identify fragments whose complexity ranges from P to the second level of the polynomial hierarchy, as well as fragments whose complexity raises to PSPACE and beyond.

연구 동기 및 목표

• 저복잡도 서술 논리학(DL-lite_R, EL 등)의 문법적 제약 조건이 비단조화 추론의 다항시간 해결 가능성을 유지할 수 있는지 조사하기.
• 이 분할에서 원형화(circumscription)를 사용한 취약 포함의 계산 복잡도를 분석하기.
• 비단조화 추론을 효율적으로 지원하는 DL-lite_R와 EL의 분할을 특정하여, 의미론적 기술 분야에서의 실용적 구현을 가능하게 하기.
• 이론적 비단조화 DL과 실세계 지식 표현 시스템(예: OWL 및 RDF) 간 격차를 메우기.

제안 방법

• DL-lite_R와 EL에서 원형화를 통해 취약 포함를 공식화하고, 그들의 문법적 제약 조건을 활용해 복잡도를 통제하기.
• 모델 이론적 및 증명 이론적 기법을 적용하여, 취약 포함 하에 질의 처리의 복잡도를 분석하기.
• 닫힘 성질과 표현력에 기반해 DL-lite_R와 EL의 분할을 분류하여 복잡도의 상한과 하한을 결정하기.
• 기존의 복잡도 클래스(예: NP, PSPACE)로의 감소를 사용하여 추론 작업의 상한과 하한을 설정하기.
• 제한된 DL에서 역할 및 개념 포함 계층에서의 비단조화 유산 하에서의 영향 분석하기.
• 더 구체적인 규칙이 일반 규칙을 무효화할 수 있는 상황을 모델링하기 위해 원형화를 사용해 기본 추론을 수행하기.

실험 결과

연구 질문

• RQ1 DL-lite_R와 EL에서 취약 포함을 고려할 때 추론의 계산 복잡도는 무엇인가?
• RQ2 저복잡도 DL의 문법적 제약 조건이 비단조화 기능을 확장해도 다항시간 해결 가능성을 유지할 수 있는가?
• RQ3 DL-lite_R와 EL의 어떤 분할이 P 또는 NP 복잡도를 초과하지 않고 비단조화 추론을 지원하는가?
• RQ4 원형화 기반의 취약 추론은 경량 DL에서 전체 비단조화 DL에 비해 어떻게 확장되는가?
• RQ5 제한된 DL 분할에서 취약 포함 하에 질의 처리에 대한 정확한 복잡도 상한은 무엇인가?

주요 결과

• DL-lite_R와 EL 분할에서의 취약 포함는 P에서 다항시간 계층의 두 번째 수준까지 다양한 복잡도를 보인다.
• 특정 DL-lite_R와 EL 분할은 다항시간 내에 취약 추론을 지원하여 실용적 응용에 적합하다.
• 표현력이 높은 분할에서는 복잡도가 PSPACE로 증가하며, 특히 역할 계층과 복잡한 개념 포함이 포함된 경우 더욱 심화된다.
• 이 논문은 경량 DL에서 비단조화 추론이 계산적으로 실현 가능한 조건을 정확히 규명한다.
• EL과 DL-lite_R에서 원형화 기반의 취약 추론은 결정 가능하지만, 복잡도는 문법적 제약 조건에 의해 결정된다.
• 결과적으로 저복잡도 DL은 핵심 사례에서 계산의 효율성을 유지하면서도 비단조화 추론을 지원할 수 있음을 입증한다.