Towards Parallel Repair: An Ontology Decomposition-based Approach

作者: Rafael Peñaloza , Yue Ma

DOI:

关键词:

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

参考文章(20)
Franz Baader, Carsten Lutz, Sebastian Brandt, Pushing the EL envelope international joint conference on artificial intelligence. pp. 364- 369 ,(2005)
Rafael Peñaloza Nyssen, Axiom-Pinpointing in Description Logics and Beyond Deutsche Nationalbibliothek. pp. 1- 144 ,(2009)
Aditya Kalyanpur, James Hendler, Debugging and repair of owl ontologies University of Maryland at College Park. ,(2006)
Sebastian Brandt, Polynomial time reasoning in a Description Logic with existential restrictions, GCI axioms, and—what else? european conference on artificial intelligence. pp. 298- 302 ,(2004)
Bijan Parsia, Ulrike Sattler, Matthew Horridge, Justification masking in ontologies principles of knowledge representation and reasoning. pp. 623- 627 ,(2012)
Olivier Bodenreider, Halit Erdoğan, Esra Erdem, Finding semantic inconsistencies in UMLS using answer set programming national conference on artificial intelligence. pp. 1927- 1928 ,(2010) , 10.5072/ZENODO.33820
Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Inconsistency-tolerant semantics for description logics web reasoning and rule systems. pp. 103- 117 ,(2010) , 10.1007/978-3-642-15918-3_9
Bariş Sertkaya, Rafael Peñaloza, On the complexity of axiom pinpointing in the EL family of description logics principles of knowledge representation and reasoning. pp. 280- 289 ,(2010)