Rewriting concepts using terminologies (2000)

by Franz Baader, Ralf Küsters, Ralf Molitor
Venue:Proc. of the 7th Int. Conf. on Knowledge Representation and Reasoning KR ’2000