Adding Context to Tableaux for DLs

Weili FuWeili Fu, Rafael PeñalozaRafael Peñaloza

Download

Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012

Details
Bibtex

KurzfassungAbstract
We consider the problem of reasoning with ontologies where every axiom is associated to a context, and contexts are related through a total order. These contexts could represent, for example, a degree of trust associated to the axiom, or a level of granularity for the knowledge provided. We describe an extension of tableaux-based decision procedures into methods that compute the best-fitting context for the consequences of an ontology, and apply it to the tableaux algorithm for ALC. We also describe an execution strategy that preserves most of the standard optimizations used in modern DL reasoners.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ FuPe-DL12,
  address = {Rome, Italy},
  author = {Weili {Fu} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 2012 International Workshop on Description Logics ({DL'12})},
  editor = {Yevgeny {Kazakov} and Domenico {Lembo} and Frank {Wolter}},
  series = {CEUR-WS},
  title = {Adding Context to Tableaux for {DLs}},
  volume = {846},
  year = {2012},
}