A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.

Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev

Browse the full JELIA paper archive.