# An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

arXiv: https://arxiv.org/abs/2006.04387 · HTML: https://mlsanity.com/paper/2006.04387/

## Key facts

- Cited by 12 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Jun 2020.

## Built on by (most cited first, 12 of 12)

- [A conditional, a fuzzy and a probabilistic interpretation of self-organising maps](https://mlsanity.com/paper/2103.06854/) (2021)
- [On the KLM properties of a fuzzy DL with Typicality](https://mlsanity.com/paper/2106.00390/) (2021)
- [Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures](https://mlsanity.com/paper/2108.03100/) (2021)
- [An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases](https://mlsanity.com/paper/2202.01123/) (2022)
- [Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach](https://mlsanity.com/paper/2109.08286/) (2021)
- [Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality](https://mlsanity.com/paper/2303.04534/) (2023)
- [From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back](https://mlsanity.com/paper/2110.03643/) (2021)
- [A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality](https://mlsanity.com/paper/2305.00304/) (2023)
- [From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview](https://mlsanity.com/paper/2107.04870/) (2021)
- [Temporal Many-valued Conditional Logics: a Preliminary Report](https://mlsanity.com/paper/2409.09069/) (2024)
- [A framework for Conditional Reasoning in Answer Set Programming](https://mlsanity.com/paper/2506.03997/) (2025)
- [Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)](https://mlsanity.com/paper/2604.26977/) (2026)

## Abstract (arXiv)

In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked TBoxes containing defeasible concept inclusions. Preferences are combined to define a preferential interpretation in which defeasible inclusions can be evaluated. The construction of the concept-aware multipreference semantics is related to Brewka's framework for qualitative preferences. We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL+bot. The paper is under consideration for acceptance in TPLP.