2 papers
cs.AI2026
Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure
Giovanni Casini, Umberto Straccia
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 stu…
cs.AI2025
Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Nicholas Leisegang, Giovanni Casini, Thomas Meyer
Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge…