Künstliche Intelligenz 34(4) - Dezember 2020http://dl.gi.de/handle/20.500.12116/362222026-07-21T14:37:30Z2026-07-21T14:37:30ZA Lightweight Defeasible Description Logic in DepthPensel, Maximilianhttp://dl.gi.de/handle/20.500.12116/363332021-04-23T09:42:44Z2020-01-01T00:00:00ZA Lightweight Defeasible Description Logic in Depth
Pensel, Maximilian
In this thesis we study KLM-style rational reasoning in defeasible Description Logics. We illustrate that many recent approaches to derive consequences under Rational Closure (and its stronger variants, lexicographic and relevant closure) suffer the fatal drawback of neglecting defeasible information in quantified concepts. We propose novel model-theoretic semantics that are able to derive the missing entailments in two differently strong flavours. Our solution introduces a preference relation to distinguish sets of models in terms of their typicality (amount of defeasible information derivable for quantified concepts). The semantics defined through the most typical (most preferred) sets of models are proven superior to previous approaches in that their entailments properly extend previously derivable consequences, in particular, allowing to derive defeasible consequences for quantified concepts. The dissertation concludes with an algorithmic characterisation of this uniform maximisation of typicality, which accompanies our investigation of the computational complexity for deriving consequences under these new semantics.
2020-01-01T00:00:00ZThe AAA ABox Abduction SolverPukancová, JúliaHomola, Martinhttp://dl.gi.de/handle/20.500.12116/363342021-04-23T09:42:44Z2020-01-01T00:00:00ZThe AAA ABox Abduction Solver
Pukancová, Júlia; Homola, Martin
AAA is a sound and complete ABox abduction solver based on the Reiter’s MHS algorithm and the Pellet reasoner. It supports DL expressivity up to $$\mathcal {SROIQ}$$ SROIQ (i.e., OWL 2). It supports multiple observations, and allows to specify abducibles.
2020-01-01T00:00:00ZSpecial Issue on Ontologies and Data Management: Part IISchneider, ThomasŠimkus, Mantashttp://dl.gi.de/handle/20.500.12116/363322021-04-23T09:42:44Z2020-01-01T00:00:00ZSpecial Issue on Ontologies and Data Management: Part II
Schneider, Thomas; Šimkus, Mantas
2020-01-01T00:00:00ZDefeasible Description LogicsVarzinczak, Ivanhttp://dl.gi.de/handle/20.500.12116/363352021-04-23T09:42:44Z2020-01-01T00:00:00ZDefeasible Description Logics
Varzinczak, Ivan
The present paper is a summary of a habilitation ( Habilitation à Diriger des Recherches , in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stéphane Demri, Hans van Ditmarsch, Sébastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26 November 2019 at Université d’Artois in Lens, France.
2020-01-01T00:00:00Z