Catalogue of Anti-Patterns for formal Ontology debugging

Oscar Corcho (1) , Catherine Roussey (2) , Luis Manuel Vilches Blazquez (1)

1 OEG - Ontology Engineering Group, Universidad Politécnica de Madrid
2 DRIM - Distribution, Recherche d'Information et Mobilité

Debugging of inconsistent OWL ontologies is normally a tedious and time-consuming task where a combination of ontology engineers and domain expert is often required to understand whether the changes to be performed in order to make the OWL ontology consistent are actually changing the intended meaning of the original knowledge model. This task is aided by existing ontology debugging systems, incorporated in existing reasoners and ontology engineering tools, which ameliorate this problem but in complex cases are still far from providing adequate support to ontology engineers, due to lack of efficiency or lack of precision in determining the main causes for inconsistencies. In this paper we describe a set of anti-patterns commonly found in OWL ontologies, which can be useful in the task of ontology debugging in combination with those debugging tools.

Mots clés: Ontologies; OWL; Correction d’Erreurs; AntiPattern; Debugger

Domaines: Informatique [cs]

Oscar Corcho, Catherine Roussey, Luis Manuel Vilches Blazquez. Catalogue of Anti-Patterns for formal Ontology debugging. Conférence francophone sur l'apprentissage automatique (AFIA 2009 )Atelier Construction d ontologies : vers un guide des bonnes pratiques,, May 2009, Hammamet, Tunisia. pp.11. ⟨hal-01437682⟩