Deciding subsumption in defeasible ELI_ with typicality models
From MaRDI portal
Publication:6545562
DOI10.1007/978-3-031-43619-2_36MaRDI QIDQ6545562FDOQ6545562
Authors: Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan 
Publication date: 29 May 2024
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
- \({\mathcal{ALC}}+T\): a preferential extension of description logics
- Rational Closure for Defeasible Description Logics
- A non-monotonic description logic for reasoning about typicality
- An introduction to description logic
- A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
- 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}\)
- Relevant closure: a new form of defeasible reasoning for description logics
- Rational closure for all 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)
