[논문 리뷰] Integrating Context of Statements within Description Logics

Antoine Zimmermann, José M. Giménez‐García|arXiv (Cornell University)|2017. 09. 14.

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

한 줄 요약

이 논문은 NdFluents에 영감을 받은 일반화된 슬라이싱 메커니즘을 통해 개인, 역할, 개념을 맥락화함으로써, 기원, 유효 기간, 신뢰도와 같은 맥락적 메타데이터를 기술 체계 논리에 통합하는 데 중점을 두는 새로운 재구성 기반 방법인 NdTerms를 제안한다. 이 방법은 이전의 재구성 기법들에 비해 논리적 함의와 일관성을 더 잘 유지하며, 의미 웹 및 지식 표현 시스템에서 맥락적 추론을 위한 핵심 욕구를 충족시키는 공식적 프레임워크를 제공한다.

ABSTRACT

We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextually annotating statements. It is inspired by NdFluents, which is itself an extension of the 4dFluents approach for annotating statements with temporal context. In NdFluents, instances that are involved in a contextual statement are sliced into contextual parts, such that only parts in the same context hold relations to one another, with the goal of better preserving inferences. We generalize this idea by defining contextual parts of relations and classes. This formal construction better satisfies the properties, although not entirely. We show that it is a particular case of a general mechanism that NdFluents also instantiates, and present other variations.

연구 동기 및 목표

• 비표준 또는 고차원 논리 체계에 의존하지 않고 기술 체계 논리 내에서 맥락적 메타데이터(예: 기원, 시간, 신뢰도)를 표현하는 데 도전하는 것.
• 논리적 일관성, 함의 보존, 모듈성 등을 보장하는 맥락화 기법에 대한 공식적이고 검증 가능한 성질을 정의하는 것.
• 기존의 접근 방식들인 RDF 재구성, N-항 관계, 싱글릿 속성보다 더 많은 바람직한 성질을 만족하는 새로운 재구성 메커니즘인 NdTerms를 개발하는 것.
• NdFluents 접근 방식을 개인을 넘어서 역할과 개념으로 일반화하여 더 포괄적인 맥락적 추론을 가능하게 하는 것.

제안 방법

• 재구성 기법을 추상화하는 맥락화 함수의 공식적 프레임워크를 제안하여, 기술 체계 논리 내 재구성 기법의 성질을 체계적으로 분석할 수 있도록 한다.
• NdFluents의 일반화로서 NdTerms를 도입하여, 개인, 역할, 개념을 맥락적 부분으로 분할함으로써 추론의 무결성을 유지한다.
• 동일한 용어가 서로 다른 맥락적 인스턴스를 나타내도록 허용하기 위해 펀닝(punning)과 용어의 상대화(term relativization)를 사용하여, 오직 동일 맥락의 부분들만 관계에 참여하도록 보장한다.
• 용어가 맥락화된 상태에서 해석되는 공식적 의미론을 정의하여, 맥락에 따라 축약된 공리가 유지되도록 하며, 맥락 간 논리적 일관성을 유지한다.
• 개인뿐 아니라 역할과 클래스에도 슬라이싱 메커니즘을 적용하여, 맥락 제약 조건이 관계와 개념 수준에서 강제되도록 보장한다.
• 일반적인 메커니즘으로서의 상충 관계를 공식화하여, NdTerms가 함의 보존과 일관성 등의 핵심 성질을 충족시키지만 완전히 만족시키지는 못함을 보여주며, 이로 인한 타협 사항을 분석한다.

실험 결과

연구 질문

• RQ1 비표준 또는 고차원 논리 체계에 의존하지 않고, 시간, 출처, 또는 신뢰도와 같은 맥락적 메타데이터를 기술 체계 논리에 어떻게 공식적으로 통합할 수 있는가?
• RQ2 기술 체계 논리 내에서 맥락화 기법에 대해 바람직한 공식적 성질은 무엇이며, 이를 어떻게 검증할 수 있는가?
• RQ3 기존의 재구성 기법들인 RDF 재구성, N-항 관계, 싱글릿 속성 등이 이러한 공식적 성질을 어느 정도 만족하는가?
• RQ4 이전의 접근 방식보다 함의와 일관성을 더 잘 유지하는 일반화된 재구성 메커니즘을 설계할 수 있는가?
• RQ5 NdTerms 접근 방식은 표현력과 논리적 탄탄함 측면에서 NdFluents 및 기타 재구성 방법과 비교해 볼 때 어떻게 다른가?

주요 결과

• NdTerms는 개인뿐 아니라 역할과 개념까지 확장된 NdFluents 원칙을 적용함으로써, 기술 체계 논리 내 맥락적 메타데이터 표기에 더 포괄적이고 공식적인 접근을 제공한다.
• RDF 재구성, N-항 관계, 싱글릿 속성과 비교해 볼 때, 함의 보존과 일관성과 같은 핵심 성질을 더 잘 만족한다. 이는 특정 조건 하에서 이러한 기존 기법들이 이러한 성질을 유지하지 못한다는 점에서 유의미하다.
• NdTerms는 맥락화된 용어를 일반화한 메커니즘의 특정 구현 사례로 밝혀지며, 역할 이름이나 클래스 이름의 맥락화를 포함한 향후 변형 가능성도 있다.
• 오직 동일한 맥락 내의 부분들만 관계에 참여하도록 보장함으로써 논리적 일관성을 유지함으로써, 맥락 간 부적절한 추론을 방지한다.
• NdTerms는 기존 방법들보다 개선되었지만, 모든 바람직한 성질을 완전히 충족시키지는 못함을 보여주며, 다중 메타데이터 또는 맥락화된 온톨로지의 조합과 같은 여전한 과제를 시사한다.
• 재구성 기법을 비교하기 위한 공식적 프레임워크를 수립하여, 지식 표현 분야에서 맥락화 기법의 체계적 평가를 가능하게 한다.