Ontological Analysis For Description Logics Knowledge Base Debugging - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Ontological Analysis For Description Logics Knowledge Base Debugging

Résumé

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.
Fichier principal
Vignette du fichier
corman_15364.pdf (133.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01343045 , version 1 (07-07-2016)

Identifiants

  • HAL Id : hal-01343045 , version 1
  • OATAO : 15364

Citer

Julien Corman, Nathalie Aussenac-Gilles, Laure Vieu. Ontological Analysis For Description Logics Knowledge Base Debugging. 12th International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2015), Mar 2015, Stanford, CA, United States. pp.60-63. ⟨hal-01343045⟩
122 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More