{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T01:05:22Z","timestamp":1790039122979,"version":"4.0.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,31]],"date-time":"2013-03-31T00:00:00Z","timestamp":1364688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"},{"start":{"date-parts":[[2013,3,31]],"date-time":"2013-03-31T00:00:00Z","timestamp":1364688000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Biomed Semant"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:sec>\n                    <jats:title>Background<\/jats:title>\n                    <jats:p>With the increased use of ontologies and ontology mappings in semantically-enabled applications such as ontology-based search and data integration, the issue of detecting and repairing defects in ontologies and ontology mappings has become increasingly important. These defects can lead to wrong or incomplete results for the applications.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Results<\/jats:title>\n                    <jats:p>We propose a unified framework for debugging the is-a structure of and mappings between taxonomies, the most used kind of ontologies. We present theory and algorithms as well as an implemented system RepOSE, that supports a domain expert in detecting and repairing missing and wrong is-a relations and mappings. We also discuss two experiments performed by domain experts: an experiment on the Anatomy ontologies from the Ontology Alignment Evaluation Initiative, and a debugging session for the Swedish National Food Agency.<\/jats:p>\n                  <\/jats:sec>\n                  <jats:sec>\n                    <jats:title>Conclusions<\/jats:title>\n                    <jats:p>Semantically-enabled applications need high quality ontologies and ontology mappings. One key aspect is the detection and removal of defects in the ontologies and ontology mappings. Our system RepOSE provides an environment that supports domain experts to deal with this issue. We have shown the usefulness of the approach in two experiments by detecting and repairing circa 200 and 30 defects, respectively.<\/jats:p>\n                  <\/jats:sec>","DOI":"10.1186\/2041-1480-4-10","type":"journal-article","created":{"date-parts":[[2013,3,31]],"date-time":"2013-03-31T14:13:52Z","timestamp":1364739232000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["A unified approach for debugging is-a structure and mappings in networked taxonomies"],"prefix":"10.1186","volume":"4","author":[{"given":"Patrick","family":"Lambrix","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentina","family":"Ivanova","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,3,31]]},"reference":[{"key":"132_CR1","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-0-387-48438-9_5","volume-title":"Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences","author":"P Lambrix","year":"2007","unstructured":"Lambrix P, Tan H, Jakoniene V, Str\u00f6mb\u00e4ck L: Biological ontologies. Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences. Edited by: Cheung, Baker, Baker , Cheung . 2007, New York, USA: Springer Science+Business Media, 85-99."},{"issue":"3","key":"132_CR2","first-page":"26","volume":"12","author":"R Neches","year":"1991","unstructured":"Neches R, Fikes R, Finin T, Gruber T, Swartout W: Enabling technology for knowledge engineering. AI Magazine. 1991, 12 (3): 26-56.","journal-title":"AI Magazine"},{"key":"132_CR3","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1038\/nature01626","volume":"422","author":"F Collins","year":"2003","unstructured":"Collins F, Green E, Guttmacher A, Guyer M: A vision for the future of genomics research. Nature. 2003, 422: 835-847. 10.1038\/nature01626.","journal-title":"Nature"},{"key":"132_CR4","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat J, Shvaiko P: Ontology Matching. 2007, Berlin, Heidelberg: Springer-Verlag"},{"issue":"4","key":"132_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A Kalyanpur","year":"2006","unstructured":"Kalyanpur A, Parsia B, Sirin E, Hendler J: Debugging unsatisfiable classes in OWL ontologies. J Web Semantics. 2006, 3 (4): 268-293.","journal-title":"J Web Semantics"},{"key":"132_CR6","first-page":"170","volume-title":"Proceedings of the 3rd European Semantic Web Conference, Volume 4011 of LNCS","author":"A Kalyanpur","year":"2006","unstructured":"Kalyanpur A, Parsia B, Sirin E, Cuenca-Gray B: Repairing unsatisfiable concepts in OWL Ontologies. Proceedings of the 3rd European Semantic Web Conference, Volume 4011 of LNCS. 2006, Berlin, Heidelberg: Springer-Verlag, 170-184."},{"key":"132_CR7","first-page":"226","volume-title":"Proceedings of the 2nd European Semantic Web Conference, Volume 3532 of LNCS","author":"S Schlobach","year":"2005","unstructured":"Schlobach S: Debugging and semantic clarification by pinpointing. Proceedings of the 2nd European Semantic Web Conference, Volume 3532 of LNCS. 2005, Berlin, Heidelberg: Springer-Verlag, 226-240."},{"key":"132_CR8","first-page":"68","volume-title":"Workshop on Ontology Patterns, Volume 516 of CEUR Workshop Proceedings","author":"O Corcho","year":"2009","unstructured":"Corcho O, Roussey C, Vilches LM, P\u00e9rez I: Pattern-based OWL ontology debugging guidelines. Workshop on Ontology Patterns, Volume 516 of CEUR Workshop Proceedings. 2009:68-82."},{"issue":"12","key":"132_CR9","doi-asserted-by":"publisher","first-page":"1448","DOI":"10.1093\/bioinformatics\/btn194","volume":"24","author":"M Bada","year":"2008","unstructured":"Bada M, Hunter L: Identification of OBO nonalignments and its implication for OBO enrichment. Bioinformatics. 2008, 24 (12): 1448-1455. 10.1093\/bioinformatics\/btn194.","journal-title":"Bioinformatics"},{"key":"132_CR10","first-page":"76","volume-title":"Proceedings of the 4th Asian Semantic Web Conference, Volume 5926 of LNCS","author":"P Lambrix","year":"2009","unstructured":"Lambrix P, Liu Q, Tan H: Repairing the missing is-a structure of Ontologies. Proceedings of the 4th Asian Semantic Web Conference, Volume 5926 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 76-90."},{"key":"132_CR11","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/2166896.2166914","volume-title":"Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences","author":"P Lambrix","year":"2011","unstructured":"Lambrix P, Liu Q: Debugging is-a structure in networked taxonomies. Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences. 2011:58-65."},{"key":"132_CR12","first-page":"173","volume-title":"Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS","author":"E Jimenez-Ruiz","year":"2009","unstructured":"Jimenez-Ruiz E, Grau BC, Horrocks I, Berlanga R: Ontology integration using mappings: towards getting the right logical consequences. Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 173-187."},{"key":"132_CR13","first-page":"1408","volume-title":"Proceedings of the 22th Conference on Artificial Intelligence","author":"C Meilicke","year":"2007","unstructured":"Meilicke C, Stuckenschmidt H, Tamilin A: Repairing ontology mappings. Proceedings of the 22th Conference on Artificial Intelligence. 2007: AAAI Press, 1408-1413."},{"key":"132_CR14","first-page":"21","volume":"27","author":"P Wang","year":"2008","unstructured":"Wang P, Xu B: Debugging ontology mappings: a static approach. Comput Inform. 2008, 27: 21-36.","journal-title":"Comput Inform"},{"key":"132_CR15","first-page":"863","volume-title":"Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS","author":"Q Ji","year":"2009","unstructured":"Ji Q, Haase P, Qi G, Hitzler P, Stadtmuller S: RaDON - Repair and diagnosis in ontology networks. Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 863-867."},{"key":"132_CR16","unstructured":"MeSH: Medical Subject Headings. [http:\/\/www.nlm.nih.gov\/mesh\/]"},{"key":"132_CR17","unstructured":"PubMed::http:\/\/www.ncbi.nlm.nih.gov\/pubmed\/,"},{"key":"132_CR18","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-04581-3_8","volume-title":"Semantic Techniques for the Web: The REWERSE perspective","author":"Pb Lambrix","year":"2009","unstructured":"Lambrix Pb, Str\u00f6mb\u00e4ck L, Tan H: Information integration in bioinformatics with ontologies and standards. Semantic Techniques for the Web: The REWERSE perspective. Edited by: Bry Maluszynski, Bry Maluszynski . 2009, Berlin, Heidelberg: Springer-Verlag, 343-376."},{"key":"132_CR19","first-page":"73","volume-title":"Proceedings of the 4th International Workshop on Ontology Matching, Volume 551 of CEUR Workshop Proceedings","author":"J Euzenat","year":"2009","unstructured":"Euzenat J, Ferrara A, Hollink L, Isaac A, Joslyn C, Malais\u00e9 V, Meilicke C, Nikolov A, Pane J, Sabou M, Scharffe F, Shvaiko P, Spiliopoulos V, Stuckenschmidt H, \u0160v\u00e1b-Zamazal O, Sv\u00e1tek V, Trojahn C, Vouros G, Wang S: Results of the ontology alignment evaluation initiative 2009. Proceedings of the 4th International Workshop on Ontology Matching, Volume 551 of CEUR Workshop Proceedings. 2009:73-126."},{"key":"132_CR20","first-page":"623","volume-title":"Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS","author":"C Conroy","year":"2009","unstructured":"Conroy C, Brennan R, O\u2019Sullivan D, Lewis D: User evaluation study of a tagging approach to semantic mapping. Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 623-637."},{"key":"132_CR21","first-page":"188","volume-title":"Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS","author":"P Lambrix","year":"2009","unstructured":"Lambrix P, Liu Q: Using partial reference alignments to align ontologies. Proceedings of the 6th European Semantic Web Conference, Volume 5554 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 188-202."},{"key":"132_CR22","unstructured":"AMA: Adult Mouse Anatomical Dictionary. [http:\/\/www.informatics.jax.org\/searches\/AMA\u2216_form.shtml]"},{"key":"132_CR23","unstructured":"NCI-A: National Cancer Institute - Anatomy. [http:\/\/www.cancer.gov\/cancerinfo\/terminologyresources\/]"},{"key":"132_CR24","unstructured":"OAEI: Ontology Alignment Evaluation Initiative. [http:\/\/oaei.ontologymatching.org]"},{"key":"132_CR25","unstructured":"Meilicke C, Stuckenschmidt H: Anatomy track at the Ontology Alignment Evaluation Initiative 2011. [http:\/\/oaei.ontologymatching.org\/2011\/anatomy\/index.html]"},{"key":"132_CR26","unstructured":"WordNet: [http:\/\/wordnet.princeton.edu\/]"},{"key":"132_CR27","unstructured":"UMLS: Unified Medical Language System. [http:\/\/www.nlm.nih.gov\/research\/umls\/about\u2216_umls.html]"},{"key":"132_CR28","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R: A theory of diagnosis from first principles. Artif Intell. 1987, 32: 57-95. 10.1016\/0004-3702(87)90062-2.","journal-title":"Artif Intell"},{"key":"132_CR29","first-page":"25","volume-title":"Proceedings of the 1st International Workshop on Debugging Ontologies and Ontology Mappings","author":"V Ivanova","year":"2012","unstructured":"Ivanova V, Laurila Bergman J, Hammerling U, Lambrix P: Debugging Taxonomies and their Alignments: the ToxOntology - MeSH Use Case. Proceedings of the 1st International Workshop on Debugging Ontologies and Ontology Mappings. 2012:25-36."},{"issue":"3","key":"132_CR30","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/j.websem.2006.05.003","volume":"4","author":"P Lambrix","year":"2006","unstructured":"Lambrix P, Tan H: SAMBO - A System for aligning and merging biomedical ontologies. J Web Semantics. 2006, 4 (3): 196-206. 10.1016\/j.websem.2006.05.003.","journal-title":"J Web Semantics"},{"key":"132_CR31","first-page":"37","volume-title":"Proceedings of the 1st International Workshop on Debugging Ontologies and Ontology Mappings, Volume 79 of LECP","author":"V Ivanova","year":"2012","unstructured":"Ivanova V, Lambrix P: A system for debugging taxonomies and their alignments. Proceedings of the 1st International Workshop on Debugging Ontologies and Ontology Mappings, Volume 79 of LECP. 2012:37-42. [Demonstration]"},{"key":"132_CR32","first-page":"61","volume-title":"Proceedings of AMIA Annual Symposium","author":"O Bodenreider","year":"2005","unstructured":"Bodenreider O, Hayamizu T, Ringwald M, Coronado SD, Zhang S: Of mice and men: aligning mouse and human anatomies. Proceedings of AMIA Annual Symposium. 2005:61-65."},{"key":"132_CR33","first-page":"17","volume-title":"Proceedings of the 2nd Joint International Semantic Technology Conference, Volume 7774 of LNCS","author":"P Lambrix","year":"2013","unstructured":"Lambrix P, Dragisic Z, Ivanova V: Get my pizza right: repairing missing is-a relations in ALC ontologies. Proceedings of the 2nd Joint International Semantic Technology Conference, Volume 7774 of LNCS. 2013, Berlin, Heidelberg: Springer-Verlag, 17-32."},{"issue":"Suppl1","key":"132_CR34","doi-asserted-by":"publisher","first-page":"S4","DOI":"10.1186\/2041-1480-3-S1-S4","volume":"3","author":"E Beisswanger","year":"2012","unstructured":"Beisswanger E, Hahn U: Towards valid and reusable reference alignments A ten basic quality checks for ontology alignments and their application to three different reference data sets. J Biomed Semantics. 2012, 3 (Suppl1): S4-","journal-title":"J Biomed Semantics"},{"issue":"2","key":"132_CR35","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S0269888908001367","volume":"23","author":"G Flouris","year":"2008","unstructured":"Flouris G, Manakanatas D, Kondylakis H, Plexousakis D, Antoniou G: Ontology change: classification and survey. Knowledge Eng Rev. 2008, 23 (2): 117-152.","journal-title":"Knowledge Eng Rev"},{"key":"132_CR36","first-page":"182","volume-title":"Proceedings of the 2nd European Semantic Web Conference, Volume 3532 of LNCS","author":"P Haase","year":"2005","unstructured":"Haase P, Stojanovic L: Consistent evolution of OWL ontologies. Proceedings of the 2nd European Semantic Web Conference, Volume 3532 of LNCS. 2005, Berlin, Heidelberg: Springer-Verlag, 182-197."},{"key":"132_CR37","first-page":"521","volume-title":"Proceedings of the 8th International Semantic Web Conference, Volume 5823 of LNCS","author":"G Qi","year":"2009","unstructured":"Qi G, Ji Q, Haase P: A Conflict-based operator for mapping revision. Proceedings of the 8th International Semantic Web Conference, Volume 5823 of LNCS. 2009, Berlin, Heidelberg: Springer-Verlag, 521-536."},{"key":"132_CR38","first-page":"570","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence","author":"L Serafini","year":"2005","unstructured":"Serafini L, Borgida A, Tamilin A: Aspects of distributed and modular ontology reasoning. Proceedings of the 19th International Joint Conference on Artificial Intelligence. 2005:Morgan Kaufmann, Publishers Inc, 570-575."},{"key":"132_CR39","volume-title":"Ontology Learning from Text: Methods, Evaluation and Applications","author":"P Cimiano","year":"2005","unstructured":"Cimiano P, Buitelaar P, Magnini B: Ontology Learning from Text: Methods, Evaluation and Applications. 2005:IOS Press"},{"key":"132_CR40","doi-asserted-by":"publisher","first-page":"539","DOI":"10.3115\/992133.992154","volume-title":"Proceedings of the 14th International Conference on Computational Linguistics","author":"M Hearst","year":"1992","unstructured":"Hearst M: Automatic acquisition of hyponyms from large text corpora. Proceedings of the 14th International Conference on Computational Linguistics. 1992, Stroudsburg, PA, USA: Association for Computational Linguistics, 539-545."},{"key":"132_CR41","first-page":"135","volume-title":"Proceedings of the 26th German Conference on Artificial Intelligence, Volume 2821 of LNAI","author":"A Kumar","year":"2003","unstructured":"Kumar A, Smith B: The unified medical language system and the gene ontology: some critical reflections. Proceedings of the 26th German Conference on Artificial Intelligence, Volume 2821 of LNAI. 2003:Springer, 135-148."},{"key":"132_CR42","first-page":"1927","volume-title":"Proceedings of the 24th AAAI Conference on Artificial Intelligence","author":"H Erdogan","year":"2010","unstructured":"Erdogan H, Bodenreider O, Erdem E: Finding semantic inconsistencies in UMLS using answer set programming. Proceedings of the 24th AAAI Conference on Artificial Intelligence. 2010:AAAI Press, 1927-1928."}],"container-title":["Journal of Biomedical Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/2041-1480-4-10.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/2041-1480-4-10","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/2041-1480-4-10.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T00:21:41Z","timestamp":1790036501000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1186\/2041-1480-4-10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,31]]},"references-count":42,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2013,12]]}},"alternative-id":["132"],"URL":"https:\/\/doi.org\/10.1186\/2041-1480-4-10","relation":{},"ISSN":["2041-1480"],"issn-type":[{"value":"2041-1480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,31]]},"assertion":[{"value":"30 March 2012","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2013","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 March 2013","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"10"}}