정보 흐름 프레임워크 기반 범주 이론 온톨로지 KIF 형식화

초록

본 논문은 표준 상위 온톨로지(SUO)의 메타레벨 구조를 지원하기 위해 정보 흐름 프레임워크(IFF)와 KIF 언어를 이용해 범주 이론 온톨로지를 형식화한다. 카테고리, 함자, 자연 변환, 여인, 그리고 콜림트와 같은 핵심 개념을 메타레벨 네임스페이스에 정의하고, 기본 KIF, SET, GRAPH 온톨로지와의 연계 방식을 제시한다.

상세 분석

이 논문은 IFF가 메타레벨과 객체 레벨을 명확히 구분하는 구조적 프레임워크임을 전제로, 그 안에서 범주 이론을 KIF(Knowledge Interchange Format)로 구현한다. 먼저 메타레벨을 상위, 중위, 하위의 세 층으로 나누고, 각 층에 필요한 온톨로지를 배치한다. 상위 메타레벨은 Basic KIF Ontology을 통해 KIF와 온톨로지 구조를 연결하고, 중위 메타레벨은 Category Theory Ontology, GRAPH Ontology, SET Ontology을 포함한다. 특히 Category Theory Ontology은 카테고리를 “큰 그래프의 2차원 준카테고리 안에서의 모노이드”로 정의함으로써, 그래프와 그래프 사상이라는 기존 IFF 기반 구조 위에 카테고리의 합성(mu)와 단위(eta)를 형식화한다.

KIF 함수와 서명을 이용해 ‘underlying’, ‘mu’, ‘eta’, ‘composition’, ‘identity’ 등 기본 연산을 선언하고, ∀?c (category ?c) 형태의 공리로 결합법의 결합성, 좌·우 항등법을 명시한다. 또한 객체와 사상, 소스·타깃, 합성 가능한 쌍을 각각 SET$class, SET$function, SET$opspan 등으로 매핑함으로써, 그래프 기반 정의와 KIF 기반 정의 사이의 일관성을 확보한다.

대칭성(대우) 구조도 상세히 다루어, ‘opposite’ 함수를 통해 카테고리의 대우를 정의하고, (Cᵒᵖ)ᵒᵖ = C 라는 involution 정리를 공리화한다. 모노모르피즘, 에피모르피즘, 이소모르피즘은 각각 오른·왼쪽 취소 가능성으로 정의되며, 에피모르피즘은 대우 카테고리의 모노모르피즘과 동등시켜 정의함으로써, 두 개념 사이의 대칭성을 KIF 공리로 표현한다.

콜림트 부분은 아직 완전히 전개되지 않았지만, 콜림트를 통해 온톨로지 조합을 “블록 구축” 메타포로 설명하고, 메타레벨에서 콜림트 네임스페이스를 별도로 제공한다는 점에서 온톨로지 공학에 실용적인 도구를 제공한다는 의도를 보인다. 전체적으로 이 논문은 범주 이론의 핵심 구조를 KIF와 IFF 메타레벨 온톨로지와 결합함으로써, 온톨로지 간의 형식적 연계와 자동화된 추론을 가능하게 하는 기반을 제시한다.