[논문 리뷰] The Information Flow Foundation for Conceptual Knowledge Organization

Robert E. Kent|arXiv (Cornell University)|2018. 10. 19.

Semantic Web and Ontologies참고 문헌 2인용 수 7

한 줄 요약

이 논문은 정보 흐름(IF) 논리학을 사용하여 개념적 지식 조직의 형식적 기반을 제안하며, 공통의 일반 옹모니어와 동의어 유형 등가성을 통해 옹모니어 공유를 가능하게 한다. 이를 통해 공통 구조를 모odulo로 하여 참가 옹모니어의 융합으로 가상의 계산 가능한 옹모니어가 도출됨을 보여주며, IF 이론의 해석과 몫 기반 융합을 통해 다양한 공동체 간의 상호운용성을 실현한다.

ABSTRACT

The sharing of ontologies between diverse communities of discourse allows them to compare their own information structures with that of other communities that share a common terminology and semantics - ontology sharing facilitates interoperability between online knowledge organizations. This paper demonstrates how ontology sharing is formalizable within the conceptual knowledge model of Information Flow (IF). Information Flow indirectly represents sharing through a specifiable, ontology extension hierarchy augmented with synonymic type equivalencing - two ontologies share terminology and meaning through a common generic ontology that each extends. Using the paradigm of participant community ontologies formalized as IF logics, a common shared extensible ontology formalized as an IF theory, participant community specification links from the common ontology to the participating community ontology formalizable as IF theory interpretations, this paper argues that ontology sharing is concentrated in a virtual ontology of community connections, and demonstrates how this virtual ontology is computable as the fusion of the participant ontologies - the quotient of the sum of the participant ontologies modulo the ontological sharing structure.

연구 동기 및 목표

• 다양한 논의 공동체 간 상호운용 지식 조직을 위한 형식적 프레임워크를 수립하기 위해.
• 동의어 유형 등가성을 포함한 구조적 확장 계층으로 옹모니어 공유를 모델링하기 위해.
• 공동 옹모니어와의 연결을 해석으로서 공동체별 특화 옹모니어를 IF 논리로 형식화하기 위해.
• 공통 지식이 공유된 구조를 모odulo로 하여 융합된 옹모니어의 몫으로 계산 가능하게 도출될 수 있음을 보여주기 위해.
• 가상의 확장 가능한 옹모니어가 모든 공통 개념적 구조를 포괄함을 보여주기 위해.

제안 방법

• 각 공동체의 옹모니어를 개념적 구조를 형식화하는 IF 논리로 표현하기 위해.
• 두 공동체가 모두 확장하는 공통의 공유 옹모니어를 IF 이론으로 정의하기 위해.
• 공통 옹모니어에서 공동체 옹모니어로의 연결을 IF 이론 내 해석으로 모델링하기 위해.
• 동의어 유형 등가성을 사용하여 옹모니어 간 용어와 의미를 정렬하기 위해.
• 공통 구조를 모odulo로 하여 참가 옹모니어의 융합을 통해 가상 옹모니어를 구성하기 위해.
• 모든 시스템을 IF 논리의 공리적 프레임워크로 형식화하여 일관성과 계산 가능성 보장하기 위해.

실험 결과

연구 질문

• RQ1 다양한 공동체 옹모니어가 어떻게 형식적으로 연결되어 공통 이해를 가능하게 할 수 있는가?
• RQ2 어떤 형식적 구조가 옹모니어 간 공통 용어와 의미를 표현하는 데 가능하게 하는가?
• RQ3 공동체별 개별 옹모니어에서 어떻게 공통의 확장 가능한 옹모니어를 계산 가능하게 도출할 수 있는가?
• RQ4 정보 흐름 프레임워크는 옹모니어를 공통 개념적 구조로 융합하는 데 어떤 방식으로 기여하는가?
• RQ5 동의어 유형 등가성은 공통 옹모니어를 통한 상호운용성을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 옹모니어 공유가 공통 일반 옹모니어에서 시작하는 확장 계층으로 정형화되어 공동체 간 정렬이 가능해진다.
• 공통 개념적 구조는 참가 옹모니어의 합을 공통 구조를 모odulo로 하여 몫으로 계산 가능하다.
• 결과적으로 도출된 가상 옹모니어는 모든 공동체 간 연결을 포괄하며, IF 기반 융합을 통해 확장 가능하다.
• 동의어 유형 등가성은 전체 옹모니어 융합이 필요 없이 의미 정렬을 가능하게 한다.
• IF 논리의 형식적 의미론을 사용하여 공유 지식의 일관성과 계산 가능성을 보장한다.
• 공동체별 특화 옹모니어를 공통 IF 이론의 해석으로 모델링함으로써 상호운용성을 지원한다.