[논문 리뷰] The Semantic Web Rule Language Expressiveness Extensions-A Survey

Abba Lawan, Abdur Rakib|arXiv (Cornell University)|2019. 03. 27.

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

한 줄 요약

이 논문은 의미 웹 규칙 언어(SWRL)의 표현력 확장을 조사하며, 확률적, 퍼지, 비단조화, 수학적 내장 함수 등의 향상이 원래의 결정 불가능한 규칙 기반 형식론을 초월해 SWRL의 능력을 어떻게 확장하는지 분석한다. 이들 확장의 문법, 의미론, 결정 가능성, 사용성에 대해 평가한 결과, SWRL의 표현력은 상당히 넓어졌지만, 표준화된 결정 가능한 추론기 부족과 SPARQL 및 RuleML와 같은 대안들로 인해 실용적 도입은 제한되어 있음을 결론으로 이어진다.

ABSTRACT

The Semantic Web Rule Language (SWRL) is a direct extension of OWL 2 DL with a subset of RuleML, and it is designed to be the rule language of the Semantic Web. This paper explores the state-of-the-art of SWRL's expressiveness extensions proposed over time. As a motivation, the effectiveness of the SWRL/OWL combination in modeling domain facts is discussed while some of the common expressive limitations of the combination are also highlighted. The paper then classifies and presents the relevant language extensions of the SWRL and their added expressive powers to the original SWRL definition. Furthermore, it provides a comparative analysis of the syntax and semantics of the proposed extensions. In conclusion, the decidability requirement and usability of each expressiveness extension are evaluated towards an efficient inclusion into the OWL ontologies.

연구 동기 및 목표

• 실제 세계의 복잡한 시나리오를 모델링하는 데에 불확실성, 비단조화 추론, 고급 수학 연산이 필요한 원래의 SWRL 형식론의 한계를 분석하기 위해.
• 확률적, 퍼지, 비단조화, 존재적, 수학적 확장을 포함한 다양한 표현력 확장 기법들을 분류하고 비교하기 위해.
• OWL 온톨로지 및 실제 구현 환경에서 각 확장의 결정 가능성과 사용성 평가하기 위해.
• 확장된 SWRL 기능에 대한 표준화 및 추론 지원 분야의 연구 격차를 규명하기 위해.
• 의미 웹을 위한 종합적인 온톨로지 규칙 언어로서의 SWRL의 잠재력 평가하기 위해.

제안 방법

• 기능 유형별로 분류된 문헌에서의 SWRL 확장에 대한 체계적 조사: 확률적, 퍼지, 비단조화, 존재적, FOL 양화자, 에프사 양화자, OpenMath 통합, 시간적 추론, 수학적 내장 함수.
• 각 확장의 문법과 의미론 분석, 예를 들어 swrlb:greaterThan(), 지배성(Rx,Ry), 상호배타성(Mutex(Rx,Ry)), 존재적 양화 변수(!x) 등의 새로운 구성 요소의 형식화 포함.
• 변수들이 온톨로지 내 알려진 개체나 개념에 바인딩되어야 하는 DL-안전성 조건을 통해 결정 가능성 평가.
• 내장 함수의 비교 분석, 예를 들어 복잡한 수학을 위한 SWRLM, owl:Thing 개체를 생성하기 위한 SWRLX, Allen의 간격 논리용 SWRL Temporal 포함.
• 확장 기능을 공식 논리 프레임워크에 매핑: 예를 들어 FOL 확장을 ∀ 및 ∃ 양화자로, 에프사 양화자를 εXφ(X)로, 수학적 의미 확장용 OpenMath로.
• 추론기 가용성, 표준화, SPARQL 및 RuleML와의 경쟁을 바탕으로 실용적 사용성 평가.

실험 결과

연구 질문

• RQ1 원래의 SWRL 형식론이 실제 도메인 지식을 모델링하는 데에 있어 핵심적인 표현 한계는 무엇인가?
• RQ2 확률적, 퍼지, 비단조화 확장과 같은 다양한 SWRL 확장 기법들이 언어의 표현력을 어떻게 향상시키는가?
• RQ3 각 확장 기법이 SWRL 온톨로지에서 추론의 결정 가능성과 계산 가능성에 어떤 영향을 미치는가?
• RQ4 이론적으로 표현력이 풍부한데도 불구하고 확장된 SWRL 기능의 도입이 제한되는 이유는 무엇인가?
• RQ5 SPARQL 및 RuleML와 같은 대안 언어가 확장된 SWRL 기능의 실용적 필요성을 얼마나 줄이는가?

주요 결과

• 원래의 SWRL 형식론은 제약이 없는 일阶 호른 절로 인해 결정 불가능하며, 타당한 추론을 보장하기 위해 DL-안전성 조건이 필요하다.
• SWRLM 및 SWRLX와 같은 확장 기법들은 고급 수학적 및 존재적 추론 기능을 제공하여 새로운 개체 생성과 복잡한 계산을 가능하게 한다.
• 확률적 및 퍼지 확장 기법들은 조건부 확률 표와 소속도를 각각 사용해 불확실하거나 모호한 사실을 모델링할 수 있다.
• 비단조화 확장 기법들, 예를 들어 부정, 상호배타성, 지배성 연산자 등은 규칙 기반 시스템에서 우선순위 설정과 갈등 해결을 지원한다.
• 광범위한 이론적 발전에도 불구하고 대부분의 확장 기법들은 표준화된 문법과 의미론을 갖추지 못해 상호운용성과 추론기 지원에 한계가 있다.
• 확장된 SWRL의 실용적 구현은 결정 가능한 추론기가 널리 확보되어 있지 않고 SPARQL 및 RuleML와의 경쟁으로 인해 여전히 제한되어 있다.