Reasoning on \textit{DL-Lite}_\mathcal{R} with Defeasibility in ASP

DOI10.1007/978-3-030-31095-0_2MaRDI QIDQ6488955zbMATH OpenFDO

Authors Loris Bozzato, Thomas Eiter, Luciano Serafini

Publication date 14 March 2024

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning on with Defeasibility in ASP
• Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
• A KLM perspective on defeasible reasoning for description logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)

Cited in

(1)

• Reasoning on with Defeasibility in ASP

This page was built for publication: Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488955)