OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Prioritized base Debugging in Description Logics

Corman, Julien and Aussenac-Gilles, Nathalie and Vieu, Laure Prioritized base Debugging in Description Logics. (2015) In: 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), 26 July 2015 (Buenos Aires, Argentina).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ceur-ws.org/Vol-1517/JOWO-15_OntoChange_paper_1.pdf


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to CEUR editor. The definitive version is available at http://ceur-ws.org/ This paper appears in vol 1517 Ceur Workshop Proceedings ISSN : 1613-0073 http://ceur-ws.org/Vol-1517/ The definitive version is available at: http://ceur-ws.org/Vol-1517/JOWO-15_OntoChange_paper_1.pdf
HAL Id:hal-01343042
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:21 Jun 2016 15:03

Repository Staff Only: item control page