{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:55Z","timestamp":1725562675277},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145889"},{"type":"electronic","value":"9783642145896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14589-6_13","type":"book-chapter","created":{"date-parts":[[2010,8,16]],"date-time":"2010-08-16T14:38:13Z","timestamp":1281969493000},"page":"118-129","source":"Crossref","is-referenced-by-count":0,"title":["Checking Structural Integrity for Metadata Repository Systems by Means of Description Logics"],"prefix":"10.1007","author":[{"given":"Xiaofei","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"705","volume-title":"24th International Conference on Very Large Databases","author":"P. Bernstein","year":"1998","unstructured":"Bernstein, P., Dayal, U.: An overview of repository technology. In: 24th International Conference on Very Large Databases, pp. 705\u2013713. Morgan Kaufmann, San Francisco (1998)"},{"key":"13_CR2","unstructured":"Object Management Group: Meta Object Facility Specification Version 2.0 (2006)"},{"key":"13_CR3","volume-title":"The description logic handbook: Theory, implementation, and applications","author":"B. Franz","year":"2007","unstructured":"Franz, B., Diego, C., Deborah, M., Daniele, N., Peter, F.P.: The description logic handbook: Theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"13_CR4","first-page":"0","volume":"4","author":"University of Southern California","year":"2004","unstructured":"University of Southern California. Loom Knowledge Representation System 4.0 (2004)","journal-title":"Loom Knowledge Representation System"},{"key":"13_CR5","unstructured":"Haarslev, V., Moller, R., Wessel, M.: RacerPro User\u2019s Guide Version 2.0 (2009)"},{"key":"13_CR6","unstructured":"Horrocks, I.: FaCT and iFaCT. In: International Workshop on Description Logics (DL 1999), pp. 133\u2013135 (1999)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/1289816.1289838","volume-title":"5th IEEE\/ACM international conference on Hardware\/software codesign and system synthesis (CODES+ISSS 2007)","author":"B. Albertini","year":"2007","unstructured":"Albertini, B., Rigo, S., Araujo, G., Araujo, C., Barros, E., Azevedo, W.: A computational reflection mechanism to support platform debugging in SystemC. In: 5th IEEE\/ACM international conference on Hardware\/software codesign and system synthesis (CODES+ISSS 2007), pp. 81\u201386. ACM Press, New York (2007)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1145\/1176617.1176679","volume-title":"21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA 2006)","author":"A.D. Eisenberg","year":"2006","unstructured":"Eisenberg, A.D., Kiczales, G.: A simple edit-time metaobject protocol: controlling the display of metadata in programs. In: 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA 2006), pp. 696\u2013697. ACM Press, New York (2006)"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/1289971.1289993","volume-title":"6th International Conference on Generative Programming and Component Engineering","author":"P. Pirkelbauer","year":"2007","unstructured":"Pirkelbauer, P., Solodkyy, Y., Stroustrup, B.: Open Multi-methods for C++. In: 6th International Conference on Generative Programming and Component Engineering, pp. 123\u2013134. ACM Press, New York (2007)"},{"key":"13_CR10","unstructured":"Ishikawa, Y., Hori, A., Sato, M., Matsuda, M., Nolte, J., Tezuka, H., Konaka, H., Maeda, M., Kubota, K.: Design and Implementation of Metalevel Architecture in C++, MPC++ Approach. In: 1996 International Conference on Reflection, pp. 141\u2013154 (1996)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/564376.564444","volume-title":"25th annual international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2002)","author":"E. Bingham","year":"2002","unstructured":"Bingham, E., Kuusisto, J., Lagus, K.: ICA and SOM in text document analysis. In: 25th annual international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2002), pp. 361\u2013362. ACM Press, New York (2002)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1109\/PCCC.2004.1301192","volume-title":"2004 IEEE International Conference on Performance, Computing, and Communications","author":"G. Coulson","year":"2004","unstructured":"Coulson, G., Blair, G., Grace, P.: On the performance of reflective systems software. In: 2004 IEEE International Conference on Performance, Computing, and Communications, pp. 763\u2013769. IEEE Press, New York (2004)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1007\/978-3-540-30464-7_68","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"I. Petrov","year":"2004","unstructured":"Petrov, I., Jablonski, S., Holze, M., Nemes, G., Schneider, M.: iRM: An OMG MOF Based Repository System with Querying Capabilities. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 850\u2013851. Springer, Heidelberg (2004)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/949305.949311","volume-title":"18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (OOPSLA 2003)","author":"A.P. Black","year":"2003","unstructured":"Black, A.P., Sch\u00e4rli, N., Ducasse, S.: Applying traits to the smalltalk collection classes. In: 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications (OOPSLA 2003), pp. 47\u201364. ACM Press, New York (2003)"},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/1042038.1042043","volume":"6","author":"C.-J. Liau","year":"2005","unstructured":"Liau, C.-J.: A modal logic framework for multi-agent belief fusion. J. ACM Transactions on Computational Logic (TOCL)\u00a06(1), 124\u2013174 (2005)","journal-title":"J. ACM Transactions on Computational Logic (TOCL)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Weissman, V.: Using First-Order Logic to Reason about Policies. J. ACM Transactions on Information and System Security (TISSEC)\u00a011(4) (2008)","DOI":"10.1145\/1380564.1380569"},{"issue":"6","key":"13_CR17","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1109\/32.824413","volume":"25","author":"W. Emmerich","year":"1999","unstructured":"Emmerich, W., Finkelstein, A., Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. J. IEEE Transactions on Software Engineering\u00a025(6), 836\u2013851 (1999)","journal-title":"J. IEEE Transactions on Software Engineering"},{"key":"13_CR18","unstructured":"Simmonds, J.: Consistency maintenance of uml models with description logic. Master\u2019s thesis, Vrije Universiteit Brussel, Brussel (2003)"},{"key":"13_CR19","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: 17th International Joint Conference on Artificial Intelligence (IJCAI 2001) (2001)"},{"key":"13_CR20","first-page":"178","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"D. Calvanese","year":"2003","unstructured":"Calvanese, D., De Giacomo, G.: Expressive description logics. In: The Description Logic Handbook: Theory, Implementation and Applications, pp. 178\u2013218. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR21","first-page":"757","volume-title":"The Handbook of Modal Logic","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C.: Description Logic. In: The Handbook of Modal Logic, pp. 757\u2013820. Elsevier, Amsterdam (2006)"}],"container-title":["Lecture Notes in Computer Science","Database Systems for Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14589-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:55:00Z","timestamp":1606186500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14589-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145889","9783642145896"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14589-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}