Skip to content
Sagan

Paper

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

Unreadunread

AI summary

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.