[논문 리뷰] On the Ontological Modeling of Trees

David Carral, Pascal Hitzler외 2명|arXiv (Cornell University)|2017. 10. 13.

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

한 줄 요약

이 논문은 웹 온톨로지 언어(OWL)에서 나무 구조를 모델링하기 위한 온톨로지 설계 패턴을 제시하며, OWL이 나무 구조를 표현하는 데 한계가 있음을 다룹니다. 뿌리가 있고 방향성이 있으며 n-제한된 나무에 대해 재사용 가능하고 축약된 프레임워크를 제공함으로써 형제 관계의 추론을 가능하게 하고 핵심 기능 질의를 지원합니다. 동시에 표현력과 추론 성능 사이의 상충 관계를 강조합니다.

ABSTRACT

Trees -- i.e., the type of data structure known under this name -- are central to many aspects of knowledge organization. We investigate some central design choices concerning the ontological modeling of such trees. In particular, we consider the limits of what is expressible in the Web Ontology Language, and provide a reusable ontology design pattern for trees.

연구 동기 및 목표

• 지식 표현 분야에서 나무 구조에 대한 표준화된 온톨로지 설계 패턴이 부족한 문제를 해결하기 위해.
• OWL이 나무를 모델링할 때 표현력의 한계, 특히 형제 및 조상 관계에 관해 연구하기 위해.
• 계통발생학 및 분류학에서 흔히 사용되는 공통 질의를 지원하는 뿌리가 있고 방향성이 있으며 n-제한된 나무를 위한 재사용 가능하고 축약된 온톨로지 패턴을 제공하기 위해.
• n-제한 조건이 형제 관계(예: hasSibling)와 같은 관계를 OWL에서 일반적으로 표현할 수 없는 것을 보완해 추론을 가능하게 하는 방식을 탐색하기 위해.
• OWL에서 나무 구조 데이터를 모델링할 때 표현력, 추론 효율성, 실용성 사이의 상충 관계를 평가하기 위해.

제안 방법

• OWL 2 DL을 사용하여 나무를 위한 기본 온톨로지 설계 패턴을 도입하며, 핵심 관계인 hasParent, hasChild, hasAncestor, hasDescendant를 정의합니다.
• 노드 집합의 가장 최근 공통 조상(MRCA)을 사용하여 기반 노드 기반 클레이드 개념을 정의함으로써 클레이드 정의에 대한 형식적 의미를 제공합니다.
• 각 노드가 n개의 자식 클래스(Child₁부터 Childₙ까지) 중 하나로 유형 지정되는 n-제한된 나무 확장 모델을 제안합니다. 이는 최대 n개의 자식을 보장하기 위해 배타적 유형 지정을 가능하게 합니다.
• 기수 제한 조건(≤1 hasChild. Childᵢ)과 상호 배타성 공리(Childᵢ ⊓ Childⱼ ⊑ ⊥, i≠j)를 사용하여 고유하고 제한된 자식 할당을 강제합니다.
• 역할 조합 공리(Rᵢ ∘ hasParent ∘ hasChild ∘ Rⱼ ⊑ hasSibling)를 활용하여 자식 클래스 소속 정보에서 형제 관계를 추론합니다.
• n-제한 조건을 사용할 경우 OWL DL과의 호환성을 유지하기 위해 hasSibling에 대한 비반사성 공리를 제거할 것을 권장합니다.

실험 결과

연구 질문

• RQ1 OWL의 표현 한계에도 불구하고 나무 구조를 온톨로지적으로 어떻게 모델링할 수 있는가?
• RQ2 표준 OWL 구성요소를 사용하는 것과 제약 조건이 있는 n-제한 모델을 사용하는 것 사이의 표현력 상충 관계는 무엇인가?
• RQ3 hasSibling 관계는 OWL에서 축약적으로 유도될 수 있는가? 어떤 조건에서 이것이 가능해지는가?
• RQ4 n-제한 조건이 형제 관계 추론과 나무 구조의 축약화를 어떻게 향상시키는가?
• RQ5 간선 재구성(예: 시간적 메타데이터를 위해)이 현재 모델의 질의 기능과 추론 성능에 어떤 영향을 미치는가?

주요 결과

• 제안된 온톨로지 설계 패턴은 n-제한 조건을 활용하여 기존 표준 OWL DL에서 표현이 불가능한 형제 관계의 추론을 가능하게 합니다.
• n-제한된 나무에서는 상호 배타적 자식 클래스(Childᵢ)와 기수 제한 조건을 사용함으로써 역할 조합 공리를 통해 hasSibling가 자동으로 파생됩니다.
• 이 패턴은 가장 최근 공통 조상 찾기, 후손 나열, 조상 경로 추적과 같은 핵심 기능 질의를 지원합니다.
• n-제한 조건의 포함은 자식 클래스 유형 지정에서 배타성의 존재로 인해 n이 증가함에 따라 모델의 지수적 증가로 인해 추론 복잡도가 증가합니다.
• 현재 hasSibling 정의가 단순하지 않고 규칙성 조건을 위반하므로, irreflexivity 공리(비반사성 공리)를 제거하지 않으면 모델은 OWL DL을 벗어나게 됩니다.
• 작은 n(예: 이진 나무의 경우 n=2)에서는 실용적이지만, n이 커짐에 따라 배타적 클래스 표현식으로 인한 추론 부담 증가로 인해 확장성은 떨어집니다.