Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
From MaRDI portal
Publication:2401927
DOI10.1007/978-3-319-61660-5_9zbMath1491.68206OpenAlexW2733315687MaRDI QIDQ2401927
Anni-Yasmin Turhan, Maximilian Pensel
Publication date: 5 September 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_9
Related Items
Reasoning on with Defeasibility in ASP, Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics, A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, Contextual rational closure for defeasible \(\mathcal{ALC} \), Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure