Towards Parallel Repair: An Ontology Decomposition-based Approach

Ontology repair remains one of the main bottlenecks for the development of ontologies for practical use. Many automated methods have been developed for suggesting potential repairs, but ultimately human intervention is required for selecting the adequate one, and the human expert might be overwhelmed by the amount of information delivered to her. We propose a decomposition of ontologies into smaller components that can be repaired in parallel. We show the utility of our approach for ontology repair, provide algorithms for computing this decomposition through standard reasoning, and study the complexity of several associated problems.

[1]  Christian Meilicke,et al.  Alignment incoherence in ontology matching , 2011 .

[2]  Martin Gebser,et al.  Detecting Inconsistencies in Large Biological Networks with Answer Set Programming , 2008, ICLP.

[3]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[4]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[5]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[6]  Boontawee Suntisrivaraporn,et al.  Polynomial time reasoning support for design and maintenance of large-scale biomedical ontologies , 2008 .

[7]  Martin Halvey,et al.  WWW '07: Proceedings of the 16th international conference on World Wide Web , 2007, WWW 2007.

[8]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[9]  Bijan Parsia,et al.  Justification Masking in Ontologies , 2012, KR.

[10]  Rafael Peñaloza Nyssen.  Axiom-Pinpointing in Description Logics and Beyond , 2009 .

[11]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[12]  Rafael Peñaloza,et al.  On the Complexity of Axiom Pinpointing in the EL Family of Description Logics , 2010, KR.

[13]  Sebastian Brandt,et al.  Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? , 2004, ECAI.

[14]  Rafael Peñaloza,et al.  Axiom pinpointing in description logics and beyond , 2009 .

[15]  Olivier Bodenreider,et al.  Finding Semantic Inconsistencies in UMLS using Answer Set Programming , 2010, AAAI.

[16]  Yue Ma,et al.  Inconsistency measurement thanks to mus decomposition , 2014, AAMAS.

[17]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[18]  Ian Horrocks,et al.  Large-scale Interactive Ontology Matching: Algorithms and Implementation , 2012, ECAI.

[19]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[20]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[21]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..