A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
International Workshop on Description Logics
We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and its applications to concept forgetting, ontology obfuscation and logical difference on real-life ALC ontologies. Our results indicate that in many practical cases a uniform interpolant exists and can be computed with the presented algorithm.dblp:conf/dlog/LudwigK13 fatcat:w4bsub7ntza6fesfxqilbdbope