{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:54:55Z","timestamp":1770998095907,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540441908","type":"print"},{"value":"9783540457572","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_9","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"98-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Artale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Franconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, L. Herr, and J. Van den Bussche. Temporal versus first-order logic to query temporal databases. In Proc. of the 15th ACMSIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS\u201996), pages 49\u201357, 1996.","DOI":"10.1145\/237661.237674"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"A. Artale and E. Franconi. Reasoning with enhanced temporal entity-relationship models. In Proc. of the InternationalWorkshop on Spatio-Temporal Data Models and Languages. IEEE Computer Society Press, August 1999.","DOI":"10.1109\/DEXA.1999.795231"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. ofthe International Conference on Conceptual Modeling (ER\u201999). Springer-Verlag, November 1999.","DOI":"10.1007\/3-540-47866-3_6"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"A. Artale and E. Franconi. A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence, 30(1\u20134), 2001.","DOI":"10.1023\/A:1016636131405"},{"key":"9_CR5","unstructured":"F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002."},{"key":"9_CR6","unstructured":"A. Borgida and R. J. Brachman. Conceptual modelling with description logics. In Baader et al. [5]."},{"key":"9_CR7","unstructured":"A. Borgida, M. Lenzerini, and R. Rosati. Description logics for databases. In Baader et al. [5]."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"A. Cal\u00ec D. Calvanese, G. De Giacomo, and M. Lenzerini. A formal framework for reasoning on UML class diagrams. In Proc. of the 13th Int. Sym. on Methodologies for Intelligent Systems (ISMIS 2002), 2002.","DOI":"10.1007\/3-540-48050-1_54"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS\u201998), pages 149\u2013158, 1998.","DOI":"10.1145\/275487.275504"},{"key":"9_CR10","unstructured":"D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Chomicki and Saake [13]."},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","volume":"11","author":"D. Calvanese","year":"1999","unstructured":"D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms. J. of Artificial Intelligence Research, 11:199\u2013240, 1999.","journal-title":"J. of Artificial Intelligence Research"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"J. Chomicki. Temporal query languages: a survey. In Proc. of the 1st International Conference on Temporal Logic (ICTL\u201994), pages 506\u2013534, 1994.","DOI":"10.1007\/BFb0014006"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5"},{"key":"9_CR14","unstructured":"J. Chomicki and D. Toman. Temporal logic in information systems. In Chomicki and Saake [13], chapter 1."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"E. Franconi, F. Grandi, and F. Mandreoli. A semantic approach for schema evolution and versioning in object-oriented databases. In Proc. of the 1st International Conf. on Computational Logic (CL\u20192000), DOOD stream. Springer-Verlag, July 2000.","DOI":"10.1007\/3-540-44957-4_70"},{"key":"9_CR16","unstructured":"E. Franconi and G. Ng. The ICOM tool for intelligent conceptual modelling. In Proc. of the 7th International Workshop on Knowledge Representation meets Databases (KRDB\u20192000), 2000."},{"key":"9_CR17","unstructured":"D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic. Elsevier, 2002. To appear."},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1109\/69.774104","volume":"11","author":"H. Gregersen","year":"1999","unstructured":"H Gregersen and J. S. Jensen. Temporal Entity-Relationship models-a survey. IEEE Transactions on Knowledge and Data Engineering, 11(3):464\u2013497, 1999.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I. Hodkinson","year":"2000","unstructured":"I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85\u2013134, 2000.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"M. Jarke, C. Quix, D. Calvanese, M. Lenzerini, E. Franconi, S. Ligoudistiano, P. Vassiliadis, and Y. Vassiliou. Concept based design of data warehouses: The DWQ demonstrators. In 2000 ACM SIGMOD Intl. Conference on Management of Data, 2000.","DOI":"10.1145\/342009.336570"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA\u201993, October 1993.","DOI":"10.1007\/3-540-57287-2_41"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"S. Spaccapietra, C. Parent, and E. Zimanyi. Modeling time from a conceptual perspective. In Int. Conf. on Information and Knowledge Management (CIKM98), 1998.","DOI":"10.1145\/288627.288693"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"H. Sturm and F. Wolter. A tableau calculus for temporal description logic: the expanding domain case. Journal of Logic and Computation, 2002. To appear.","DOI":"10.1093\/logcom\/12.5.809"},{"key":"9_CR24","unstructured":"P. van Emde Boas. The convenience of tiling. Technical Report CT-96-01, ILLC\u2014Univ. ofAmsterdam, 1996."},{"key":"9_CR25","unstructured":"F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In Proc. of the 6 th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 512\u2013523, Trento, Italy, June 1998."},{"issue":"4","key":"9_CR26","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1999-39405","volume":"39","author":"F. Wolter","year":"1999","unstructured":"F. Wolter and M. Zakharyaschev. Modal description logics: Modalizing roles. Fundamenta Informaticae, 39(4):411\u2013438, 1999.","journal-title":"Fundamenta Informaticae"},{"key":"9_CR27","unstructured":"F. Wolter and M. Zakharyaschev. Multi-dimensional description logics. In Proc. of IJCAI\u201999, pages 104\u2013109, 1999."},{"key":"9_CR28","unstructured":"F. Wolter and M. Zakharyaschev. Temporalizing description logics. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems, pages 379\u2013401. Studies Press-Wiley, 1999."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,27]],"date-time":"2020-04-27T08:44:58Z","timestamp":1587977098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"20 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}