Alessandro Artale Enrico Franconi Frank Wolter Michael Zakharyaschev A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. 98-110 2002 conf/jelia/2002 JELIA http://link.springer.de/link/service/series/0558/bibs/2424/24240098.htm db/conf/jelia/jelia2002.html#ArtaleFWZ02