新的DL本体语义增强了保密性和可查询性

研究人员为描述逻辑（DL）本体中的受控查询评估（CQE）引入了一种新的语义，旨在提高计算可查询性和保密性。现有的CQE的GA和IGA蕴含语义被发现对于DL-Lite_R本体在计算上是难以处理的，并且在IGA的情况下，可能无法完全满足不可区分性属性。提出的基于最小策略违规（MPV）的新语义提供了一种可靠的近似方法，同时确保了不可区分性，并且可以在DL-Lite_R本体的多项式时间内判定。 AI

影响 为知识表示系统中处理机密数据引入了一种更有效、更安全的方法。

排序理由 该集群包含一篇详细介绍描述逻辑本体和查询评估语义新理论贡献的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 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

• 论文
• 政策

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →