Rewriting concepts using terminologies (2000)

by F Baader, R Küsters, R Molitor
Venue:In Proc. of KR 2000