Reference : A KLM Perspective on Defeasible Reasoning for Description Logics
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
Computational Sciences
A KLM Perspective on Defeasible Reasoning for Description Logics
Britz, Katarina mailto [Stellenbosch University]
Casini, Giovanni mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas mailto [University of Cape Town]
Varzinczak, Ivan mailto [Université d’Artois & CNRS]
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Turhan, Anni-Yasmin
Wolter, Frank
Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
LNCS 11560
[en] knowledge representation and reasoning ; semantic web ; description logics
[en] In this paper we present an approach to defeasible reasoning for the description logic ALC. The results discussed here are based on work done by Kraus, Lehmann and Magidor (KLM) on defeasible conditionals in the propositional case. We consider versions of a preferential semantics for two forms of defeasible subsumption, and link these semantic constructions formally to KLM-style syntactic
properties via representation results. In addition to showing that the semantics is appropriate,
these results pave the way for more effective decision procedures for defeasible reasoning in description logics. With the semantics of the defeasible version of ALC in place, we turn to the investigation of an appropriate form of defeasible entailment for this enriched version of ALC. This investigation includes an algorithm for the computation of a form of defeasible entailment known as rational closure in the propositional case. Importantly, the algorithm relies completely on classical
entailment checks and shows that the computational complexity of reasoning over defeasible ontologies is no worse than that of the underlying classical ALC. Before concluding, we take a brief tour of some existing work on defeasible extensions of ALC that go beyond defeasible subsumption.
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

Open access
Franzschrift_preprint.pdfAuthor preprint472.75 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.