[논문 리뷰] Conceptual Knowledge Markup Language: The central core

Robert E. Kent|arXiv (Cornell University)|2011. 09. 07.

Semantic Web and Ontologies참고 문헌 8인용 수 16

한 줄 요약

이 논문은 OML과 CKML 간의 온톨로지 명세와 개념적 지식 표현 간의 이론적 기반을 제공하는 OML/CKML 프레임워크의 핵심 핵심 요소를 소개한다. 이는 RDF/S 및 Ontolingua와의 상호운용성을 가능하게 하며, 지식 시스템 통합과 모델링 언어 간의 의미 일관성에 필수적인 이론적 기반을 제공한다.

ABSTRACT

The conceptual knowledge framework OML/CKML needs several components for a successful design. One important, but previously overlooked, component is the central core of OML/CKML. The central core provides a theoretical link between the ontological specification in OML and the conceptual knowledge representation in CKML. This paper discusses the formal semantics and syntactic styles of the central core, and also the important role it plays in defining interoperability between OML/CKML, RDF/S and Ontolingua.

연구 동기 및 목표

• OML의 온톨로지 명세와 CKML의 개념적 지식 표현 간에 형식적 이론적 연결이 부족한 문제를 해결하기 위해.
• 지식 모델링 언어 간의 의미 일관성과 상호운용성을 보장하는 핵심 핵심 요소를 정의하기 위해.
• 기존 표준인 RDF/S 및 Ontolingua와의 통합을 위한 기반을 마련하기 위해.
• 정확한 지식 표현을 지원하는 핵심 핵심 요소에 대한 형식적 의미론과 문법적 구조를 제공하기 위해.
• 이질적인 지식 시스템 간에 신뢰할 수 있고 기계가 처리할 수 있는 지식 교환을 가능하게 하기 위해.

제안 방법

• 논리적 및 개념적 원칙에 기반한 핵심 핵심 요소에 대한 형식적 의미론 프레임워크 정의.
• 인간의 이해와 기계 처리 모두를 지원하는 문법적 스타일 설계.
• 핵심 핵심 요소를 중개 계층으로 삼아 OML 온톨로지를 CKML 개념적 지식으로 매핑하기.
• RDF의 삼중적 모델과 호환되는 방식으로 핵심 핵심 요소를 표현하여 RDF/S와의 일치 확보.
• 핵심 핵심 요소 내에서 Ontolingua의 형식론과 표현력을 유지함으로써 Ontolingua와의 통합.
• 일致성과 정확성을 확보하기 위해 형식적 논리를 사용해 핵심 핵심 요소 내의 관계와 제약 조건을 명세하기.

실험 결과

연구 질문

• RQ1 어떻게 OML 온톨로지와 CKML 지식 표현 간에 형식적 의미 기반을 구축할 수 있는가?
• RQ2 어떤 문법적 구조가 핵심 핵심 요소에서 표현력과 상호운용성을 동시에 보장하는가?
• RQ3 핵심 핵심 요소는 RDF/S 및 Ontolingua와의 원활한 통합을 어떻게 지원하는가?
• RQ4 핵심 핵심 요소는 지식 모델링 언어 간의 의미 일관성 확보에 어떤 역할을 하는가?
• RQ5 핵심 핵심 요소는 온톨로지 모델링과 개념적 지식 모델링 간의 이론적이고 실용적인 다리로 어떻게 기능하는가?

주요 결과

• 핵심 핵심 요소는 OML 온톨로지와 CKML 지식 표현 간에 형식적 의미 기반을 성공적으로 구축하여, 이전에 간과되었던 OML/CKML 프레임워크의 격차를 해결했다.
• 핵심 핵심 요소의 문법적 설계는 인간의 해석과 기계 처리를 모두 지원하여 사용성과 통합성을 향상시켰다.
• RDF/S와의 상호운용성은 핵심 핵심 요소를 RDF의 삼중적 모델과 RDFS 의미론과 일치하는 방식으로 표현함으로써 달성되었다.
• Ontolingua와의 통합은 그 형식론을 재사용함으로써 보존되어 기존 지식 모델링 관행과의 호환성을 확보했다.
• 공동된 이론적 기반을 제공함으로써 핵심 핵심 요소는 다양한 시스템 간에 일관되고 신뢰할 수 있는 지식 교환을 가능하게 했다.
• 이 프레임워크는 잘 정의된 핵심 구성 요소가 확장 가능하고 상호운용 가능한 지식 모델링을 위해 필수적임을 입증했다.