Preferential tableaux for contextual defeasible ALC

DOI10.1007/978-3-030-29026-9_3MaRDI QIDQ2180505zbMATH OpenOpenAlexFDO

Authors Katarina Britz, Ivan Varzinczak

Publication date 14 May 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29026-9_3

zbMATH Keywords

contextsdefeasible reasoningdescription logicstableaux

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• Rationality and context in defeasible subsumption
• A KLM perspective on defeasible reasoning for description logics
• Introducing role defeasibility in description logics
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies

Cited in

(6)

• Rationality and context in defeasible subsumption
• Enhancing context knowledge repositories with justifiable exceptions
• Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• Introducing role defeasibility in description logics
• On the decidability of a fragment of preferential LTL

This page was built for publication: Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)

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