description logic
PulseAugur coverage of description logic — every cluster mentioning description logic across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
新的混合MKNF知识库用经典否定扩展逻辑编程
研究人员开发了一种混合MKNF知识库的扩展，该扩展将经典否定纳入规则组件。这一进展解决了现有系统的一个关键限制，即以前无法表示明确的负面知识，而这是安全关键型应用的一个关键方面。新框架正式定义了其语法和语义，并包含了一个计算其良基模型的程序。
-
新的DL本体语义增强了保密性和可查询性
研究人员为描述逻辑（DL）本体中的受控查询评估（CQE）引入了一种新的语义，旨在提高计算可查询性和保密性。现有的CQE的GA和IGA蕴含语义被发现对于DL-Lite_R本体在计算上是难以处理的，并且在IGA的情况下，可能无法完全满足不可区分性属性。提出的基于最小策略违规（MPV）的新语义提供了一种可靠的近似方法，同时确保了不可区分性，并且可以在DL-Lite_R本体的多项式时间内判定。
-
新的自动机方法在描述逻辑上实现了EXPTIME
这篇研究论文介绍了一种基于自动机的分析具有具体域的描述逻辑的方法，旨在确定一致性问题的可判定性和复杂度。所提出的方法通过符号约束丰富了转换，在特定具体域属性下，实现了非空性问题的最优上界EXPTIME。作者们证明了该方法可以扩展到包含逆角色和函数角色名称等特性，同时保持EXPTIME成员资格，突显了约束自动机的鲁棒性。
-
新方法增强了轻量级描述逻辑中的可废止推理
研究人员开发了一种处理描述逻辑（DLs）中可废止知识的新方法，特别关注DL-Lite系列轻量级逻辑。这种称为理性闭包（RC）的方法允许非单调推理，这意味着如果新信息与之矛盾，结论可能会被修改。该研究在RC下分析了权利和合取查询（CQ）应答，提出了一种即插即用架构，该架构与现有的经典推理器集成，以实现高效计算和最小开销。
-
新方法在转换后推断属性图模式
研究人员开发了一种在新方法，用于在转换后推断属性图中的模式约束。该方法使用一种推理过程，该过程接受输入模式和转换查询以推断输出模式，而无需分析图实例。该系统将属性图映射到RDF，将ProGS映射到SHACL，并将G-CORE映射到SPARQL CONSTRUCT查询，从而能够通过高效的描述逻辑推理器进行模式推断。
-
人工智能研究为描述逻辑知识库的形式化对比解释
研究人员引入了一种名为对比解释的新型人工智能解释方法，旨在通过与一个合理的替代方案进行对比来阐明某个特定事实为何为真。该方法通过考虑用户的视角和先验知识，超越了仅仅详细说明推理步骤的局限性。提出的框架在描述逻辑中形式化了对比问题，探讨了相关属性并提供了带有实验验证的实现。