Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies

Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio

doi:10.24963/ijcai.2025/494

Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies

Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4436-4444.

https://doi.org/10.24963/ijcai.2025/494

Keywords

Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning
Knowledge Representation and Reasoning: KRR: Description logics and ontologies

Abstract

We propose a general framework for assessing the exposure of sensitive knowledge in policy-protected knowledge bases (KBs), where knowledge is represented as logical theories and data protection policies are defined declaratively using epistemic dependencies. The framework models scenarios in which confidential parts of the KB may be publicly known due to security breaches. We study two fundamental decision problems: determining whether the exposed knowledge violates the data protection policy (leakage), and whether there exists a secure view of the KB that complies with the policy. We analyze the computational complexity (specifically, data complexity) of these problems, focusing on the DL-Lite_R and EL_\bot Description Logics. Our findings show that, for DL-Lite_R with restricted forms of policy, both the problems can be efficiently solved through query rewriting methods. For EL_\bot, we establish conditions for tractable computational bounds. Our results highlight the potential of this framework for practical applications in confidentiality-preserving knowledge management.

Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, and Domenico Fabio Savo. 2025. Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4436–4444. https://doi.org/10.24963/ijcai.2025/494

@inproceedings{ijcai2025p494,
  title     = {Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies},
  author    = {Cima, Gianluca and Lembo, Domenico and Marconi, Lorenzo and Rosati, Riccardo and Savo, Domenico Fabio},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4436--4444},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/494},
  url       = {https://doi.org/10.24963/ijcai.2025/494},
}

TY  - CPAPER
TI  - Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies
AU  - Cima, Gianluca
AU  - Lembo, Domenico
AU  - Marconi, Lorenzo
AU  - Rosati, Riccardo
AU  - Savo, Domenico Fabio
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4436
EP  - 4444
DO  - 10.24963/ijcai.2025/494
UR  - https://doi.org/10.24963/ijcai.2025/494
ER  -