명칭 역역 수 제한과 결합 질의 무한성의 힘

초록

본 논문은 명칭(Nominals), 역역(Inverses), 수 제한(Counting)이라는 세 가지 복합 구성자를 동시에 포함하는 DL ALCHOIQb에서 합집합 형태의 결합 질의(UCQ) 포함 여부를 결정할 수 있음을 증명한다. 질의에 단순 역할만 사용될 경우 OWL 1 DL 및 OWL 2 DL 기반 논리에서도 결정 가능성을 확보한다는 점에서, 기존 기술이 한계에 부딪히던 영역에 새로운 해법을 제시한다.

상세 분석

이 연구는 세 가지 핵심 DL 구성자—명칭, 역역, 수 제한—가 동시에 존재할 때 발생하는 무한 모델 생성 문제를 정밀히 분석한다. 명칭은 개별 개체를 고정시키는 역할을 하여 모델의 유한성을 강제하지만, 역역은 관계를 양방향으로 확장시켜 무한히 깊은 경로를 만들 수 있다. 여기에 수 제한(≥ n, ≤ n)이 결합되면, 특정 역할에 대한 인스턴스 수를 제한하면서도 동시에 무한히 많은 복제본을 요구하는 상황이 발생한다. 기존의 쿼리 엔테일먼트 결정 절차는 주로 ‘트리형’ 구조나 ‘역할 제한 없는’ 경우에만 적용 가능했으며, 명칭과 역역이 동시에 존재하면 전통적인 ‘블로킹’ 기법이 파괴된다.

논문은 이러한 난관을 극복하기 위해 두 단계의 변환을 도입한다. 첫 번째 단계에서는 원본 KB를 ‘정규 형태’로 변환하면서, 명칭을 명시적 개체 상수로 치환하고, 역역을 정방향 역할로 재표현한다. 이 과정에서 수 제한은 ‘카운팅 롤’이라는 새로운 개념으로 추상화되어, 각 역할에 대한 인스턴스 수를 메타 변수 형태로 관리한다. 두 번째 단계에서는 ‘무한 트리 전파’ 기법을 활용해, 제한된 깊이와 폭을 갖는 ‘유한 근사 모델’를 구축한다. 여기서 핵심은 ‘무한성의 친구’라는 아이디어로, 무한히 확장될 수 있는 부분을 유한한 ‘패턴’으로 압축하고, 해당 패턴이 질의에 미치는 영향을 논리적으로 증명한다.

특히, 질의가 단순 역할만을 포함한다는 가정 하에, 역역이 질의에 직접 등장하지 않음으로써 역역에 의해 야기되는 무한 경로를 모델 내부에서만 처리할 수 있다. 이는 질의 매칭 과정에서 역역을 무시하고도 정확한 엔테일먼트를 판단할 수 있게 하며, 복합 역할이 포함된 경우와는 구별되는 중요한 제한조건이다.

결과적으로, 저자들은 ALCHOIQb에서 UCQ 엔테일먼트가 결정 가능함을 보였으며, 이는 OWL 1 DL과 OWL 2 DL이 지원하는 대부분의 실용적인 시나리오를 포괄한다. 논문의 기법은 ‘패턴 기반 차단’과 ‘카운팅 롤 전파’를 결합한 새로운 결정 절차를 제시함으로써, 기존 방법이 포기하던 무한 모델 문제를 실용적인 수준으로 해결한다는 점에서 학술적·실무적 의의가 크다.