Rewriting concepts using terminologies. (2000)

by F Baader, R Kusters, R Molitor
Venue:Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000),