IFF에서의 의미 통합: 융합 구조와 상위 온톨로지

IEEE P1600.1 표준 상위 온톨로지(SUO) 프로젝트는 다양한 도메인 온톨로지 간의 구조적·의미적 상호운용성을 제공하기 위한 공통 기반을 정의한다. 이 목표를 달성하기 위해 SUO 작업 그룹은 정보 흐름 프레임워크(IFF)를 개발했으며, IFF는 온톨로지의 구조적 측면을 카테고리 이론을 기반으로 형식화한다. IFF는 세 개의 영구 메타레벨(상위, 중위, 하위)로 구성된다. 상위 레벨은 ‘집합(set)’에 해당하는 작은 컬렉션을, 중위 레벨은 ‘클래스(class)’에 해당하는 큰 컬렉션을, 하위 레벨은 ‘제네릭(generic) 컬렉션’에 해당하는 가장 추상적인 형태를 다룬다. 각 레벨은 다수의 네임스페이스와 메타온톨로지로 세분화되며, 네임스페이스는 “ν$τ” 형식의 완전한 식별자를 사용해 전역 충돌을 방지한다. 상위 레벨에는 단일 ‘Top Core’ 메타온톨로지가 존재하고, 중위 레벨에는 ‘Upper Core’, ‘Category Theory’, ‘Upper Classification’이라는 세 개의 핵심 메타온톨로지가 존재한다. 하위 레벨에는 ‘Lower Core’, ‘Lower Classification’, ‘Algebraic Theory’, ‘Ontology’ 네 개가 현재 정의되어 있다. 이러한 메타구조 위에 객체 수준 온톨로지는 ‘언어(language)’, ‘이론(theory)’, ‘모델(model)’, ‘논리(logic)’ 네 가지 기본 개념을 통해 표현된다. 언어는 다중 정렬(multi‑sorted) 구조를 갖으며, 정렬·관계·함수 기호를 각각 엔티티 타입·관계 타입·함수 타입으로 매핑한다. 이론은 같은 기반 언어 위에 형성된 이론 격자(fiber(L))에 위치하고, 격자 내에서 포함 관계(엔타일먼트)로 정렬된다. 모델은 이론에 대한 해석을 제공하고, 논리는 이론과 모델을 결합한 형태로, 객체 수준 온톨로지에 실제 데이터가 채워졌을 때 논리 형태로 나타난다. 핵심 기여는 ‘융합(fusion)’이라는 메커니즘이다. 융합은 먼저 통합하고자 하는 이론들의 다이어그램 T(인덱싱 그래프 G)를 구성하고, 각 이론의 기반 언어를 추출해 언어 다이어그램 L을 만든다. 이후 L을 하나의 통합 언어 Ŀ로 합치고(λ: L ⇒ Ŀ), 각 이론을 λ에 의해 정의된 직접 이미지(dir) 연산을 통해 Ŀ 위의 동질 이론으로 변환한다. 변환된 이론들의 집합에 대해 격자 내에서 합(meet) 연산을 수행하면 최종 융합 이론 T·가 도출된다. 이 과정은 카테고리 이론에서의 콜리밋(colimit)과 동일시될 수 있으며, 서로 다른 언어와 이론을 일관된 하나의 의미 체계로 통합한다. 또한 논문은 ‘폴리코스모스(polycosmos)’ 개념을 소개한다. 폴리코스모스는 가능한 세계별로 서로 모순되는 이론들을 포함할 수 있는 비인구화된 모듈형 온톨로지이며, 융합 이론이 일관이면 ‘모노코스모스’, 각 부분 이론은 일관하지만 전체 융합이 모순이면 ‘폴리코스모스’로 구분한다. 이 개념은 복수의 관점이나 가설을 동시에 관리해야 하는 지식베이스에서 유용하게 적용될 수 있다. 결론적으로 IFF는 메타레벨·네임스페이스·메타온톨로지라는 계층적 구조와 카테고리 이론 기반의 융합 메커니즘을 통해 온톨로지의 모듈화, 재사용, 버전 관리, 그리고 대규모 의미 통합을 체계적으로 지원한다. 이러한 설계는 SUO 프로젝트가 목표로 하는 데이터 상호운용성, 자동 추론, 자연어 처리 등 다양한 응용 분야에 강력한 형식적 기반을 제공한다.