实体
description logic
description logic
PulseAugur coverage of description logic — every cluster mentioning description logic across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
3
90 天内 3
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
新方法增强了DL-Lite逻辑中的可废止推理
研究人员开发了一种使用理性闭包（RC）处理描述逻辑（DLs）中可废止知识的新方法。该方法应用于DL-Lite系列轻量级描述逻辑，重点关注实例检查和合取查询（CQ）应答。该贡献包括一个与现有经典推理器集成的插件架构，证明了基于RC的推理和DL-Lite的CQ应答可以高效地执行，且计算开销极小。
-
新方法在转换后推断属性图模式
研究人员开发了一种在新方法，用于在转换后推断属性图中的模式约束。该方法使用一种推理过程，该过程接受输入模式和转换查询以推断输出模式，而无需分析图实例。该系统将属性图映射到RDF，将ProGS映射到SHACL，并将G-CORE映射到SPARQL CONSTRUCT查询，从而能够通过高效的描述逻辑推理器进行模式推断。
-
人工智能研究为描述逻辑知识库的形式化对比解释
研究人员引入了一种名为对比解释的新型人工智能解释方法，旨在通过与一个合理的替代方案进行对比来阐明某个特定事实为何为真。该方法通过考虑用户的视角和先验知识，超越了仅仅详细说明推理步骤的局限性。提出的框架在描述逻辑中形式化了对比问题，探讨了相关属性并提供了带有实验验证的实现。