Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies

Patrick Koopmann, Renate A. Schmidt. Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. In Kenneth L. McMillan, Aart Middeldorp, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Volume 8312 of Lecture Notes in Computer Science, pages 552-567, Springer, 2013. [doi]

Authors

Patrick Koopmann

This author has not been identified. Look up 'Patrick Koopmann' in Google

Renate A. Schmidt

This author has not been identified. Look up 'Renate A. Schmidt' in Google