{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:38Z","timestamp":1725551858738},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317821"},{"type":"electronic","value":"9783540317845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663881_13","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T11:31:46Z","timestamp":1137670306000},"page":"219-239","source":"Crossref","is-referenced-by-count":16,"title":["Consistency Checking Algorithms for Restricted UML Class Diagrams"],"prefix":"10.1007","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of VERIFY, Workshop at Federated Logic Conferences, FLoC (2002)"},{"issue":"1-2","key":"13_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., Cali, A., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"13_CR3","unstructured":"Donini, F.M.: Complexity of reasoning. In: Description Logic Handbook, pp. 96\u2013136 (2003)"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(00)00070-9","volume":"124","author":"F.M. Donini","year":"2000","unstructured":"Donini, F.M., Massacci, F.: EXPTIME tableaux for ALC. Artificial Intelligence\u00a0124(1), 87\u2013138 (2000)","journal-title":"Artificial Intelligence"},{"key":"13_CR5","unstructured":"Evans, A.S.: Reasoning with UML class diagrams. In: Second IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998, USA (1998)"},{"key":"13_CR6","series-title":"Object Technology Series","volume-title":"UML Distilled: A Brief Guide to the Standard Modeling Object Language","author":"M. Fowler","year":"2003","unstructured":"Fowler, M.: UML Distilled: A Brief Guide to the Standard Modeling Object Language, 3rd edn. Object Technology Series. Addison-Wesley, Reading (2003)","edition":"3"},{"key":"13_CR7","unstructured":"Franconi, E., Ng, G.: The i.com tool for intelligent conceptual modeling. In: KRDB, pp. 45\u201353 (2000)"},{"key":"13_CR8","unstructured":"Kaneiwa, K., Satoh, K.: Consistency checking algorithms for restricted UML class diagrams. NII Technical Report, NII-2005-013E, National Institute of Informatics (2005), \n                    \n                      http:\/\/research.nii.ac.jp\/TechReports\/05-013E.html"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0168-0072(94)00025-X","volume":"74","author":"P.G. Kolaitis","year":"1995","unstructured":"Kolaitis, P.G., V\u00e4\u00e4n\u00e4nen, J.A.: Generalized quantifiers and pebble games on finite structures. Annals of Pure and Applied Logic\u00a074(1), 23\u201375 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-218X(92)90031-5","volume":"40","author":"H. Mannila","year":"1992","unstructured":"Mannila, H., R\u00e4ih\u00e4, K.-J.: On the complexity of inferring functional dependencies. Discrete Applied Mathematics\u00a040(2), 237\u2013243 (1992)","journal-title":"Discrete Applied Mathematics"},{"key":"13_CR11","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 1st edn. Addison-Wesley, Reading (1999)","edition":"1"},{"issue":"1-2","key":"13_CR12","first-page":"49","volume":"11","author":"K.-D. Schewe","year":"1993","unstructured":"Schewe, K.-D., Thalheim, B.: Fundamental concepts of object oriented databases. Acta Cybern.\u00a011(1-2), 49\u201384 (1993)","journal-title":"Acta Cybern."},{"key":"13_CR13","unstructured":"Tsiolakis, A., Ehrig, H.: Consistency analysis between UML class and sequence diagrams using attributed graph gammars. In: Proceedings of joint APPLIGRAPH\/ GETGRATS Workshop on Graph Transformation Systems, pp. 77\u201386 (2000)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663881_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:12:46Z","timestamp":1619507566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663881_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317821","9783540317845"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11663881_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}