{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:29:33Z","timestamp":1725568173463},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405597"},{"type":"electronic","value":"9783540450856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45085-6_6","type":"book-chapter","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T13:13:30Z","timestamp":1288098810000},"page":"60-74","source":"Crossref","is-referenced-by-count":5,"title":["The Complexity of Finite Model Reasoning in Description Logics"],"prefix":"10.1007","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]},{"given":"Lidia","family":"Tendera","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2002","key":"6_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2002)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1007\/3-540-45465-9_71","volume-title":"Automata, Languages and Programming","author":"M. Bojanczyk","year":"2002","unstructured":"Bojanczyk, M.: Two-way alternating automata and finite models. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, p. 833. Springer, Heidelberg (2002)"},{"key":"6_CR3","volume-title":"Proc. of PODS-1998","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of PODS-1998. ACM Press, New York (1998)"},{"key":"6_CR4","volume-title":"Logics for Databases and Information Systems","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Logics for Databases and Information Systems. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"6_CR5","volume-title":"Proc. of KR-1996","author":"D. Calvanese","year":"1996","unstructured":"Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR-1996, Morgan Kaufmann, San Francisco (1996)"},{"key":"6_CR6","volume-title":"Proc. of KR-1996","author":"G. Giacomo De","year":"1996","unstructured":"De Giacomo, G., Lenzerini, M.: Tbox and Abox reasoning in expressive description logics. In: Proc. of KR-1996, Morgan Kaufmann, San Francisco (1996)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. of Computer and System Science\u00a018, 194\u2013211 (1979)","journal-title":"J. of Computer and System Science"},{"key":"6_CR8","unstructured":"Franconi, E., Ng, G.: The i.com tool for intelligent conceptual modelling. In: Working Notes of the ECAI 2000 Workshop KRDB 2000. CEUR (2000)"},{"key":"6_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-44404-1_21","volume-title":"Logic for Programming and Automated Reasoning","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tessaris, S., Tobies, S.: How to decide query containment under constraints using a description logic. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 326\u2013343. Springer, Heidelberg (2000)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. LTCS-Report 02-05, TU Dresden (2002), Available from http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.123"},{"key":"6_CR11","volume-title":"Proc. of IJCAI-1991","author":"K. Schild","year":"1991","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of IJCAI-1991. Morgan Kaufmann, San Francisco (1991)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive Concept Descriptions with Complements. Artificial Intelligence\u00a048(1) (1991)","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Entity-Relationship Approach - ER \u201992","author":"B. Thalheim","year":"1992","unstructured":"Thalheim, B.: Fundamentals of cardinality constraints. In: Pernul, G., Tjoa, A.M. (eds.) ER 1992. LNCS, vol.\u00a0645. Springer, Heidelberg (1992)"},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S. Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. of Art. Intelligence Research\u00a012, 199\u2013217 (2000)","journal-title":"J. of Art. Intelligence Research"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"M.Y. Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, p. 628. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-19"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45085-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:56:13Z","timestamp":1685840173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45085-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405597","9783540450856"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45085-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}