[논문 리뷰] The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

Christoph Lange, Oliver Kutz외 2명|University of Birmingham Research Archive, E-prints Repository|2012. 04. 23.

Semantic Web and Ontologies참고 문헌 1인용 수 5

한 줄 요약

이 논문은 수학적 형식화에서 다양한 논리적 언어(예: 기술 논리와 일阶논리)로 형식화된 온톨로지의 통합 및 검증을 위한 표준화된 프레임워크인 분산 온톨로지 언어(DOL)를 소개한다. 이는 Hets와 같은 도구를 사용하여 보편적 확장과 해석과 같은 메타이론적 관계의 형식적 검증을 가능하게 하며, COLORE에서 시간과 순서 구조 온톨로지 간의 일관성과 동치성을 입증한다.

ABSTRACT

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper focuses on an application of DOL's meta-theoretical features in mathematical formalization: validating relationships between ontological formalizations of mathematical concepts in COLORE (Common Logic Repository), which provide the foundation for formalizing real-world notions such as spatial and temporal relations.

연구 동기 및 목표

• 복잡한 응용을 위해 다양한 논리적 언어(예: 기술 논리와 일阶논리)로 형식화된 온톨로지를 통합하는 데 도전하는 것.
• 보편적 확장, 해석, 정의적 동치성과 같은 온톨로지 간 메타이론적 관계를 형식적이고 기계로 검증 가능한 프레임워크로 제공하는 것.
• 공간, 시간, 대수적 구조와 같은 기초 개념을 포함한 COLORE 프로젝트의 수학적 형식화의 형식적 검증을 지원하는 것.
• Hets 도구세트를 사용하여 다양한 논리 간 온톨로지 매핑 및 정렬의 자동 검증을 가능하게 하는 것.
• ISO/TC 37/SC 3를 통한 온톨로지 상호운용성 표준화로, eHealth, eBusiness, 제조 등 다양한 분야에 광범위하게 적용 가능하도록 하는 것.

제안 방법

• DOL은 기존 온톨로지 언어(예: OWL, 공통 논리) 위에 메타이론적 계층을 제공하여 이질적 온톨로지, 임포트, 정렬 및 연결을 표현한다.
• 공통 논리를 기반으로 한 번역 의미론을 사용하여 다양한 논리의 의미를 통합함으로써, 논리 간 추론과 검증을 가능하게 한다.
• 이론 해석, 보편적 확장, 서명 사상과 같은 형식적 구성요소를 지원하여 온톨로지 간 관계를 모델링한다.
• 인간의 가독성과 기계 간 상호운용성을 위해 텍스트, XML, RDF의 세 가지 구체적 문법을 사용한다.
• Hets 이질적 도구세트와 통합되어 정의적 동치성 및 모델이론적 보존성과 같은 메타이론적 성질을 자동으로 검증한다.
• COLORE의 온톨로지는 공통 논리로 형식화되고 DOL을 통해 선형 순서와 시간 간격 간의 매핑과 해석을 표현한다.

실험 결과

연구 질문

• RQ1 OWL과 일阶논리와 같은 다른 논리적 언어로 형식화된 온톨로지를 일관성 있게 의미적으로 통합하고 검증하는 방법은 무엇인가?
• RQ2 이질적 온톨로지 간 보편적 확장과 해석과 같은 메타이론적 관계를 표현하고 검증하기 위해 필요한 형식적 메커니즘은 무엇인가?
• RQ3 분산 온톨로지 언어(DOL)가 자동 검증을 지원하는 표준화되고 상호운용 가능한 온톨로지 통합 프레임워크를 제공할 수 있는가?
• RQ4 시간과 공간 관계와 같은 수학적 형식화는 핵심 온톨로지 간의 형식적 관계를 통해 어떻게 검증할 수 있는가?
• RQ5 OWL-Time과 그 일阶논리 확장 간의 정의적 동치성이 DOL을 통해 얼마나 잘 검증될 수 있는가?

주요 결과

• DOL은 COLORE의 온톨로지 간 보편적 확장과 해석과 같은 메타이론적 관계의 형식적 명세와 자동 검증을 성공적으로 가능하게 하였다.
• DOL을 통한 선형 순서와 시간 간격 간의 통합은 모델이론적으로 보존적이며, 의미론적 일관성을 보장함을 공식적으로 검증하였다.
• OWL-Time와 그 일阶논리 대응체 간의 매핑은 DOL의 해석 및 확장 메커니즘을 사용하여 정의적 동치성으로서 표현되고 검증되었다.
• 공통 논리를 기반으로 한 번역 의미론의 사용은 다양한 온톨로지 논리의 통합을 가능하게 하여 논리 간 추론과 검증을 가능하게 하였다.
• DOL 프레임워크는 대수적 구조, 순서, 인cidense 관계를 포함한 복잡한 관계의 검증 가능성을 입증하였다.
• ISO/TC 37/SC 3 내에서 DOL의 표준화는 공식 국제 표준(ISO 17347)으로 향해 진행 중이며, 의미 기반 상호운용성 분야에서 광범위한 도입을 목표로 하고 있다.