Deciding subsumption in defeasible ELI_ with typicality models

DOI10.1007/978-3-031-43619-2_36MaRDI QIDQ6545562zbMATH OpenFDO

Authors Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan

Publication date 29 May 2024

zbMATH Keywords

nonmonotonic reasoningdescription logicsdefeasible logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure
• A KLM perspective on defeasible reasoning for description logics
• Defeasible inclusions in low-complexity DLs

Cites work

• A non-monotonic description logic for reasoning about typicality
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• An introduction to description logic
• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
• Rational Closure for Defeasible Description Logics
• Rational closure for all description logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Relevant closure: a new form of defeasible reasoning for description logics
• \({\mathcal{ALC}}+T\): a preferential extension of description logics

This page was built for publication: Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models

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