[논문 리뷰] A framework for a modular multi-concept lexicographic closure semantics

Laura Giordano, Daniele Theseider Dupré|arXiv (Cornell University)|2020. 09. 02.

Semantic Web and Ontologies참고 문헌 44인용 수 5

한 줄 요약

이 논문은 결함 가능 기술 논리에 대한 모듈러 다중개념 사전순 폐쇄 의미론을 제안하며, 일반성과 예외를 다루기 위해 주제별 모듈에 걸쳐 일반성 포함 관계를 분산하고 각 모듈 내에서 사전순 폐쇄를 적용한다. 이 접근법은 모듈별 선호 관계를 종합하여 전역 의미론을 구성함으로써, 성질 상속 차단 및 이면적 기본값 해결과 같은 문제를 피한다.

ABSTRACT

We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic closure semantics. The preferential semantics of the knowledge base can then be defined as a combination of the preferences of the single modules. The range of possibilities, from fine grained to coarse grained modules, provides a spectrum of alternative semantics.

연구 동기 및 목표

• 이성적 폐쇄와 사전순 폐쇄가 상호 간의 기본값 갈등을 해결해야 할 경우에도 해결되지 않은 채로 남아 있는 문제를 해결하기 위해.
• 주제 개념 기반으로 결함 가능 포함 관계를 체계적으로 모듈화하여 온톨로지의 유지보수성과 추론 제어성을 향상시키는 원칙적인 방법을 제공하기 위해.
• 결함 가능 성질을 다수의 모듈에 분산시켜 기술 논리에 사전순 폐쇄 의미론을 확장하기 위해.
• 개별 모듈 의미론을 유지하면서도 핵심 비단조화 추론 성질을 보존하는 구성적 전역 선호 관계를 정의하기 위해.
• 이성적 폐쇄에서 흔히 발생하는 '성질 상속 차단 문제'를 피하기 위해 결함 가능 포함 관계의 모듈러 분리 전략을 활용하기 위해.

제안 방법

• 주제 개념 C에 기반하여 결함 가능 포함 관계(T(C) ⊑ D)를 모듈로 묶어 모듈러 다중개념 지식 기반을 정의한다.
• 모듈이 자신의 주제와 관련된 임의의 결함 가능 포함 관계 집합을 포함할 수 있도록 허용하며, T(Ci) ⊑ D 형태의 포함 관계에 국한되지 않는다.
• 각 모듈 내에서 사전순 폐쇄 의미론을 적용하여 이성적 폐쇄 순위와 특수성 기반의 국소 선호 순서를 유도한다.
• 모듈 간의 국소 선호 관계를 조합하여 단일 전역 선호 관계 <를 구성하는 구성적 방법을 사용한다.
• 전역 선호 관계에 기반한 함의 개념을 정의하여 KLM 선호 논리 성질을 만족시키도록 보장한다.
• 전역 관계의 선호성(순위 없음) 특성을 활용하여, 특히 결함 가능 포함 관계가 적절히 모듈화된 경우에 갈등하는 기본값의 이면적 해결을 방지한다.

실험 결과

연구 질문

• RQ1 기본값 간의 갈등을 다루는 데 있어 불필요한 기본값 상호작용을 방지하고 추론 제어를 향상시키기 위해 기술 논리 내의 결함 가능 포함 관계를 어떻게 모듈화할 수 있는가?
• RQ2 특수성과 무관성 처리를 유지하면서 사전순 폐쇄 의미론을 다중 모듈 환경으로 효과적으로 확장할 수 있는가?
• RQ3 다양한 모듈별 선호 관계에서 전역 선호 관계를 어떻게 구성할 수 있는가? 이는 성질 상속의 차단 문제를 피하기 위한 것이다.
• RQ4 모듈화가 이성적 폐쇄나 사전순 폐쇄에서 알려진 문제인 갈등하는 기본값의 이면적 해결을 어떻게 방지하는가?
• RQ5 제안된 의미론과 기존 접근법(예: 이성적 폐쇄, MP-폐쇄, 또는 EL+에 대한 ASP 기반 인코딩) 간의 관계는 무엇인가?

주요 결과

• 적절한 경우에 일반성 성질이 하위클래스로 상속될 수 있도록 보장함으로써, 제안된 의미론은 '성질 상속 차단 문제'를 피한다.
• 모듈화를 통해 지식이 모듈 간에 어떻게 분할되는지에 따라 세밀한 추론 행동에서 거친 추론 행동에 이르기까지 다양한 추론 행동 스펙트럼을 제공할 수 있다.
• 전역 선호 관계는 선호적이지만 반드시 순위가 있는 것은 아니므로, 갈등하는 기본값의 이면적 해결을 방지하는 데 기여한다.
• 의미론은 선호 관계의 KLM 성질을 만족하여 논리적 일관성과 비단조화 추론의 타당성을 보장한다.
• 주제 기반 모듈화와 선호 관계 조합을 允허함으로써, 레만의 사전순 폐쇄를 기술 논리로 일반화한다.
• 다중개념 사전순 함의의 복잡도는 Π²p에 속할 것으로 예상되며, 이는 EL+와 같은 관련 형식체계의 알려진 복잡도 경계와 일치한다.