Brave and Cautious Reasoning in EL

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Brave and Cautious Reasoning in EL

Michel LudwigMichel Ludwig,  Rafael PeñalozaRafael Peñaloza
Michel Ludwig, Rafael Peñaloza
Brave and Cautious Reasoning in EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 274-286, 2014
  • 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 introduce brave and cautious reasoning and show that it is hard for EL. We then 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
@inproceedings{ LuPe-DL14,
  address = {Vienna, Austria},
  author = {Michel {Ludwig} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 27th International Workshop on Description Logics ({DL'14})},
  editor = {Meghyn {Bienvenu} and Magdalena {Ortiz} and Riccardo {Rosati} and Mantas {Simkus}},
  pages = {274--286},
  series = {CEUR Workshop Proceedings},
  title = {Brave and Cautious Reasoning in EL},
  volume = {1193},
  year = {2014},
}