Dynamic description logic model for data integration
The description logic handbook: theory, implementation, and applications