Skip to Main content Skip to Navigation
Conference papers

Prioritized base Debugging in Description Logics

Abstract : The problem investigated is the identification within an input knowledge base of axioms which should be preferably discarded (or amended) in order to restore consistency, coherence, or get rid of undesired consequences. Most existing strategies for this task in Description Logics rely on conflicts, either computing all minimal conflicts beforehand, or generating conflicts on demand, using diagnosis. The article studies how prioritized base revision can be effectively applied in the former case. The first main contribution is the observation that for each axiom appearing in a minimal conflict, two bases can be obtained for a negligible cost, representing what part of the input knowledge must be preserved if this axiom is discarded or retained respectively, and which may serve as a basis to obtain a semantically motivated preference relation over these axioms. The second main contributions is an algorithm which, assuming this preference relation is known, selects some of the maximal consistent/coherent subsets of the input knowledge base accordingly, without the need to compute all of of them.
Keywords : Description logics
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Thursday, July 7, 2016 - 1:09:50 PM
Last modification on : Wednesday, June 29, 2022 - 3:08:17 PM
Long-term archiving on: : Saturday, October 8, 2016 - 12:00:36 PM


Files produced by the author(s)


  • HAL Id : hal-01343042, version 1
  • OATAO : 15368


Julien Corman, Nathalie Aussenac-Gilles, Laure Vieu. Prioritized base Debugging in Description Logics. 1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases (ONTOCHANGE 2015) part of JOWO @ IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.1-8. ⟨hal-01343042⟩



Record views


Files downloads