[논문 리뷰] Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd

C. Maria Keet|arXiv (Cornell University)|2007. 02. 15.

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

한 줄 요약

이 논문은 정확하고 정당화된 방법으로 ORM2 개념적 모델링 언어를 $Δ\mathcal{DLR}_{ifd}$ 기술적 논리 언어로 매핑함으로써, 표현력과 결정 가능성을 유지하면서 ORM2 모델에 대한 자동 추론을 가능하게 한다. 이 매핑은 외부 유일성 및 역할 하위집합과 같은 핵심 ORM2 기능을 지원하여, 공통의 형식적 프레임워크 내에서 UML 및 EER 모델과의 상호운용성을 확립한다.

ABSTRACT

In recent years, several efforts have been made to enhance conceptual data modelling with automated reasoning to improve the model's quality and derive implicit information. One approach to achieve this in implementations, is to constrain the language. Advances in Description Logics can help choosing the right language to have greatest expressiveness yet to remain within the decidable fragment of first order logic to realise a workable implementation with good performance using DL reasoners. The best fit DL language appears to be the ExpTime-complete DLRifd. To illustrate trade-offs and highlight features of the modelling languages, we present a precise transformation of the mappable features of the very expressive (undecidable) ORM/ORM2 conceptual data modelling languages to exactly DLRifd. Although not all ORM2 features can be mapped, this is an interesting fragment because it has been shown that DLRifd can also encode UML Class Diagrams and EER, and therefore can foster interoperation between conceptual data models and research into ontological aspects of the modelling languages.

연구 동기 및 목표

• 결정 가능하고 성능이 우수한 기술적 논리 언어로 ORM2 개념적 데이터 모델을 매핑하여 자동 추론을 가능하게 하기 위해.
• ORM2에서 매핑 가능한 기능을 식별하고, $Δ\mathcal{DLR}_{ifd}$에 정확하게 인코딩할 수 있도록 형식화하며, 의미적 동치성을 유지하기 위해.
• UML 클래스 다이어그램과 EER도 알려진 $Δ\mathcal{DLR}_{ifd}$ 인코딩을 가지므로, ORM2를 이들과 통합함으로써 모델 간 상호운용성을 향상시키기 위해.
• 이전 매핑의 한계를 보완하기 위해, 모든 규칙가 $Δ\mathcal{DLR}_{ifd}$ 내에 있으며, 이전 연구에서 발견된 정확성 결함을 수정하기 위해.
• 다양한 개념적 모델링 언어 간 통합된 추론과 온톨로지 분석을 위한 기반을 마련하기 위해.

제안 방법

• 논문은 사실 유형, 제약 조건, 키, 역할 하위집합과 같은 ORM2 구조를 $Δ\mathcal{DLR}_{ifd}$ 언어의 등가 축약으로 정의한다.
• 기존 ORM2 모델과 동일한 만족 가능성(eki-satisfiability)을 보장함으로써 의미론적 정확성을 확보한다.
• $Δ\mathcal{DLR}_{ifd}$의 표현력을 활용하여 n-항 관계, 기능적 역할 및 역기능적 역할, 역할 계층을 지원함으로써 복잡한 ORM2 기능을 표현할 수 있다.
• 기존의 매핑에서 다른 DL 언어의 기능을 포함하는 것을 피하고, 모든 구조가 $Δ\mathcal{DLR}_{ifd}$의 결정 가능하고 ExpTime 완성인 부분에만 국한되도록 함으로써 오류를 수정한다.
• 표준 DL 지식 기반 구조에 따라 개념적 제약 조건을 TBox에, 인스턴스 수준의 사실을 ABox에 표현함으로써 접근을 정형화한다.
• NORMA 도구를 사용해 업데이트된 그림을 포함한 정밀한 증명과 가독성 향상을 통해 매핑을 검증한다.

실험 결과

연구 질문

• RQ1 ORM2 모델링 언어의 어떤 기능들이 $Δ\mathcal{DLR}_{ifd}$ 기술적 논리 언어로 정확하고 정당하게 매핑될 수 있는가?
• RQ2 ORM2 모델과 그 $Δ\mathcal{DLR}_{ifd}$ 인코딩 간의 의미적 동치성을 어떻게 유지할 수 있는가?
• RQ3 개념적 모델링에 $Δ\mathcal{DLR}_{ifd}$를 선택할 경우 표현력과 결정 가능성 간의 상호 교환 관계는 어떠한가?
• RQ4 이 매핑은 ORM2, UML 클래스 다이어그램, EER 모델 간의 상호운용성을 어떻게 향상시키는가?
• RQ5 이 매핑은 기존 ORM 또는 UML을 기술적 논리에 인코딩하려는 尝시의 단점을 어떻게 보완하는가?

주요 결과

• 모든 매핑 가능한 ORM2 기능, 특히 외부 유일성 및 역할 하위집합이 $Δ\mathcal{DLR}_{ifd}$ 언어 내에서 정확하게 표현되어 정확성과 동치성 만족 가능성을 보장한다.
• 논문은 전체 매핑에 대한 형식적 증명을 제공하여 이전 작업에서 발견된 모호성과 오류(예: Jarrar의 연구에서 발견된 오류)를 해결한다.
• $Δ\mathcal{DLR}_{ifd}$ 언어는 표현력과 결정 가능성(ExpTime 완성)의 균형을 고려할 때 ORM2의 적절한 타겟으로 적합하다는 게 입증된다.
• 이 매핑은 ORM2, UML 클래스 다이어그램, EER 모델 간의 원활한 상호운용성을 가능하게 하며, 이들 모두가 동일한 형식적 언어로 인코딩될 수 있음을 보여준다.
• 이 접근법은 복잡한 UML 구조, 예를 들어 자격화된 연관성과 연관 끝점 하위집합을 $Δ\mathcal{DLR}_{ifd}$에서 직접적으로 표현할 수 있음을 보여주며, 이는 이전 매핑을 확장한다.
• 표준 DL 리소서(예: Racer, Fact++)를 사용해 ORM2 모델에 대한 추론을 수행할 수 있으므로 실용적 적용성이 향상된다.