Reasoning with justifiable exceptions in EL_ contextualized knowledge repositories

DOI10.1007/978-3-030-22102-7_5MaRDI QIDQ2185461zbMATHOpenAlexFDO

Authors Loris Bozzato, Thomas Eiter, Luciano Serafini

Publication date 4 June 2020

Full work available at URL https://doi.org/10.1007/978-3-030-22102-7_5

Mathematics Subject Classification ID

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

Recommendations

• Enhancing context knowledge repositories with justifiable exceptions
• Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
• Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
• Contextual rational closure for defeasible \(\mathcal{ALC} \)
• Rationality and context in defeasible subsumption

Cited in

(6)

• Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP
• Reasoning on with Defeasibility in ASP
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Enhancing context knowledge repositories with justifiable exceptions
• Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
• Introduction to the Special Issue on the International Joint Conference on Rules and Reasoning, RuleML+RR 2019

This page was built for publication: Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories

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