{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T12:19:15Z","timestamp":1773317955418,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261247","type":"print"},{"value":"9783540315476","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_21","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:48:34Z","timestamp":1279082914000},"page":"303-317","source":"Crossref","is-referenced-by-count":25,"title":["Web Explanations for Semantic Heterogeneity Discovery"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Shvaiko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Pinheiro","family":"da Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deborah L.","family":"McGuinness","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Barrett, C., Berezin, S.: A proof-producing boolean search engine. In: Proceedings of PDPAR (2003)"},{"key":"21_CR2","unstructured":"Le Berre, D.: JSAT: The java satisfiability library (2001), http:\/\/cafe.newcastle.edu.au\/daniel\/JSAT\/"},{"key":"21_CR3","unstructured":"Borgida, A., Franconi, E., Horrocks, I., McGuinness, D., Patel-Schneider, P.: Explaining ALC subsumption. In: Proceedings of Description Logics workshop (1999)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-39718-2_9","volume-title":"The Semantic Web - ISWC 2003","author":"P. Bouquet","year":"2003","unstructured":"Bouquet, P., Serafini, L., Zanobini, S.: Semantic coordination: A new approach and an application. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 130\u2013145. Springer, Heidelberg (2003)"},{"key":"21_CR5","unstructured":"da Silva, P.P., McGuinness, D.L., Fikes, R.: A proof markup language for semantic web services. Technical report, KSL, Stanford University (2004)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Davis, M., Longemann, G., Loveland, D.: A machine program for theorem proving. Journal of the ACM 5(7) (1962)","DOI":"10.1145\/368273.368557"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. Journal of the ACM\u00a0(7), 201\u2013215 (1960)","DOI":"10.1145\/321033.321034"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Dhamankar, R., Lee, Y., Doan, A., Halevy, A., Domingos, P.: iMAP: Discovering complex semantic matches between database schemas. In: Proceedings of SIGMOD, pp. 383\u2013394 (2004)","DOI":"10.1145\/1007568.1007612"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/978-3-540-30475-3_47","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"M. Ehrig","year":"2004","unstructured":"Ehrig, M., Staab, S.: QOM: Quick ontology mapping. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 683\u2013697. Springer, Heidelberg (2004)"},{"key":"21_CR10","unstructured":"Euzenat, J., Valtchev, P.: Similarity-based ontology alignment in OWL-lite. In: Proceedings of ECAI, pp. 333\u2013337 (2004)"},{"issue":"3","key":"21_CR11","first-page":"265","volume":"18","author":"F. Giunchiglia","year":"2003","unstructured":"Giunchiglia, F., Shvaiko, P.: Semantic matching. KER Journal\u00a018(3), 265\u2013280 (2003)","journal-title":"KER Journal"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-25956-5_5","volume-title":"The Semantic Web: Research and Applications","author":"F. Giunchiglia","year":"2004","unstructured":"Giunchiglia, F., Shvaiko, P., Yatskevich, M.: S-Match: an algorithm and an implementation of semantic matching. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol.\u00a03053, pp. 61\u201375. Springer, Heidelberg (2004)"},{"key":"21_CR13","unstructured":"Giunchiglia, F., Yatskevich, M.: Element level semantic matching. In: Proceedings of Meaning Coordination and Negotiation workshop at ISWC (2004)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/11431053_19","volume-title":"The Semantic Web: Research and Applications","author":"F. Giunchiglia","year":"2005","unstructured":"Giunchiglia, F., Yatskevich, M., Giunchiglia, E.: Efficient semantic matching. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 272\u2013289. Springer, Heidelberg (2005)"},{"key":"21_CR15","unstructured":"Goldberg, E., Novikov, Y.: Verication of proofs of unsatisability for CNF formulas. In: Proceedings of DATE (2003)"},{"key":"21_CR16","unstructured":"Guarino, N.: The role of ontologies for the Semantic Web (and beyond). Technical report, Laboratory for Applied Ontology, Institute for Cognitive Sciences and Technology, ISTC-CNR (2004)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Do, H.H., Rahm, E.: COMA - a system for flexible combination of schema matching approaches. In: Proceedings of VLDB, pp. 610\u2013621 (2001)","DOI":"10.1016\/B978-155860869-6\/50060-3"},{"key":"21_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-69778-0_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 27\u201330. Springer, Heidelberg (1998)"},{"key":"21_CR19","unstructured":"Madhavan, J., Bernstein, P., Rahm, E.: Generic schema matching with Cupid. In: Proceedings of VLDB, pp. 49\u201358 (2001)"},{"key":"21_CR20","unstructured":"Magnini, B., Serafini, L., Speranza, M.: Making explicit the semantics hidden in schema models. In: Proceedings of workshop on Human Language Technology for the Semantic Web and Web Services at ISWC (2003)"},{"key":"21_CR21","unstructured":"McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: Proceedings of IJCAI, pp. 816\u2013821 (1995)"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-39718-2_8","volume-title":"The Semantic Web - ISWC 2003","author":"D.L. McGuinness","year":"2003","unstructured":"McGuinness, D.L., Pinheiro da Silva, P.: Infrastructure for web explanations. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 113\u2013129. Springer, Heidelberg (2003)"},{"key":"21_CR23","unstructured":"McGuinness, D.L., da Silva, P.P.: Registry-based support for information integration. In: Proceedings of IJCAI Workshop on Information Integration on the Web (2003)"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Melnik, S., Rahm, E., Bernstein, P.: Rondo: A programming platform for generic model management. In: Proceedings of SIGMOD, pp. 193\u2013204 (2003)","DOI":"10.1145\/872757.872782"},{"issue":"11","key":"21_CR25","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"A.G. Miller","year":"1995","unstructured":"Miller, A.G.: WordNet: A lexical database for english. Communications of the ACM\u00a038(11), 39\u201341 (1995)","journal-title":"Communications of the ACM"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhaod, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient SAT solver. In: Proceedings of DAC (2001)","DOI":"10.1145\/378239.379017"},{"key":"21_CR27","unstructured":"Noy, N., Musen, M.A.: Anchor-prompt: Using non-local context for semantic matching. In: Procedings of IJCAI workshop on Ontologies and Information Sharing, pp. 63\u201370 (2001)"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Oh, Y., Mneimneh, M.N., Andraus, Z.S., Sakallah, K.A., Markov, I.L.: AMUSE: A minimally-unsatisfiable subformula extractor. In: Proceedings of DAC, pp. 518\u2013523 (2004)","DOI":"10.1145\/996566.996710"},{"key":"21_CR29","unstructured":"Parsia, B., Sirin, E., Grove, M., Alford, R.: Pellet OWL reasoner, http:\/\/www.mindswap.org\/2003\/pellet\/index.shtml"},{"issue":"4","key":"21_CR30","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E. Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.: A survey of approaches to automatic schema matching. VLDB Journal\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB Journal"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Shvaiko, P.: A classification of schema-based matching approaches. In: Proceedings of Meaning Coordination and Negotiation workshop at ISWC (2004)","DOI":"10.1007\/11603412_5"},{"key":"21_CR32","unstructured":"Shvaiko, P., Euzenat, J.: A survey of schema-based macthing approaches. Technical report, DIT-04-087, University of Trento (2004)"},{"key":"21_CR33","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L.: OWL web ontology language guide. Technical report, World Wide Web Consortium (W3C) February 10 (2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-guide-20040210\/"},{"key":"21_CR34","unstructured":"Wache, H., Voegele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H., Huebner, S.: Ontology-based integration of information - a survey of existing approaches. In: Proceedings of IJCAI workshop on Ontologies and Information Sharing, pp. 108\u2013117 (2001)"},{"key":"21_CR35","unstructured":"Zhang, L., Malik, S.: Extracting small unsatisfiable cores from unsatisfiable boolean formulas. In: Proceedings of SAT (2003)"},{"key":"21_CR36","unstructured":"Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: Proceedings of DATE (2003)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:37:46Z","timestamp":1559266666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11431053_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}