Error-Tolerant Reasoning in the Description Logic EL

From International Center for Computational Logic

Toggle side column

Error-Tolerant Reasoning in the Description Logic EL

Michel LudwigMichel Ludwig,  Rafael PeñalozaRafael Peñaloza
Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic EL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 107-121, 2014. Springer
  • KurzfassungAbstract
    Developing and maintaining ontologies is an expensive and error-prone task. After an error is detected, users may have to wait for a long time before a corrected version of the ontology is available. In the meantime, one might still want to derive meaningful knowledge from the ontology, while avoiding the known errors. We study error-tolerant reasoning tasks in the description logic EL. While these problems are intractable, we propose methods for improving the reasoning times by precompiling information about the known errors and using proof-theoretic techniques for computing justifications. A prototypical implementation shows that our approach is feasible for large ontologies used in practice.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ LuPe-JELIA14,
  address = {Madeira, Portugal},
  author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 14th European Conference on Logics in Artificial Intelligence {(JELIA'14)}},
  editor = {Eduardo {Ferm{\'e}} and Jo{\~a}o {Leite}},
  pages = {107--121},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Error-Tolerant Reasoning in the Description Logic EL},
  volume = {8761},
  year = {2014},
}