{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:19:56Z","timestamp":1747887596249,"version":"3.41.0"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,3,28]],"date-time":"2015-03-28T00:00:00Z","timestamp":1427500800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Biomed Semant"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/s13326-015-0002-8","type":"journal-article","created":{"date-parts":[[2015,3,27]],"date-time":"2015-03-27T20:36:39Z","timestamp":1427488599000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Completing the is-a structure in light-weight ontologies"],"prefix":"10.1186","volume":"6","author":[{"given":"Patrick","family":"Lambrix","sequence":"first","affiliation":[]},{"given":"Fang","family":"Wei-Kleiner","sequence":"additional","affiliation":[]},{"given":"Zlatan","family":"Dragisic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,28]]},"reference":[{"key":"2_CR1","unstructured":"OBO. The open biological and biomedical ontologies. http:\/\/www.obofoundry.org\/ ."},{"key":"2_CR2","unstructured":"BioPortal. http:\/\/bioportal.bioontology.org\/ ."},{"key":"2_CR3","unstructured":"UMLS. Unified medical language system. http:\/\/www.nlm.nih.gov\/research\/umls\/about_umls.html ."},{"key":"2_CR4","unstructured":"SNOMED Clinical Terms. http:\/\/www.ihtsdo.org\/snomed-ct\/ ."},{"issue":"1","key":"2_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M Ashburner","year":"2000","unstructured":"Ashburner M, Ball CA, Blake JA, Botstein D, Butler H, Cherry JM, et al. Gene Ontology: Tool for the Unification of Biology. Nat Genet. 2000; 25(1):25\u201329.","journal-title":"Nat Genet"},{"key":"2_CR6","unstructured":"Baader F, Brandt S, Lutz C. Pushing the E \u2112 $\\mathcal {EL}$ envelope. In: 19th International Joint Conference on Artificial Intelligence: 2005. p. 364\u20139."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"TONES Ontology Repository. http:\/\/www.w3.org\/2001\/sw\/wiki\/TONES .","DOI":"10.1007\/978-1-137-11320-7_1"},{"key":"2_CR8","unstructured":"PubMed. http:\/\/www.ncbi.nlm.nih.gov\/pubmed\/ ."},{"key":"2_CR9","unstructured":"MeSH. Medical subject headings. http:\/\/www.nlm.nih.gov\/mesh\/ ."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Lambrix P, Str\u00f6mb\u00e4ck L, Tan H. Information Integration in Bioinformatics with Ontologies and Standards In: Bry and Maluszynski, editor. Semantic Techniques for the Web: The REWERSE perspective, chapter 8. Springer: 2009. p. 343\u201376.","DOI":"10.1007\/978-3-642-04581-3_8"},{"key":"2_CR11","unstructured":"Cimiano Ph, Buitelaar P, Magnini B. Ontology Learning from Text: Methods, Evaluation and Applications. IOS Press. 2005. ISBN: 978-1-58603-523-5."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Hartung M, Terwilliger J, Rahm E. Recent advances in schema and ontology evolution. In: Schema Matching and Mapping: 2011. p. 149\u201390.","DOI":"10.1007\/978-3-642-16518-4_6"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Hearst M. Automatic acquisition of hyponyms from large text corpora. In: 14th International Conference on Computational Linguistics: 1992. p. 539\u201345.","DOI":"10.3115\/992133.992154"},{"key":"2_CR14","unstructured":"Corcho O, Roussey C, Vilches LM, P\u00e9rez I. Pattern-based OWL ontology debugging guidelines. In: Workshop on Ontology Patterns: 2009. p. 68\u201382."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Keet M. Detecting and revising flaws in OWL object property expressions. In: 18th International Conference on Knowledge Engineering and Knowledge Management: 2012. p. 252\u201366.","DOI":"10.1007\/978-3-642-33876-2_23"},{"key":"2_CR16","unstructured":"Bodenreider O, Hayamizu T, Ringwald M, De Coronado S, Zhang S. Of mice and men: Aligning mouse and human anatomies. In: Proceedings of AMIA Annual Symposium: 2005. p. 61\u20135."},{"key":"2_CR17","unstructured":"Guarino N. Some ontological principles for designing upper level lexical resources. In: 1st International Conference on Language Resources and Evaluation: 1998."},{"issue":"12","key":"2_CR18","doi-asserted-by":"crossref","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\u201355.","journal-title":"Bioinformatics"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Lambrix P, Liu Q, Tan H. Repairing the Missing is-a Structure of Ontologies. In: 4th Asian Semantic Web Conference: 2009. p. 76\u201390.","DOI":"10.1007\/978-3-642-10871-6_6"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Ivanova V, Laurila Bergman J, Hammerling U, Lambrix P. Debugging taxonomies and their alignments: the ToxOntology - MeSH use case. In: 1st International Workshop on Debugging Ontologies and Ontology Mappings: 2012. p. 25\u201336.","DOI":"10.1007\/978-3-642-38288-8_1"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1186\/2041-1480-4-10","volume":"4","author":"P Lambrix","year":"2013","unstructured":"Lambrix P, Ivanova V. A unified approach for debugging is-a structure and mappings in networked taxonomies. J Biomed Semantics. 2013; 4:10.","journal-title":"J Biomed Semantics"},{"key":"2_CR22","unstructured":"Maedche A, Staab S. Discovering conceptual relations from text. In: 14th European Conference on Artificial Intelligence: 2000. p. 321\u20135."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Maedche A, Pekar V, Staab S. Ontology learning part one - on discovering taxonomic relations from the web. In: Zhong, Liu, Yao, editors. Web Intelligence. Heidelberg: Springer: 2003. p. 301\u201320.","DOI":"10.1007\/978-3-662-05320-1_14"},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.1648","volume":"24","author":"Ph Cimiano","year":"2005","unstructured":"Cimiano Ph, Hotho A, Staab S. Learning concept hierarchies from text corpora using formal concept analysis. J Artif Intelligence Res. 2005; 24:305\u201339.","journal-title":"J Artif Intelligence Res"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Zavitsanos E, Paliouras G, Vouros GA, Petridis S. Discovering subsumption hierarchies of ontology concepts from text corpora. In: IEEE\/WIC\/ACM International Conference on Web Intelligence: 2007. p. 402\u20138.","DOI":"10.1109\/WI.2007.55"},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.websem.2010.01.001","volume":"8","author":"V Spiliopoulos","year":"2010","unstructured":"Spiliopoulos V, Vouros G, Karkaletsis V. On the discovery of subsumption relations for the alignment of ontologies. J Web Semantics. 2010; 8:69\u201388.","journal-title":"J Web Semantics"},{"issue":"1","key":"2_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter","year":"1995","unstructured":"Eiter T, Gottlob G. The complexity of logic-based abduction. J ACM. 1995; 42(1):3\u201342.","journal-title":"J ACM"},{"key":"2_CR28","unstructured":"Kakas AC, Mancarella P. Database updates through abduction. In: 16th International Conference on Very Large Data Bases: 1990. p. 650\u201361."},{"key":"2_CR29","unstructured":"Elsenbroich C, Kutz O, Sattler U. A case for abductive reasoning over ontologies. In: OWL: Experiences and Directions: 2006."},{"key":"2_CR30","unstructured":"Lambrix P, Wei-Kleiner F, Dragisic Z, Ivanova V. Repairing missing is-a structure in ontologies is an abductive reasoning problem. In: 2nd International Workshop on Debugging Ontologies and Ontology Mappings: 2013. p. 33\u201344."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Kazakov Y, Kr\u00f6tzsch M, Siman\u010d\u00edk F. Concurrent classification of E \u2112 $\\mathcal {EL}$ ontologies. In: 10th International Semantic Web Conference: 2011. p. 305\u201320.","DOI":"10.1007\/978-3-642-25073-6_20"},{"key":"2_CR32","unstructured":"WordNet. http:\/\/wordnet.princeton.edu\/ ."},{"key":"2_CR33","unstructured":"Uberon. http:\/\/uberon.org\/ ."},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.datak.2013.03.003","volume":"86","author":"P Lambrix","year":"2013","unstructured":"Lambrix P, Liu Q. Debugging the missing is-a structure within taxonomies networked by partial reference alignments. Data & Knowledge Eng. 2013; 86:179\u2013205.","journal-title":"Data & Knowledge Eng"},{"issue":"10","key":"2_CR35","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MC.1983.1654194","volume":"16","author":"RJ Brachman","year":"1983","unstructured":"Brachman RJ. What IS-A is and isn\u2019t: An analysis of taxonomic links in semantic networks. IEEE Comput. 1983; 16(10):30\u20136.","journal-title":"IEEE Comput"},{"key":"2_CR36","unstructured":"Johansson I, Klein B. Four kinds of \u201cis-a\u201d relations: genus-subsumption, determinable subsumption, specification, and specialization. In: 3rd International Workshop on Philosopy and Informatics: 2006."},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"R46","DOI":"10.1186\/gb-2005-6-5-r46","volume":"6","author":"B Smith","year":"2005","unstructured":"Smith B, Ceusters W, Klagges B, K\u00f6hler J, Kumar A, Lomax J, Mugall C, Neuhaus F, Rector AL, Rosse C. Relations in biomedical ontologies. Genome Biol. 2005; 6:R46.","journal-title":"Genome Biol"},{"key":"2_CR38","unstructured":"OBO RO. http:\/\/code.google.com\/p\/obo-relations\/ ."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Ivanova V, Lambrix P. A unified approach for aligning taxonomies and debugging taxonomies and their alignments. In: 10th Extended, Semantic Web Conference: 2013. p. 1\u201315.","DOI":"10.1007\/978-3-642-38288-8_1"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Lambrix P, Dragisic Z, Ivanova V. Get my pizza right: Repairing missing is-a relations in A \u2112 C $\\mathcal {ALC}$ ontologies. In: 2nd Joint International Semantic Technology Conference: 2012. p. 17\u201332.","DOI":"10.1007\/978-3-642-37996-3_2"},{"key":"2_CR41","unstructured":"Hubauer T, Lamparter S, Pirker M. Automata-based abduction for tractable diagnosis. In: International Workshop on Description Logics: 2010. p. 360\u201371."},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"W\u00e4chter T, Tan H, Wobst A, Lambrix P, Schroeder M. A corpus-driven approach for design, evolution and alignment of ontologies. In: Winter Simulation Conference: 2006. p. 1595\u2013602.","DOI":"10.1109\/WSC.2006.322932"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Arnold P, Rahm E. Semantic enrichment of ontology mappings: A linguistic-based approach. In: 17th East European Conference on Advances in Databases and Information Systems: 2013. p. 42\u201355.","DOI":"10.1007\/978-3-642-40683-6_4"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Dos Reis JC, Dinh D, Pruski C, Da Silveira M, Reynaud-Delaitre C. Mapping adaptation actions for the automatic reconciliation of dynamic ontologies. In: 22nd ACM International, Conference on Information and Knowledge Management: 2013. p. 599\u2013608.","DOI":"10.1145\/2505515.2505564"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Haase P, Stojanovic L. Consistent Evolution of OWL Ontologies. In: 2nd European, Semantic Web Conference: 2005. p. 182\u201397.","DOI":"10.1007\/11431053_13"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Schlobach S. Debugging and Semantic Clarification by Pinpointing. In: 2nd European Semantic Web Conference: 2005. p. 226\u201340.","DOI":"10.1007\/11431053_16"},{"issue":"4","key":"2_CR47","doi-asserted-by":"crossref","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\u201393.","journal-title":"J Web Semantics"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Sirin E, Cuenca-Grau B. Repairing Unsatisfiable Concepts in OWL Ontologies. In: 3rd European Semantic Web Conference: 2006. p. 170\u201384.","DOI":"10.1007\/11762256_15"},{"issue":"2","key":"2_CR49","doi-asserted-by":"crossref","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\u201352.","journal-title":"Knowledge Eng Rev"},{"key":"2_CR50","unstructured":"Meilicke C, Stuckenschmidt H, Tamilin A. Repairing Ontology Mappings. In: 22th National Conference on Artificial Intelligence: 2007. p. 1408\u201313."},{"key":"2_CR51","first-page":"21","volume":"27","author":"P Wang","year":"2008","unstructured":"Wang P, Xu B. Debugging ontology mappings: a static approach. Comput Inf. 2008; 27:21\u201336.","journal-title":"Comput Inf"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Ji Q, Haase P, Qi G, Hitzler P, Stadtmuller S. RaDON - repair and diagnosis in ontology networks. In: 6th European Semantic Web Conference: 2009. p. 863\u20137.","DOI":"10.1007\/978-3-642-02121-3_71"},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"Qi G, Ji Q, Haase P. A Conflict-Based Operator for Mapping Revision. In: 8th International Semantic Web Conference: 2009. p. 521\u201336.","DOI":"10.1007\/978-3-642-04930-9_33"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Jimenez-Ruiz E, Cuenca Grau B, Horrocks I, Berlanga R. Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. In: 6th European Semantic Web Conference: 2009. p. 173\u201387.","DOI":"10.1007\/978-3-642-02121-3_16"},{"key":"2_CR55","unstructured":"Cuenca Grau B, Dragisic Z, Eckert K, Euzenat J, Ferrara A, Granada R, et al.Results of the ontology alignment evaluation initiative 2013. In: 8th International Workshop on Ontology Matching: 2013. p. 61\u2013100."},{"key":"2_CR56","unstructured":"Pesquita C, Faria D, Santos E, Couto FM. To repair or not to repair: reconciling correctness and coherence in ontology reference alignments. In: 8th International Workshop on Ontology Matching: 2013. p. 13\u201324."},{"key":"2_CR57","unstructured":"Colucci S, Di Noia T, Di Sciascio E, Donini F, Mongiello M. A uniform tableaux-based approach to concept abduction and contraction in A \u2112 N $\\mathcal {ALN}$ . In: International Workshop on Description Logics: 2004. p. 158\u201367."},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Donini F, Colucci S, Di Noia T, Di Sciasco E. A tableaux-based method for computing least common subsumers for expressive description logics. In: 21st International Joint Conference on Artificial Intelligence: 2009. p. 739\u201345.","DOI":"10.3233\/978-1-58603-891-5-739"},{"key":"2_CR59","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.2153","volume":"29","author":"T Di Noia","year":"2007","unstructured":"Di Noia T, Di Sciascio E, Donini F. Semantic matchmaking as non-monotonic reasoning: A description logic approach. J Artif Intelligence Res. 2007; 29:269\u2013307.","journal-title":"J Artif Intelligence Res"},{"key":"2_CR60","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S Klarman","year":"2011","unstructured":"Klarman S, Endriss U, Schlobach S. Abox abduction in the description logic A \u2112 C $\\mathcal {ALC}$ . J Autom Reasoning. 2011; 46:43\u201380.","journal-title":"J Autom Reasoning"},{"key":"2_CR61","unstructured":"Halland K, Britz K. Naive abox abduction in A \u2112 C $\\mathcal {ALC}$ using a DL tableau. In: 25th International Workshop on Description Logics: 2012. p. 443\u201353."},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"Du J, Qi G, Shen Y-D, Pan J. Towards practical Abox abduction in large OWL DL ontologies. In: 25th AAAI Conference on Artificial Intelligence: 2011. p. 1160\u20135.","DOI":"10.1609\/aaai.v25i1.8070"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Du J, Wang K, Shen Y. A tractable approach to abox abduction over description logic ontologies. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence: 2014. p. 1034\u201340.","DOI":"10.1609\/aaai.v28i1.8852"},{"key":"2_CR64","unstructured":"Calvanese D, Ortiz M, Simkus M, Stefanoni G. The complexity of explaining negative query answers in DL-Lite. In: 13th International Conference on Principles of Knowledge Representation and Reasoning: 2012. p. 583\u20137."},{"key":"2_CR65","unstructured":"Bienvenu M. Complexity of abduction in the E \u2112 $\\mathcal {EL}$ family of lightweight description logics: 2008. p. 220\u201330."},{"key":"2_CR66","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS. Computers and Intractability: A Guide to the Theory of NP-Completeness. New York, NY, USA: W. H. Freeman & Co; 1979. ISBN: 978-0716710455."},{"key":"2_CR67","doi-asserted-by":"crossref","unstructured":"Friedrich G, Gottlob G, Nejdl W. Hypothesis classification, abductive diagnosis and therapy. In: International Workshop on Expert Systems in Engineering: Principles and Applications: 1990. p. 69\u201378.","DOI":"10.1007\/3-540-53104-1_32"},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Wei-Kleiner F, Dragisic Z, Lambrix P. Abduction framework for repairing incomplete E \u2112 $\\mathcal {EL}$ ontologies: Complexity results and algorithms. In: 28th AAAI Conference on, Artificial Intelligence: 2014. p. 1120\u20137.","DOI":"10.1609\/aaai.v28i1.8858"}],"container-title":["Journal of Biomedical Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13326-015-0002-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13326-015-0002-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13326-015-0002-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:50:29Z","timestamp":1747849829000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jbiomedsem.com\/content\/6\/1\/12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,28]]},"references-count":68,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["2"],"URL":"https:\/\/doi.org\/10.1186\/s13326-015-0002-8","relation":{},"ISSN":["2041-1480"],"issn-type":[{"type":"electronic","value":"2041-1480"}],"subject":[],"published":{"date-parts":[[2015,3,28]]},"article-number":"12"}}