实体
DL-Lite Contraction and Revision
DL-Lite Contraction and Revision
PulseAugur coverage of DL-Lite Contraction and Revision — every cluster mentioning DL-Lite Contraction and Revision across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 3
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
新的DL本体语义增强了保密性和可查询性
研究人员为描述逻辑（DL）本体中的受控查询评估（CQE）引入了一种新的语义，旨在提高计算可查询性和保密性。现有的CQE的GA和IGA蕴含语义被发现对于DL-Lite_R本体在计算上是难以处理的，并且在IGA的情况下，可能无法完全满足不可区分性属性。提出的基于最小策略违规（MPV）的新语义提供了一种可靠的近似方法，同时确保了不可区分性，并且可以在DL-Lite_R本体的多项式时间内判定。
-
新方法增强了轻量级描述逻辑中的可废止推理
研究人员开发了一种处理描述逻辑（DLs）中可废止知识的新方法，特别关注DL-Lite系列轻量级逻辑。这种称为理性闭包（RC）的方法允许非单调推理，这意味着如果新信息与之矛盾，结论可能会被修改。该研究在RC下分析了权利和合取查询（CQ）应答，提出了一种即插即用架构，该架构与现有的经典推理器集成，以实现高效计算和最小开销。
-
新的逻辑 ELbotpreceq 扩展了支持图查询语言的 DL-Lite
研究人员推出了一种新的描述逻辑 ELbotpreceq，它扩展了 DL-Lite 并支持 NL 中的推理。该逻辑旨在可重写为图查询语言，解决了现有 DL-Lite 系统仅限于一阶查询的局限性。ELbotpreceq 包含一个分层机制来管理合取和递归，使其能够表达许多 ELI 和 DL-Lite 本体，同时保持 NL 上界。