Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results
This paper explores how reasoning over DL terminologies can be captured in argumentative terms, by establishing a translation into Assumption-Based Argumentation (ABA), a rule-based formalism comprising defeasible assumptions, where argumentation semantics are used to retrieve sets of jointly acceptable assumptions.
Giovanni Buraglio, Federica Di, M. Šimkus
· 0 citations