가드형 하이브리드 지식베이스

본 논문은 시맨틱 웹에서 설명 논리(Description Logic, DL)와 규칙 기반 로직 프로그래밍을 통합하려는 연구 흐름에 새로운 기여를 한다. 기존의 통합 접근법인 DL+log, r‑hybrid KB, DL‑safe 규칙 등은 모두 “weak safety”라는 제약을 두어, 규칙 본문의 변수들이 반드시 양성 비‑DL 원자에 등장하도록 요구한다. 이러한 제약은 일부 자연스러운 온톨로지‑규칙 상호작용을 표현하지 못하게 만든다. 예를 들어, “FraternityMember ⊑ Drinker ⊓ ∃hasDrinkingBuddy”와 같은 온톨로지를 규칙과 결합할 때, 변수 X가 DL 원자만으로 가드될 경우 기존 프레임워크에서는 허용되지 않는다. 이에 저자들은 “가드형 하이브리드 지식베이스(g‑hybrid KB)”라는 새로운 모델을 제안한다. 정의에 따르면 g‑hybrid KB는 (Σ, P) 쌍으로, Σ는 DL 지식베이스, P는 가드된 로직 프로그램이다. 여기서 “가드된 프로그램”이란 각 규칙에 변수 전체를 포함하는 원자(guard)가 존재하는 프로그램을 의미한다. 중요한 차이점은 guard가 반드시 비‑DL 원자일 필요가 없으며, DL 원자도 guard 역할을 할 수 있다는 점이다. 따라서 규칙의 변수는 양성 비‑DL 원자에 제한되지 않고, DL 원자 자체가 가드가 되어 변수 제약을 만족한다. 논문은 먼저 오픈 답변 집합 프로그래밍(Open Answer Set Programming, OASP)의 형식적 정의와 의미론을 소개한다. OASP는 전통적인 ASP와 달리 도메인이 프로그램 외부 객체까지 확장될 수 있어, DL과 같은 1차 논리와 자연스럽게 결합된다. OASP에서의 “답변 집합”은 사전 해석(pre‑interpretation)과 그에 대한 모델(M) 쌍으로 정의되며, 프로그램에 포함된 ‘not’(negation as failure)와 ‘←’(규칙) 구문을 그대로 유지한다. 다음으로 가드된 프로그램(guarded program, GP)의 decidability 결과를 인용한다. GP는 모든 비‑자유 규칙이 guard를 갖는 프로그램이며, 이러한 프로그램은 Guarded Fixed Point Logic(GFPL)으로 변환 가능하다. GFPL은 2‑EXPTIME‑complete 복잡도 결과를 가지고 있기 때문에, GP의 만족성 검사는 동일한 복잡도 상한을 가진다. 핵심 기술은 DLRO−{≤}와 GP 사이의 변환이다. DLRO는 n‑ary 역할을 지원하는 DL이며, 여기서는 수량 제한(≤ k) 없이 명시자(nominals)와 복합 역할 표현을 포함한다. 저자들은 DLRO의 개념·역 원자를 프로그램의 원자에 매핑하고, 서브셈션(ax)과 역할 포함 관계를 규칙 형태로 변환한다. 변환 과정에서 DL 원자 자체가 guard가 되므로, 규칙의 모든 변수는 guard에 포함된다. 예를 들어, “SocialDrinker ⊑ ∃