[논문 리뷰] The category of networks of ontologies

Jérôme Euzenat|arXiv (Cornell University)|2014. 12. 10.

Semantic Web and Ontologies인용 수 3

한 줄 요약

이 논문은 서열의 개념론적 프레임워크를 도입하여, 특정 해석에 의존하지 않고 닫힘과 일관성을 정의하기 위해 정렬 의미론을 추상화한다. 정의된 준동형사상이 있는 서열의 개념론 네트워크가 범주를 이룬다는 것을 입증함으로써, 당김( pullback )과 같은 형식적 연산을 가능하게 하고, 수정 연산자 및 분산 추론 시스템의 설계를 지원한다.

ABSTRACT

The semantic web has led to the deployment of ontologies on the web connected through various relations and, in particular, alignments of their vocabularies. There exists several semantics for alignments which make difficult interoperation between different interpretation of networks of ontologies. Here we present an abstraction of these semantics which allows for defining the notions of closure and consistency for networks of ontologies independently from the precise semantics. We also show that networks of ontologies with specific notions of morphisms define categories of networks of ontologies.

연구 동기 및 목표

• 일반적인 추론 및 연산을 지원하기 위해 서열의 개념론 네트워크에 대한 공식적이고 의미론에 종속되지 않는 추상화를 제공하기 위해.
• 특정 정렬 의미론에 종속되지 않고 서열의 개념론에 대한 닫힘과 일관성을 정의하기 위해.
• 정의된 준동형사상이 있는 서열의 개념론 네트워크가 범주를 이룬다는 것을 입증하여, 당김과 같은 범주론적 연산을 가능하게 하기 위해.
• 통합된 대수적 프레임워크를 통해 수정 연산자 및 분산 추론 시스템의 개발을 지원하기 위해.
• 구체적인 정렬 의미론과 추상적이고 재사용 가능한 서열의 개념론에 대한 형식적 연산 사이의 격차를 메우기 위해.

제안 방법

• 정의된 관계(예: 동치성, 포함관계)와 신뢰도 값과 함께, 대응 관계의 집합을 사용하여 정렬 의미론을 매개변수화된 프레임워크로 추상화한다.
• 서열의 개념론을 유한한 개념론 집합과 그들 사이의 정렬로 정의하며, 정렬은 삼중항 (엔티티, 엔티티, 관계) 형태로 표현된다.
• 개념론 포함관계와 정렬 대응 관계를 유지하는 서열 간의 준동형사상을 도입하며, 신뢰도 가중치 처리를 위한 확장도 제공한다.
• 준동형사상이 신뢰도 임계값을 존중하는 가중치가 있는 서열의 개념론 네트워크(이하 NOO_W)의 범주를 제안한다.
• 신뢰도 기반으로 정렬을 필터링하는 임계값 함자 F_w를 정의하며, 준동형사상의 구조를 유지하고 모듈화된 추론을 가능하게 한다.
• 서열의 범주에서 당김을 사용하여 일관된 개념론 통합을 모델링하며, 겹치는 지식의 조율를 추상화한다.

실험 결과

연구 질문

• RQ1 특정 정렬 의미론에 종속되지 않고 서열의 개념론 네트워크에 대한 닫힘과 일관성을 어떻게 공식적으로 정의할 수 있는가?
• RQ2 정의된 준동형사상이 있는 서열의 개념론 네트워크는 어떤 범주론적 구조를 형성하며, 그로부터 유도할 수 있는 연산(예: 당김)은 무엇인가?
• RQ3 정렬 내의 신뢰도 또는 가중치 정보를 준동형사상 및 범주 구성에 어떻게 공식적으로 통합할 수 있는가?
• RQ4 이질적인 개념론 간에 수정, 통합 및 분산 추론을 지원하는 통합 프레임워크를 구축할 수 있는가?
• RQ5 임계값 기반 필터링 함수(F_w)는 서열의 개념론 네트워크의 범주론적 구조와 어떻게 상호작용하는가?

주요 결과

• 논문은 특정 준동형사상이 있는 서열의 개념론 네트워크가 범주를 이룬다는 것을 입증하여, 당김과 같은 범주론적 구성의 적용을 가능하게 한다.
• 준동형사상이 개념론 포함관계와 정렬 신뢰도를 모두 유지하는 가중치가 있는 서열의 개념론 네트워크(NOO_W)의 범주를 공식적으로 정의한다.
• 신뢰도 값 기반으로 정렬을 필터링하는 임계값 함자 F_w를 구성하며, 준동형사상의 구조를 유지하고 모듈화된 추론을 가능하게 한다.
• 프레임워크는 범주론적 당김을 통해 수정 연산자 정의 및 일관된 개념론 통합을 지원한다.
• 추상화 덕분에 정렬의 기초 의미론에 종속되지 않고 닫힘과 일관성에 대해 추론할 수 있다.
• 이 접근법은 문법적 구조와 의미 해석을 분리함으로써, 다양한 정렬 의미론 간의 상호운용성을 지원한다.