OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Ontological Analysis For Description Logics Knowledge Base Debugging

Corman, Julien and Aussenac-Gilles, Nathalie and Vieu, Laure Ontological Analysis For Description Logics Knowledge Base Debugging. (2015) In: 12th International Symposium on Logical Formalization on Commonsense Reasoning, part of the AAAI Spring Symposia (Commonsense 2015), 23 March 2015 - 25 March 2015 (Stanford, CA, United States).

(Document in English)

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

Official URL: https://www.aaai.org/ocs/index.php/SSS/SSS15/paper/viewFile/10290/10072


Formal ontology provides axiomatizations of domain independent principles which, among other applications,can be used to identify modeling errors within a knowledge base. The Ontoclean methodology is probably the best-known illustration of this strategy, but its cost in terms of manual work is often considered dissuasive. This article investigates the applicability of such debugging strategies to Description Logics knowledge bases, showing that even a partial and shallow analysis rapidly performed with a top-level ontology can reveal the presence of violations of common sense, and that the bottleneck, if there is one, may instead reside in the resolution of the resulting inconsistency or incoherence.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAI Press. This papers appears in volume ss-15-04I Reports Symposia Spring ISBN 978-1-57735-708-4 http://www.aaai.org/Press/Reports/Symposia/Spring/ss-15-04.php The definitive version is available at: https://www.aaai.org/ocs/index.php/SSS/SSS15/paper/viewFile/10290/10072
HAL Id:hal-01343045
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Consiglio Nazionale delle Ricerche - CNR (ITALY)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (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:22 Jun 2016 08:40

Repository Staff Only: item control page