[논문 리뷰] Integration of the DOLCE top-level ontology into the OntoSpec methodology

Gilles Kassel|arXiv (Cornell University)|2005. 10. 18.

Semantic Web and Ontologies참고 문헌 21인용 수 45

한 줄 요약

이 논문은 DOLCE 상위 수준 온톨로지(ontology)를 OntoSpec 방법론에 통합하여 특정 지식 표현 언어에 종속되지 않고 애플리케이션 온톨로지의 구조화를 향상시키고자 한다. DOLCE를 OntoSpec의 반형식 언어로 재설계함으로써, 형식적 언어에 종속되지 않으면서도 체계적이고 재사용 가능한 온톨로지 개발 프레임워크를 제공한다. 이는 개념적 명료성과 일관성을 유지하면서도 지식 모델링의 품질을 향상시킨다.

ABSTRACT

This report describes a new version of the OntoSpec methodology for ontology building. Defined by the LaRIA Knowledge Engineering Team (University of Picardie Jules Verne, Amiens, France), OntoSpec aims at helping builders to model ontological knowledge (upstream of formal representation). The methodology relies on a set of rigorously-defined modelling primitives and principles. Its application leads to the elaboration of a semi-informal ontology, which is independent of knowledge representation languages. We recently enriched the OntoSpec methodology by endowing it with a new resource, the DOLCE top-level ontology defined at the LOA (IST-CNR, Trento, Italy). The goal of this integration is to provide modellers with additional help in structuring application ontologies, while maintaining independence vis-à-vis formal representation languages. In this report, we first provide an overview of the OntoSpec methodology's general principles and then describe the DOLCE re-engineering process. A complete version of DOLCE-OS (i.e. a specification of DOLCE in the semi-informal OntoSpec language) is presented in an appendix.

연구 동기 및 목표

• 애플리케이션 온톨로지의 구조화를 향상시키기 위해 잘 정립된 상위 수준 온톨로지인 DOLCE를 OntoSpec 방법론에 통합하는 것.
• 형식적 지식 표현 언어에 종속되지 않으면서도 온톨로지 설계의 개념적 엄밀성을 확보하는 것.
• 모델러가 DOLCE의 기초 온톨로지 개념을 활용하여 도메인 특화 지식을 표준화되고 재사용 가능한 방식으로 조직할 수 있도록 표준화된, 재사용 가능한 프레임워크를 제공하는 것.
• DOLCE를 OntoSpec의 반형식 언어로 재설계하여 온톨로지 공학 분야에서 실용적으로 적용할 수 있도록 하는 것.
• 원칙 기반의 방법론 중심 접근을 통해 일관성 있고 상호운용 가능한 온톨로지 개발을 지원하는 것.

제안 방법

• 반형식 온톨로지 사양을 위한 철저하게 정의된 모델링 원소와 원칙을 포함하는 OntoSpec 방법론을 채택하여 온톨로지 정의를 체계화하는 것.
• DOLCE 상위 수준 온톨로지를 OntoSpec 언어로 재설계하여, DOLCE의 반형식 사양인 DOLCE-OS를 생성하는 것.
• OntoSpec의 추상화 메커니즘을 활용하여 DOLCE의 핵심 온톨로지 범주(예: 구체적·추상적 개체, 부분, 관계 등)를 표현하는 것.
• 결과적으로 생성된 DOLCE-OS가 어떤 형식적 지식 표현 언어에도 종속되지 않으면서도 개념적 통일성을 유지하도록 보장하는 것.
• 재설계된 DOLCE-OS를 참조 프레임워크로 활용하여 OntoSpec 방법론 내에서 애플리케이션 온톨로지의 모델링을 안내하는 것.
• 재사용 가능한 상위 수준 구조로 DOLCE-OS를 활용하여 일관성 있고 통합된 도메인 온톨로지 개발을 지원하는 것.

실험 결과

연구 질문

• RQ1 DOLCE 상위 수준 온톨로지는 어떻게 OntoSpec 방법론에 효과적으로 통합되어 온톨로지 공학을 지원할 수 있는가?
• RQ2 DOLCE를 OntoSpec의 반형식 언어로 재설계할 때 그 온톨로지의 통일성을 유지하면서 발생하는 주요 과제는 무엇인가?
• RQ3 DOLCE를 OntoSpec에 통합함으로써 애플리케이션 온톨로지의 일관성과 재사용성은 어느 정도 향상되는가?
• RQ4 특정 형식적 표현 언어에 종속되지 않고 상위 수준 온톨로지를 모델링 과정을 안내하는 데 어떻게 활용할 수 있는가?
• RQ5 OntoSpec와 같은 방법론 내에서 DOLCE와 같은 표준화된 상위 수준 온톨로지를 지식 모델링에 활용할 때 실용적인 이점은 무엇인가?

주요 결과

• DOLCE를 OntoSpec 방법론에 통합함으로써, 형식적 지식 표현 언어에 종속되지 않는 DOLCE의 반형식 사양인 DOLCE-OS를 도출하였다.
• 재설계 과정에서 DOLCE의 온톨로지 원소가 OntoSpec의 모델링 원소로 성공적으로 매핑되었으며, 개념적 일관성이 유지되었다.
• 결과적으로 생성된 DOLCE-OS는 일관성과 명료성을 향상시킨 애플리케이션 온톨로지의 구조화를 위한 재사용 가능한 언어 독립 프레임워크를 제공한다.
• 이 방법론은 모델러가 구현에 종속되는 형식적 체계에 얽매이지 않고 DOLCE의 풍부한 상위 수준 구조를 효과적으로 활용할 수 있도록 한다.
• 상위 수준 온톨로지가 방법론 기반 온톨로지 공학 과정에 효과적으로 적응되어 모델링 품질을 향상시킬 수 있음을 입증하였다.
• 명확하게 정의되고 재사용 가능한 상위 수준 구조에 기반하여 온톨로지 간 상호운용성을 지원하는 데 기여한다.