쿼리 기반 온톨로지 가져오기 숨겨진 내용에 대한 추론

초록

본 논문은 온톨로지 Kh 의 일부 시그니처를 숨기면서도, 다른 온톨로지 Kv 가 이를 재사용할 수 있도록 하는 “import‑by‑query” 프레임워크를 제안한다. Kv 가 제한된 방식으로 Kh 의 기호를 사용하면, Kh 에 직접 접근하지 않고도 Kv ∪ Kh 에 대한 논리적 추론이 가능하도록 쿼리 인터페이스를 설계하고, 필요한 표현 제한과 재사용 패턴을 규명한다. 또한, 불가능성 결과와 함께 가능한 경우에 대한 알고리즘을 제시한다.

상세 분석

Import‑by‑Query(IBQ) 프레임워크는 온톨로지 Kh 의 내부 axioms 를 비공개로 유지하면서, 외부 온톨로지 Kv 가 제한된 질의만을 통해 Kh 의 의미 정보를 활용하도록 설계되었다. 핵심 아이디어는 Kv 가 Kh 의 시그니처 중 일부를 “공유 시그니처”로 선언하고, 이 시그니처에 대해 두 온톨로지 간에 일관된 해석을 보장하기 위해 질의‑응답 인터페이스를 제공하는 것이다. 논문은 먼저 Kh 의 표현력에 대한 제약을 분석한다. 예를 들어, 완전한 SHOIN 같은 고급 DL에서는 질의만으로 완전한 추론을 보장하기 어렵지만, EL 이나 Horn‑DL 과 같이 제한된 논리에서는 query‑entailment 문제의 decidability 를 확보할 수 있다.

다음으로 Kv 가 Kh 의 기호를 재사용하는 방식에 대한 제한을 제시한다. 특히, “시그니처‑연결성”(signature‑connectedness)과 “사이클‑프리”(cycle‑free) 조건을 도입해, Kv 가 Kh 의 개념을 정의에 직접 포함시키는 경우와, 단순히 서브클래스 관계만 이용하는 경우를 구분한다. 이러한 제한이 없으면, Kv 가 Kh 에 대한 질의 결과를 이용해 무한히 깊은 추론을 유도할 수 있어, IBQ 메커니즘이 무력화된다.

논문은 또한 불가능성 결과를 통해 제한이 “필수적”임을 증명한다. Kh 가 ALC 이상의 표현력을 갖고, Kv 가 임의의 복합 개념을 재사용한다면, 질의 인터페이스만으로 Kv ∪ Kh 의 일관성을 판단하는 것이 coNP‑hard 이상으로 상승한다는 정리를 제시한다. 반대로, Kh 가 EL 또는 Horn‑DL 에 국한되고, Kv 가 “단순 재사용” 패턴을 따를 때는 polynomial‑time 알고리즘이 가능함을 보인다.

구현 측면에서는 두 단계의 알고리즘을 제안한다. 첫 번째 단계는 Kv 의 로컬 추론을 수행하면서, 필요 시 Kh 에 질의를 발행한다. 두 번째 단계는 Kh 의 질의 응답 엔진이 반환한 결과를 이용해 전역 일관성을 검증한다. 이 과정은 기존 tableau 기반 DL reasoner 와 호환되도록 설계되어, 실제 시스템에 쉽게 통합될 수 있다.

마지막으로, 논문은 IBQ 프레임워크가 데이터 프라이버시, 모듈화된 온톨로지 관리, 그리고 클라우드 기반 지식 서비스 등에 적용될 수 있는 잠재적 활용 사례를 논의한다. 이러한 분석을 통해, 온톨지 간의 안전한 재사용을 위한 이론적 기반과 실용적 구현 방안을 동시에 제공한다.