#description-logic News & Analysis

2 articles tagged with #description-logic. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AINeutralarXiv – CS AI · 3d ago5/10

🧠

The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics in ELbot

This paper addresses ABox abduction in description logic EL_bot by investigating hypotheses that satisfy multiple desired properties simultaneously under repair semantics. The research demonstrates that combining signature restrictions with optimality criteria often does not increase computational complexity, advancing the theoretical foundations of knowledge base repair.

AINeutralarXiv – CS AI · Mar 34/104

🧠

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams

Researchers propose new methods for real-time reasoning over streaming data using Description Logic, addressing challenges of high-velocity data processing and inconsistency handling. The work introduces incremental algorithms for maintaining data materialization over sliding windows, with applications in OWL2 RL reasoning systems.