2019 • In Lutz, Carsten; Sattler, Uli; Tinelli, Cesareet al. (Eds.) Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
knowledge representation and reasoning; semantic web; description logics
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Britz, Katarina; Stellenbosch University
Casini, Giovanni ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas; University of Cape Town
Varzinczak, Ivan; Université d’Artois & CNRS
External co-authors :
yes
Language :
English
Title :
A KLM Perspective on Defeasible Reasoning for Description Logics
Publication date :
2019
Main work title :
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Author, co-author :
Turhan, Anni-Yasmin
Wolter, Frank
Editor :
Lutz, Carsten
Sattler, Uli
Tinelli, Cesare
Publisher :
Springer
ISBN/EAN :
978-3-030-22101-0
Collection name :
LNCS 11560
Pages :
147-173
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts