[논문 리뷰] Extensions of Generic DOL for Generic Ontology Design Patterns

Mihai Codescu, Bernd Krieg-Brückner외 1명|arXiv (Cornell University)|2019. 06. 14.

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

한 줄 요약

이 논문은 일반화된 DOL(GDOL)을 고도로 발전된 언어 구문—순차적 및 선택적 매개변수, 재귀를 포함한 리스트 매개변수, 국소 서브패턴—으로 확장하여 일반화된 온톨로지 설계 패턴(GODPs)의 표현력과 재사용성을 향상시킨다. 주요 기여는 모듈화되고 매개변수화된 온톨로지 저작을 가능하게 하는 형식적 프레임워크를 제공하는 것으로, 중첩된 정량적 등급 관계 및 일반화된 값 집합과 같은 복잡한 패턴을 통해 이를 입증하였으며, Hets를 통한 완전한 도구 지원을 제공한다.

ABSTRACT

Generic ontologies were introduced as an extension (Generic DOL) of the Distributed Ontology, Modeling and Specification Language, DOL, with the aim to provide a language for Generic Ontology Design Patterns. In this paper we present a number of new language constructs that increase the expressivity and the generality of Generic DOL, among them sequential and optional parameters, list parameters with recursion, and local sub-patterns. These are illustrated with non-trivial patterns: generic value sets and (nested) qualitatively graded relations, demonstrated as definitional building blocks in an application domain.

연구 동기 및 목표

• 이전의 Generic DOL의 한계를 해결하여 더 표현력 있고 재사용 가능한 온톨로지 설계 패턴을 가능하게 하기 위해.
• 중첩된 등급 관계와 같은 복잡한 계층적 패턴 정의, 예를 들어 중첩된 정량적 등급 관계나 재귀적 값 집합을 지원하기 위해.
• 고도로 발전된 매개변수화 및 스코프 메커니즘을 통해 온톨로지 설계 패턴의 모듈성과 재사용성을 향상시키기 위해.
• 의미적 상호운용성과 도구 통합을 지원하는, 형식적이고 확장 가능한 GODPs 언어 기반을 제공하기 위해.
• 내부 구조를 숨기고 관련 매개변수만 노출시켜 직관적이고 GUI 기반의 GODP 사용을 가능하게 하기 위해.

제안 방법

• 패턴 인스턴스화 시 반복 코드를 줄이기 위해 순차적 및 선택적 매개변수를 도입한다.
• 재귀적 패턴 매칭을 지원하는 리스트 매개변수를 추가하여, 인수의 구조에 따라 템플릿 기반의 정의 선택이 가능하게 한다.
• 패턴 본문 내부에 국소 서브패턴을 지원하여 재사용 가능한 구성 요소를 캡슐화하고 모듈성을 향상시킨다.
• 인수 매핑을 위한 간결한 표기법을 사용하여 인스턴스화 시 명시적 기호 매핑의 필요성을 줄인다.
• Hets를 백엔드로 사용하여 패턴 인스턴스화의 검증과 실행을 수행하며, 이론 해석을 보여주는 의미 링크를 제공한다.
• 다중 인스턴스화 간 유일한 엔티티 식별을 보장하기 위해 'Same Name – Same Thing' 원칙을 적용한다.

실험 결과

연구 질문

• RQ1 Generic DOL는 어떻게 재귀적이고 구조화된 매개변수화를 지원함으로써 더 표현력 있는 온톨로지 설계 패턴을 가능하게 할 수 있는가?
• RQ2 중첩된 등급 관계와 같은 계층적 패턴 정의를 지원하기 위해 어떤 언어 구문이 필수적인가?
• RQ3 개선된 문법과 스코프 메커니즘을 통해 매개변수 인스턴스화가 어떻게 더 직관적이고 오류가 적게 발생하도록 개선될 수 있는가?
• RQ4 패턴 매칭을 지원하는 리스트 매개변수는 GODPs의 재사용성과 유지보수성에 어떤 방식으로 기여하는가?
• RQ5 Hets와 같은 도구 지원은 어떻게 발전되어야 하며, 일반화된 패턴과 그 인스턴스 간의 의미적 관계를 어떻게 반영할 수 있는가?

주요 결과

• 리스트 매개변수와 재귀를 통한 Generic DOL 확장은 등급 관계의 포함 계층과 같은 복잡하고 재사용 가능한 패턴 정의를 가능하게 한다.
• 리스트 매개변수에 대한 템플릿 매칭은 인수의 구조에 따라 패턴 본문 내에서 경우의 수를 구분할 수 있게 하여 모듈성과 표현력을 향상시킨다.
• 국소 서브패턴의 사용은 코드 조직을 개선하고 하나의 패턴 정의 내에서의 재사용을 촉진한다.
• Hets는 이제 새로운 언어 구문을 지원하여 패턴 인스턴스화의 검증과 의미 링크를 포함한 시각화를 가능하게 한다.
• 계층화 이후에 OWL 표준과 완전한 호환성을 확보하여 기존 온톨로지 도구와의 통합이 가능하다.
• 이 프레임워크는 매개변수, 임포트, 본문 간 명확한 분리를 지원하여 GODPs의 모듈성과 유지보수성을 향상시킨다.