New DL Ontology Semantics Enhance Confidentiality and Tractability

Researchers have introduced a new semantics for Controlled Query Evaluation (CQE) in Description Logic (DL) ontologies, aiming to improve computational tractability and confidentiality preservation. The existing GA- and IGA-entailment semantics for CQE have been found to be computationally intractable for DL-Lite_R ontologies and, in the case of IGA, may not fully satisfy indistinguishability properties. The proposed new semantics, based on minimal policy violation (MPV), offers a sound approximation while ensuring indistinguishability and can be decided in polynomial time for DL-Lite_R ontologies. AI

IMPACT Introduces a more efficient and secure method for handling confidential data within knowledge representation systems.

RANK_REASON The cluster contains a research paper detailing new theoretical contributions to Description Logic ontologies and query evaluation semantics. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

• Controlled Query Evaluation in Ontology-Based Data Access
• Description Logic
• DL-Lite Contraction and Revision
• DL-Lite_R
• Epistemic Dependencies
• GA-entailment
• IGA-entailment
• minimal policy violation
• mpv
• OWL 2 QL

• paper
• policy

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →