PulseAugur
中
实时 12:19:17

研究人员探索将 Horn DL 本体拟合到 ABox 和查询示例

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了将 Horn 描述逻辑 (DL) 本体拟合到 ABox 和查询示例的新方法。该研究侧重于 EL 和 ELI DL，扩展了先前在 ALC 和 ALCI 上的工作，并考虑了原子查询、连接查询及其并集。研究结果包括基于模拟、决策过程和复杂度分析的特征，其中 AQ 的拟合问题对于 EL 和 ELI 均为 PTime，而对于根连接查询 (rooted CQs) 和统一连接查询 (UCQs) 则更为复杂。 AI

影响 推进了 DL 中知识表示和推理的理论理解，可能影响依赖结构化知识的 AI 系统。

排序理由 学术论文，详细介绍了描述逻辑本体的新方法和复杂度分析。

在 arXiv cs.AI 阅读 →

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

研究人员探索将 Horn DL 本体拟合到 ABox 和查询示例

本文如何被排名

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
学术论文，详细介绍了描述逻辑本体的新方法和复杂度分析。
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
paper, other
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
118 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Marvin Grosser, Carsten Lutz ·

    将 Horn DL 本体适配到 ABox 和查询示例：模拟量词与有限模型的叙事

    arXiv:2604.26976v1 Announce Type: cross Abstract: We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigated this problem for the expres…

相关实体

相关话题