Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics

DOI10.1016/j.ijar.2018.08.005zbMath1448.68399OpenAlexW2888896672WikidataQ129330294 ScholiaQ129330294MaRDI QIDQ1726275

Anni-Yasmin Turhan, Maximilian Pensel

Publication date: 20 February 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2018.08.005

zbMATH Keywords

description logicsdefeasible reasoningsubsumptioninstance checking

Mathematics Subject Classification ID

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

Related Items (9)

On the KLM properties of a fuzzy DL with typicality ⋮ Reasoning on with Defeasibility in ASP ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ A reconstruction of multipreference closure ⋮ Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Rational closure for all description logics ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Cites Work

• Unnamed Item
• Semantic characterization of rational closure: from propositional logic to description logics
• Nonmonotonic reasoning, preferential models and cumulative logics
• Model theory
• Understanding the complexity of axiom pinpointing in lightweight description logics
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
• Introducing Role Defeasibility in Description Logics
• Defeasible Inheritance-Based Description Logics
• Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
• An Introduction to Description Logic
• Rational Closure for Defeasible Description Logics

This page was built for publication: Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics