PulseAugur
EN
LIVE 11:54:42

New method enhances defeasible reasoning in DL-Lite logics

By PulseAugur Editorial · [2 sources] ·

Researchers have developed a new approach for handling defeasible knowledge in Description Logics (DLs) using Rational Closure (RC). This method is applied to the DL-Lite family of lightweight description logics, focusing on both instance checking and Conjunctive Query (CQ) answering. The contribution includes a plug-in architecture that integrates with existing classical reasoners, demonstrating that RC-based reasoning and CQ answering for DL-Lite can be performed efficiently with minimal computational overhead. AI

IMPACT This research could improve the efficiency of knowledge representation and reasoning systems, particularly in applications requiring handling of uncertain or defeasible information.

RANK_REASON Academic paper detailing a new reasoning method for description logics. [lever_c_demoted from research: ic=1 ai=1.0]

Read on Hugging Face Daily Papers →

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

New method enhances defeasible reasoning in DL-Lite logics

COVERAGE [2]

  1. arXiv cs.AI TIER_1 English(EN) · Giovanni Casini (CNR - ISTI, University of Cape Town), Umberto Straccia (CNR - ISTI) ·

    Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

    arXiv:2606.24279v1 Announce Type: new Abstract: In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn varian…

  2. Hugging Face Daily Papers TIER_1 English(EN) ·

    Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

    In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn variants of the DL-Lite family of lightweight descript…

RELATED ENTITIES

RELATED TOPICS