PulseAugur
EN
LIVE 13:00:08

Researchers explore fitting Horn DL ontologies to ABox and query examples

By PulseAugur Editorial · [1 sources] ·

Researchers have developed new methods for fitting Horn Description Logic (DL) ontologies to ABox and query examples. The study focuses on EL and ELI DLs, extending previous work on ALC and ALCI, and considers atomic queries, conjunctive queries, and their unions. The findings include characterizations based on simulations, decision procedures, and complexity analyses, with fitting problems for AQs being PTime for both EL and ELI, and more complex for rooted CQs and UCQs. AI

IMPACT Advances theoretical understanding of knowledge representation and reasoning in DLs, potentially impacting AI systems that rely on structured knowledge.

RANK_REASON Academic paper detailing new methods and complexity analysis for description logic ontologies.

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

Researchers explore fitting Horn DL ontologies to ABox and query examples

How we ranked this

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Research
Academic paper detailing new methods and complexity analysis for description logic ontologies.
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.

Full methodology in our editorial standards.

COVERAGE [1]

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

    Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

    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…

RELATED ENTITIES

RELATED TOPICS