Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (extended version)
Author
- Haebom
Category
Empty
저자
Lorenzo Marconi, Daniela Rieti, Riccardo Rosati
💡 개요
본 논문은 기술 논리(DL) 온톨로지 환경에서 인식론적 의존성(EDs)으로 표현된 기밀성 정책 하에서 제어된 쿼리 평가(CQE) 문제를 다룹니다. 기존의 GA- 및 IGA- 엔테일먼트 의미론으로는 연산 복잡도가 높고 기밀성 보존에 한계가 있음을 지적하며, 본 연구는 최소 정책 위반(MPV)이라는 새로운 의미론을 제안합니다. 이 새로운 의미론은 기존 의미론의 안전한 근사치를 제공하며 기밀성 보존 속성을 만족시키면서도 DL-Lite$_R$ 온톨로지의 경우 다항 시간 내에 쿼리 추론이 가능함을 보입니다.
🔑 시사점 및 한계
•
기존 CQE 방법론의 계산 복잡성과 기밀성 보존의 한계를 극복하는 새로운 MPV 의미론을 제안합니다.
•
MPV 의미론은 기존 의미론의 안전한 근사치를 제공하며, 중요한 기밀성 보존 속성인 비구별성을 만족시킵니다.
•
DL-Lite$_R$ 온톨로지의 경우, MPV 의미론 하에서의 쿼리 추론이 데이터 복잡성에서 다항 시간 내에 결정될 수 있음을 이론적으로 증명하고 실제 구현을 통해 타당성을 검증했습니다.
•
본 연구에서 제안된 MPV 의미론이 더 복잡한 DL 또는 기밀성 정책에 대해서도 효율적이고 기밀성을 보존하는지 여부에 대한 추가 연구가 필요합니다.
