Towards Parallel Repair Using Decompositions

From International Center for Computational Logic
Toggle side column

Towards Parallel Repair Using Decompositions

Yue MaYue Ma,  Rafael PeñalozaRafael Peñaloza
Yue Ma, Rafael Peñaloza
Towards Parallel Repair Using Decompositions
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-05, 2014. LTCS-Report
  • KurzfassungAbstract
    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.
  • Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ MaPe-LTCS-14-05,
  address = {Dresden, Germany},
  author = {Yue {Ma} and Rafael {Pe{\~n}aloza}},
  institution = {Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit{\"a}t Dresden},
  note = {See \url{http://lat.inf.tu-dresden.de/research/reports.html}.},
  number = {14-05},
  title = {Towards Parallel Repair Using Decompositions},
  type = {LTCS-Report},
  year = {2014},
}