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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01343042
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, July 7, 2016 - 1:09:50 PM
Last modification on : Thursday, June 27, 2019 - 4:27:50 PM
Long-term archiving on : Saturday, October 8, 2016 - 12:00:36 PM

File

corman_15368.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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, part of JOWO – The Joint Ontology Workshops co-located with IJCAI 2015 (ONTOCHANGE 2015), Jul 2015, Buenos Aires, Argentina. pp. 1-8. ⟨hal-01343042⟩

Share

Metrics

Record views

181

Files downloads

46