{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:44:40Z","timestamp":1725471880492},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472247"},{"type":"electronic","value":"9783540472278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901181_37","type":"book-chapter","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T15:42:23Z","timestamp":1161877343000},"page":"497-512","source":"Crossref","is-referenced-by-count":34,"title":["Reasoning on UML Class Diagrams with OCL Constraints"],"prefix":"10.1007","author":[{"given":"Anna","family":"Queralt","sequence":"first","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"37_CR1","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"1-2","key":"37_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-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"37_CR3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"Borgida, A.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering\u00a07(5), 671\u2013682 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"37_CR4","first-page":"472","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Lenzerini, M., Rosati, R.: Description Logics for Data Bases. In: Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook: Theory, Implementation and Applications, pp. 472\u2013494. Cambridge University Press, Cambridge (2003)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-45275-1_25","volume-title":"Advanced Conceptual Modeling Techniques","author":"D.S. Bowers","year":"2003","unstructured":"Bowers, D.S.: Detection of Redundant Arcs in Entity Relationship Conceptual Models. In: Oliv\u00e9, \u00c0., Yoshikawa, M., Yu, E.S.K. (eds.) ER 2003. LNCS, vol.\u00a02784, pp. 275\u2013287. Springer, Heidelberg (2003)"},{"key":"37_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-1-4615-5643-5_8","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: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229\u2013263. Kluwer, Dordrecht (1998)"},{"key":"37_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-30075-5_8","volume-title":"Database and Expert Systems Applications","author":"C. Farr\u00e9","year":"2004","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: A New Approach for Checking Schema Validation Properties. In: Galindo, F., Takizawa, M., Traunm\u00fcller, R. (eds.) DEXA 2004. LNCS, vol.\u00a03180, pp. 77\u201386. Springer, Heidelberg (2004)"},{"issue":"2","key":"37_CR8","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.datak.2004.08.002","volume":"53","author":"C. Farr\u00e9","year":"2005","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Checking Query Containment with the CQC Method. Data and Knowledge Engineering\u00a053(2), 163\u2013223 (2005)","journal-title":"Data and Knowledge Engineering"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-45221-8_23","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 265\u2013279. Springer, Heidelberg (2003)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-540-49524-6_12","volume-title":"Conceptual Modeling \u2013 ER \u201998","author":"S. Hartmann","year":"1998","unstructured":"Hartmann, S.: On the Consistency of Int-cardinality Constraints. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol.\u00a01507, pp. 150\u2013163. Springer, Heidelberg (1998)"},{"key":"37_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45581-7_19","volume-title":"Conceptual Modeling - ER 2001","author":"S. Hartmann","year":"2001","unstructured":"Hartmann, S.: Coping with Inconsistent Constraint Specifications. In: Kunii, H.S., Jajodia, S., S\u00f8lvberg, A. (eds.) ER 2001. LNCS, vol.\u00a02224, pp. 241\u2013255. Springer, Heidelberg (2001)"},{"key":"37_CR12","unstructured":"Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. In: Proc. 13th International Conference on Very Large Databases - VLDB 1987, pp. 147\u2013154 (1987)"},{"key":"37_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11431855_1","volume-title":"Advanced Information Systems Engineering","author":"A. Oliv\u00e9","year":"2005","unstructured":"Oliv\u00e9, A.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. De-partament de LSI, UPC, Technical Report LSI-06-15-R (2006)","DOI":"10.1007\/11901181_37"},{"key":"37_CR15","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901181_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:05Z","timestamp":1605642965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901181_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472247","9783540472278"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11901181_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}