A temporal description logic for reasoning about conceptual schemas and queries (2002)

by A Artale, E Franconi, F Wolter, M Zakharyaschev
Venue:In