{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:44:33Z","timestamp":1725471873439},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_28","type":"book-chapter","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T15:42:23Z","timestamp":1161877343000},"page":"371-384","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Framework for Reasoning on Metadata Based on CWM"],"prefix":"10.1007","author":[{"given":"Xiaofei","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"28_CR2","unstructured":"Object Management Group. Common Warehouse Metamodel(CWM) Specification Version 1.1 (November 2001)"},{"key":"28_CR3","volume-title":"Common Warehouse Metamodel Developer\u2019s Guide","author":"J. Poole","year":"2003","unstructured":"Poole, J., Chang, D., Tolbert, D., Mellor, D.: Common Warehouse Metamodel Developer\u2019s Guide. John Wiley & Sons Inc., New York (2003)"},{"key":"28_CR4","unstructured":"Jane, B., Sarah, C., Hey Jessie, M.N.: Building Quality Assurance into Metadata Creation: an Analysis based on the Learning Objects and e-Prints Communities of Practice. In: Proceedings 2003 Dublin Core Conference: Supporting Communities of Discourse and Practice - Metadata Research and Applications(DCMI), Seattle, Washington, pp. 39\u201348 (2003)"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Hauch, R., Miller, A., Cardwell, R.: Information intelligence: metadata for information discovery, access, and integration. In: Proceedings of the 2005 ACM SIGMOD international conference on Management of data, pp. 793\u2013798 (2005)","DOI":"10.1145\/1066157.1066250"},{"key":"28_CR6","unstructured":"Evans, A.S.: Reasoning with UML class diagrams. In: Second IEEE Workshop on Industrial Strength Formal Specification Techniques(WIFT 1998) (1998)"},{"key":"28_CR7","unstructured":"Simmonds, J.: Consistency maintenance of uml models with description logic. Master\u2019s thesis, Vrije Universiteit Brussel (September 2003)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems(POD 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"28_CR9","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence(IJCAI 2001) (2001)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., Moller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, p. 701. Springer, Heidelberg (2001)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: European Software Engineering Conference, pp. 84\u201399 (1993)","DOI":"10.1007\/3-540-57209-0_7"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-48050-1_54","volume-title":"Foundations of Intelligent Systems","author":"A. Cali","year":"2002","unstructured":"Cali, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: A formal framework for reasoning on UML class diagrams. In: Hacid, M.-S., Ra\u015b, Z.W., Zighed, D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS, vol.\u00a02366, pp. 503\u2013513. Springer, Heidelberg (2002)"},{"key":"28_CR13","unstructured":"Brill, D.: LOOM reference manual, version 2.0 edition, University of Southern California, Information Sciences Institute (December 28, 1993)"},{"issue":"11","key":"28_CR14","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J.C. Grundy","year":"1998","unstructured":"Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering\u00a024(11), 960\u2013981 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR15","unstructured":"Object Management Group. Unified Modeling Language specification version 1.4. (September 2001)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44469-6_1","volume-title":"Database and Expert Systems Applications","author":"A. Finkelstein","year":"2000","unstructured":"Finkelstein, A.: A Foolish Consistency: Technical Challenges in Consistency Management. In: Ibrahim, M., K\u00fcng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol.\u00a01873, p. 1. Springer, Heidelberg (2000)"},{"key":"28_CR17","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in description logics. In: Principles of Knowledge Representation, Studies in Logic, Language and Information, pp. 193\u2013238 (1996)"},{"issue":"3","key":"28_CR18","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/122296.122309","volume":"2","author":"R. MacGregor","year":"1991","unstructured":"MacGregor, R.: Inside the LOOM description classifier. SIGART Bull\u00a02(3), 88\u201392 (1991)","journal-title":"SIGART Bull"},{"key":"28_CR19","unstructured":"Horrocks, I.: FaCT and iFaCT. In: International Workshop on Description Logics(DL 1999), pp. 133\u2013135 (1999)"},{"issue":"1","key":"28_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1008765200695","volume":"7","author":"T. Mens","year":"2000","unstructured":"Mens, T., D\u2019Hondt, T.: Automating support for software evolution in uml. Automated Software Engineering Journal\u00a07(1), 39\u201359 (2000)","journal-title":"Automated Software Engineering Journal"},{"key":"28_CR21","unstructured":"Miller, J., Mukerji, J.: Model driven architecture (MDA). Draft ormsc\/2001-07-01, Architecture Board ORMSC (July 2001)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901181_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:36:53Z","timestamp":1619509013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901181_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472247","9783540472278"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11901181_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}