{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T19:40:11Z","timestamp":1739389211366,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050817"},{"type":"electronic","value":"9783642050824"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05082-4_13","type":"book-chapter","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T02:19:58Z","timestamp":1255486798000},"page":"182-196","source":"Crossref","is-referenced-by-count":23,"title":["An Efficient Method for Computing Alignment Diagnoses"],"prefix":"10.1007","author":[{"given":"Christian","family":"Meilicke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal on Data Semantics (2003)","DOI":"10.1007\/978-3-540-39733-5_7"},{"key":"13_CR2","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"13_CR3","volume-title":"Computers and intractability: A guide to the theory of NP-completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and intractability: A guide to the theory of NP-completeness. W. H. Freeman and Company, New York (1979)"},{"key":"13_CR4","unstructured":"Giunchiglia, F., Yatskevich, M., Shvaiko, P.: Semantic matching: Algorithms and implementation. Journal on Data Semantics (2007)"},{"key":"13_CR5","unstructured":"Jean-Mary, Y.R., Kabuka, M.R.: Asmov: Results for OAEI 2008. In: Proc. of the ISWC 2008 workshop on ontology matching, Karlsruhe, Germany (2008)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Jimenez-Ruiz, E., Grau, B.C., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Proc. of the 6th Annual European Semantic Web Conference, Heraklion, Crete, Greece (2009)","DOI":"10.1007\/978-3-642-02121-3_16"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H.: Applying logical constraints to ontology matching. In: Proc. of the 30th German Conference on Artificial Intelligence, Osnabr\u00fcck, Germany (2007)","DOI":"10.1007\/978-3-540-74565-5_10"},{"key":"13_CR8","unstructured":"Meilicke, C., Stuckenschmidt, H.: Incoherence as a basis for measuring the quality of ontology mappings. In: Proc. of the ISWC 2008 Workshop on Ontology Matching, Karlsruhe, Germany (2008)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H.: An efficient method for computing a local optimal alignment diagnosis. Technical report, University Mannheim, Computer Science Institute (2009)","DOI":"10.1007\/978-3-642-05082-4_13"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H., Svab-Zamazal, O.: A reasoning-based support tool for ontology mapping evaluation. In: Proc. of the European Semantic Web Conference, Heraklion, Greece (2009)","DOI":"10.1007\/978-3-642-02121-3_74"},{"key":"13_CR11","unstructured":"Meilicke, C., Tamilin, A., Stuckenschmidt, H.: Repairing ontology mappings. In: Proc. of the Twenty-Second Conference on Artificial Intelligence, Vancouver, Canada (2007)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Meilicke, C., V\u00f6lker, J., Stuckenschmidt, H.: Learning disjointness for debugging mappings between lightweight ontologies. In: Proc. of the 16th International Conference on Knowledge Engineering and Knowledge Management, Acitrezza, Italy (2008)","DOI":"10.1007\/978-3-540-87696-0_11"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-88564-1_27","volume-title":"The Semantic Web - ISWC 2008","author":"G. Qi","year":"2008","unstructured":"Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., V\u00f6lker, J.: A kernel revision operator for terminologies - algorithms and evaluation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 419\u2013434. Springer, Heidelberg (2008)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"13_CR15","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico (2003)"},{"key":"13_CR16","unstructured":"Serafini, L., Tamilin, A.: Local tableaux for reasoning in distributed description logics. In: Proc. of the Int. Workshop on Description Logics, Whistler, Canada (2004)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (2007)","DOI":"10.1016\/j.websem.2007.03.004"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05082-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T18:58:50Z","timestamp":1739386730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05082-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050817","9783642050824"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05082-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}