Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference

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

Toggle side column

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference

Michel LudwigMichel Ludwig,  Boris KonevBoris Konev
Michel Ludwig, Boris Konev
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014. AAAI Press
  • KurzfassungAbstract
    We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem for real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ LuKo-KR-2014,
  author = {Michel {Ludwig} and Boris {Konev}},
  booktitle = {Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14)},
  editor = {Chitta {Baral} and Giuseppe De {Giacomo} and Thomas {Eiter}},
  publisher = {AAAI Press},
  title = {Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference},
  year = {2014},
}