{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T15:15:14Z","timestamp":1726154114966},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747819"},{"type":"electronic","value":"9783540747826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74782-6_5","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T14:51:49Z","timestamp":1188053509000},"page":"36-47","source":"Crossref","is-referenced-by-count":19,"title":["Finite Model Reasoning on UML Class Diagrams Via Constraint Programming"],"prefix":"10.1007","author":[{"given":"Marco","family":"Cadoli","sequence":"first","affiliation":[]},{"given":"Diego","family":"Calvanese","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[]},{"given":"Toni","family":"Mancini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"5_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 (2003)"},{"issue":"1\u20132","key":"5_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1\u20132), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"5_CR3","unstructured":"Borgida, A., Lenzerini, M., Rosati, R.: Description logics for data bases. In: Baader et\u00a0al., ch. 16, pp. 462\u2013484 [1]"},{"key":"5_CR4","unstructured":"Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR 1996, pp. 292\u2013303 (1996)"},{"key":"5_CR5","unstructured":"Calvanese, D.: Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma \u201cLa Sapienza\u201d (1996)"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","volume":"11","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research\u00a011, 199\u2013240 (1999)","journal-title":"J. of Artificial Intelligence Research"},{"key":"5_CR7","unstructured":"ILOG OPL Studio system version 3.6.1 user\u2019s manual (2002)"},{"key":"5_CR8","volume-title":"The Unified Modeling Language User Guide","author":"I. Jacobson","year":"1998","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison Wesley Publ. Co., Reading (1998)"},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/0306-4379(90)90048-T","volume":"15","author":"M. Lenzerini","year":"1990","unstructured":"Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems\u00a015(4), 453\u2013461 (1990)","journal-title":"Information Systems"},{"key":"5_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-45085-6_6","volume-title":"Automated Deduction \u2013 CADE-19","author":"C. Lutz","year":"2003","unstructured":"Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. In: Baader, F. (ed.) Automated Deduction \u2013 CADE-19. LNCS (LNAI), vol.\u00a02741, pp. 60\u201374. Springer, Heidelberg (2003)"},{"key":"5_CR11","volume-title":"The OPL Optimization Programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2007: Artificial Intelligence and Human-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74782-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T00:48:25Z","timestamp":1550882905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74782-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540747819","9783540747826"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74782-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}