Rewriting concepts using terminologies (2000)

by F Baader, R Küsters, R Molitor