{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:52:53Z","timestamp":1742946773636,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119144"},{"type":"electronic","value":"9783319119151"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11915-1_2","type":"book-chapter","created":{"date-parts":[[2014,10,9]],"date-time":"2014-10-09T04:59:39Z","timestamp":1412830779000},"page":"17-32","source":"Crossref","is-referenced-by-count":10,"title":["Towards Annotating Potential Incoherences in BioPortal Mappings"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Faria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Jim\u00e9nez-Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Pesquita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco M.","family":"Couto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., et al.: Gene Ontology: tool for the unification of biology. Nature Genetics\u00a025(1), 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/nar\/gkh061","volume":"32","author":"O. Bodenreider","year":"2004","unstructured":"Bodenreider, O.: The unified medical language system (UMLS): integrating biomedical terminology. Nucleic Acids Research\u00a032, 267\u2013270 (2004)","journal-title":"Nucleic Acids Research"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Sem.\u00a01, 153\u2013184 (2003)","journal-title":"J. Data Sem."},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem.\u00a06(4), 309\u2013322 (2008)","journal-title":"J. Web Sem."},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Prog.\u00a01(3), 267\u2013284 (1984)","journal-title":"J. Log. Prog."},{"key":"2_CR6","unstructured":"Euzenat, J.: Semantic precision and recall for ontology alignment evaluation. In: Int\u2019l Joint Conf. on Artif. Intell (IJCAI), pp. 348\u2013353 (2007)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-22630-4_6","volume":"15","author":"J. Euzenat","year":"2011","unstructured":"Euzenat, J., Meilicke, C., Stuckenschmidt, H., Shvaiko, P., Trojahn, C.: Ontology alignment evaluation initiative: Six years of experience. J. Data Sem.\u00a015, 158\u2013192 (2011)","journal-title":"J. Data Sem."},{"key":"2_CR8","unstructured":"Euzenat, J., Shvaiko, P.: Ontology matching. Springer (2007)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/978-3-642-41030-7_38","volume-title":"On the Move to Meaningful Internet Systems: OTM 2013 Conferences","author":"D. Faria","year":"2013","unstructured":"Faria, D., Pesquita, C., Santos, E., Palmonari, M., Cruz, I.F., Couto, F.M.: The agreementmakerlight ontology matching system. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) ODBASE 2013. LNCS, vol.\u00a08185, pp. 527\u2013541. Springer, Heidelberg (2013)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Fridman Noy, N., Shah, N.H., Whetzel, P.L., Dai, B., Dorf, M., Griffith, N., Jonquet, C., Rubin, D.L., Storey, M.A.D., Chute, C.G., Musen, M.A.: BioPortal: ontologies and integrated data resources at the click of a mouse. Nucleic Acids Research 37(Web-Server-Issue) (2009)","DOI":"10.1093\/nar\/gkp440"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0743-1066(89)90009-5","volume":"7","author":"G. Gallo","year":"1989","unstructured":"Gallo, G., Urbani, G.: Algorithms for testing the satisfiability of propositional formulae. J. Log. Prog.\u00a07(1), 45\u201361 (1989)","journal-title":"J. Log. Prog."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-04930-9_15","volume-title":"The Semantic Web - ISWC 2009","author":"A. Ghazvinian","year":"2009","unstructured":"Ghazvinian, A., Noy, N.F., Jonquet, C., Shah, N., Musen, M.A.: What four million mappings can tell you about two hundred ontologies. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 229\u2013242. Springer, Heidelberg (2009)"},{"key":"2_CR13","unstructured":"Ghazvinian, A., Noy, N.F., Musen, M.A.: Creating mappings for ontologies in biomedicine: Simple methods work. In: AMIA Annual Symposium (AMIA) (2009)"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.websem.2003.07.007","volume":"1","author":"J. Golbeck","year":"2003","unstructured":"Golbeck, J., Fragoso, G., Hartel, F.W., Hendler, J.A., Oberthaler, J., Parsia, B.: The National Cancer Institute\u2019s Th\u00e9saurus and Ontology. J. Web Sem.\u00a01(1), 75\u201380 (2003)","journal-title":"J. Web Sem."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Golbreich, C., Horridge, M., Horrocks, I., Motik, B., Shearer, R.: OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. In: Aberer, K., et al. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 169\u2013182. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-76298-0_13"},{"key":"2_CR16","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Horrocks, I.: On the feasibility of using OWL 2 DL reasoners for ontology matching problems. In: OWL Reasoner Evaluation Workshop (2012)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-25073-6_18","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"E. Jim\u00e9nez-Ruiz","year":"2011","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B.: LogMap: Logic-based and Scalable Ontology Matching. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 273\u2013288. Springer, Heidelberg (2011)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-642-02121-3_16","volume-title":"The Semantic Web: Research and Applications","author":"E. Jim\u00e9nez-Ruiz","year":"2009","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 173\u2013187. Springer, Heidelberg (2009)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Logic-based Assessment of the Compatibility of UMLS Ontology Sources. J. Biomed. Semant.\u00a02(suppl. 1), S2 (2011)","DOI":"10.1186\/2041-1480-2-S1-S2"},{"key":"2_CR20","unstructured":"Jim\u00e9nez-Ruiz, E., Cuenca Grau, B., Zhou, Y., Horrocks, I.: Large-scale interactive ontology matching: Algorithms and implementation. In: Europ. Conf. on Artif. Intell. (ECAI) (2012)"},{"key":"2_CR21","unstructured":"Jim\u00e9nez-Ruiz, E., Meilicke, C., Grau, B.C., Horrocks, I.: Evaluating mapping repair systems with large biomedical ontologies. In: Description Logics, pp. 246\u2013257 (2013)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of EL ontologies. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 305\u2013320. Springer, Heidelberg (2011)"},{"key":"2_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-71070-7_21","volume-title":"Automated Reasoning","author":"B. Konev","year":"2008","unstructured":"Konev, B., Walther, D., Wolter, F.: The Logical Difference Problem for Description Logic Terminologies. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 259\u2013274. Springer, Heidelberg (2008)"},{"key":"2_CR25","unstructured":"Meilicke, C.: Alignments Incoherency in Ontology Matching. Ph.D. thesis, University of Mannheim (2011)"},{"key":"2_CR26","unstructured":"Meilicke, C., Stuckenschmidt, H.: Incoherence as a basis for measuring the quality of ontology mappings. In: Ontology Matching Workshop (2008)"},{"key":"2_CR27","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI Conf. on Artif. Intell., pp. 1408\u20131413 (2007)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning support for mapping revision. J. Log. Comput.\u00a019(5) (2009)","DOI":"10.1093\/logcom\/exn047"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-540-88564-1_24","volume-title":"The Semantic Web - ISWC 2008","author":"N.F. Noy","year":"2008","unstructured":"Noy, N.F., Griffith, N., Musen, M.A.: Collecting community-based mappings in an ontology repository. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 371\u2013386. Springer, Heidelberg (2008)"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Pathak, J., Chute, C.G.: Debugging Mappings between Biomedical Ontologies: Preliminary Results from the NCBO BioPortal Mapping Repository. In: Int\u2019l Conf. on Biomedical Ontology (ICBO) (2009)","DOI":"10.1038\/npre.2009.3456"},{"key":"2_CR31","unstructured":"Pesquita, C., Faria, D., Santos, E., Couto, F.M.: To repair or not to repair: reconciling correctness and coherence in ontology reference alignments. In: Ontology Matching (OM) (2013)"},{"issue":"6","key":"2_CR32","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/j.jbi.2003.11.007","volume":"36","author":"C. Rosse","year":"2003","unstructured":"Rosse, C., Mejino Jr., J.: A reference ontology for biomedical informatics: the Foundational Model of Anatomy. J. Biomed. Informatics\u00a036(6), 478\u2013500 (2003)","journal-title":"J. Biomed. Informatics"},{"issue":"3","key":"2_CR33","doi-asserted-by":"crossref","first-page":"277","DOI":"10.3233\/SW-2012-0086","volume":"4","author":"M. Salvadores","year":"2013","unstructured":"Salvadores, M., Alexander, P.R., Musen, M.A., Noy, N.F.: BioPortal as a dataset of linked biomedical ontologies and terminologies in RDF. Semantic Web\u00a04(3), 277\u2013284 (2013)","journal-title":"Semantic Web"},{"key":"2_CR34","unstructured":"Santos, E., Faria, D., Pesquita, C., Couto, F.: Ontology alignment repair through modularization and confidence-based heuristics. arXiv:1307.5322 preprint (2013)"},{"key":"2_CR35","unstructured":"Santos, E., Faria, D., Pesquita, C., Couto, F.M.: Ontology alignment repair through modularization and confidence-based heuristics. CoRR abs\/1307.5322 (2013)"},{"key":"2_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/11431053_16","volume-title":"The Semantic Web: Research and Applications","author":"S. Schlobach","year":"2005","unstructured":"Schlobach, S.: Debugging and semantic clarification by pinpointing. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 226\u2013240. Springer, Heidelberg (2005)"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Shvaiko, P., Euzenat, J.: Ontology matching: State of the art and future challenges. IEEE Trans. Knowledge and Data Eng. (2012)","DOI":"10.1007\/978-3-642-38721-0"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., Leontis, N., Rocca-Serra, P., Ruttenberg, A., Sansone, S.A., Scheuermann, R.H., Shah, N., Whetzel, P.L., Lewis, S.: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat. Biotech.\u00a025(11) (2007)","DOI":"10.1038\/nbt1346"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89704-0_1","volume-title":"The Semantic Web","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol.\u00a05367, pp. 1\u201315. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11915-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T16:35:30Z","timestamp":1598373330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11915-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119144","9783319119151"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11915-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}