{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:07:26Z","timestamp":1725721646630},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642379956"},{"type":"electronic","value":"9783642379963"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37996-3_2","type":"book-chapter","created":{"date-parts":[[2013,4,8]],"date-time":"2013-04-08T04:36:22Z","timestamp":1365395782000},"page":"17-32","source":"Crossref","is-referenced-by-count":9,"title":["Get My Pizza Right: Repairing Missing is-a Relations in ${\\cal ALC}$ Ontologies"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lambrix","sequence":"first","affiliation":[]},{"given":"Zlatan","family":"Dragisic","sequence":"additional","affiliation":[]},{"given":"Valentina","family":"Ivanova","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"issue":"12","key":"2_CR2","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\u00a024(12), 1448\u20131455 (2008)","journal-title":"Bioinformatics"},{"key":"2_CR3","unstructured":"Cimiano, P., Buitelaar, P., Magnini, B.: Ontology Learning from Text: Methods, Evaluation and Applications. IOS Press (2005)"},{"key":"2_CR4","unstructured":"Colucci, S., Di Noia, T., Di Sciascio, E., Donini, F., Mongiello, M.: A uniform tableaux-based approach to concept abduction and contraction in ALN. In: International Workshop on Description Logics, pp. 158\u2013167 (2004)"},{"key":"2_CR5","unstructured":"Corcho, O., Roussey, C., Vilches, L.M., P\u00e9rez, I.: Pattern-based owl ontology debugging guidelines. In: Workshop on Ontology Patterns, pp. 68\u201382 (2009)"},{"key":"2_CR6","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, pp. 739\u2013745 (2009)"},{"key":"2_CR7","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, pp. 1160\u20131165 (2011)","DOI":"10.1609\/aaai.v25i1.8070"},{"key":"2_CR8","unstructured":"Elsenbroich, C., Kutz, O., Sattler, U.: A case for abductive reasoning over ontologies. In: OWL: Experiences and Directions (2006)"},{"issue":"2","key":"2_CR9","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 Engineering Review\u00a023(2), 117\u2013152 (2008)","journal-title":"Knowledge Engineering Review"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11431053_13","volume-title":"The Semantic Web: Research and Applications","author":"P. Haase","year":"2005","unstructured":"Haase, P., Stojanovic, L.: Consistent Evolution of OWL Ontologies. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hearst, M.: Automatic acquisition of hyponyms from large text corpora. In: 14th International Conference on Computational Linguistics, pp. 539\u2013545 (1992)","DOI":"10.3115\/992133.992154"},{"key":"2_CR12","unstructured":"Hubauer, T., Lamparter, S., Pirker, M.: Automata-based abduction for tractable diagnosis. In: International Workshop on Description Logics, pp. 360\u2013371 (2010)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"The Semantic Web: Research and Applications","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: RaDON \u2014 repair and diagnosis in ontology networks. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 863\u2013867. Springer, Heidelberg (2009)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 173\u2013187. Springer, Heidelberg (2009)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11762256_15","volume-title":"The Semantic Web: Research and Applications","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 170\u2013184. Springer, Heidelberg (2006)"},{"issue":"4","key":"2_CR16","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. Journal of Web Semantics\u00a03(4), 268\u2013293 (2006)","journal-title":"Journal of Web Semantics"},{"key":"2_CR17","doi-asserted-by":"publisher","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 ALC. Journal of Automated Reasoning\u00a046, 43\u201380 (2011)","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR18","unstructured":"Lambrix, P., Dragisic, Z., Ivanova, V.: Get my pizza right: Repairing missing is-a relations in ALC ontologies, extended version (2012), http:\/\/arxiv.org\/abs\/1210.7154"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Lambrix, P., Liu, Q.: Debugging is-a structure in networked taxonomies. In: 4th International Workshop on Semantic Web Applications and Tools for Life Sciences, pp. 58\u201365 (2011)","DOI":"10.1145\/2166896.2166914"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-10871-6_6","volume-title":"The Semantic Web","author":"P. Lambrix","year":"2009","unstructured":"Lambrix, P., Liu, Q., Tan, H.: Repairing the Missing is-a Structure of Ontologies. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol.\u00a05926, pp. 76\u201390. Springer, Heidelberg (2009)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-04581-3_8","volume-title":"Semantic Techniques for the Web","author":"P. Lambrix","year":"2009","unstructured":"Lambrix, P., Str\u00f6mb\u00e4ck, L., Tan, H.: Information Integration in Bioinformatics with Ontologies and Standards. In: Bry, F., Maluszynski, J. (eds.) Semantic Techniques for the Web. LNCS, vol.\u00a05500, pp. 343\u2013376. Springer, Heidelberg (2009)"},{"key":"2_CR22","unstructured":"Lin, H., Sirin, E.: Pellint - a performance lint tool for pellet. In: OWL: Experiences and Directions (2008)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-48242-3_12","volume-title":"Logic Programming and Automated Reasoning","author":"C. Lutz","year":"1999","unstructured":"Lutz, C.: Complexity of terminiological reasoning revisited. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 181\u2013200. Springer, Heidelberg (1999)"},{"key":"2_CR24","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing Ontology Mappings. In: 22nd Conference on Artificial Intelligence, pp. 1408\u20131413 (2007)"},{"key":"2_CR25","unstructured":"MeSH. Medical subject headings, http:\/\/www.nlm.nih.gov\/mesh\/"},{"key":"2_CR26","unstructured":"Pizza Ontology v1.5, http:\/\/www.co-ode.org\/ontologies\/pizza\/2007\/02\/12\/"},{"key":"2_CR27","unstructured":"PubMed, http:\/\/www.ncbi.nlm.nih.gov\/pubmed\/"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-642-04930-9_33","volume-title":"The Semantic Web - ISWC 2009","author":"G. Qi","year":"2009","unstructured":"Qi, G., Ji, Q., Haase, P.: A Conflict-Based Operator for Mapping Revision. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 521\u2013536. Springer, Heidelberg (2009)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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_CR30","unstructured":"Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: 19th International Joint Conference on Artificial Intelligence, pp. 570\u2013575 (2005)"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Journal of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"Journal of Web Semantics"},{"key":"2_CR32","first-page":"21","volume":"27","author":"P. Wang","year":"2008","unstructured":"Wang, P., Xu, B.: Debugging ontology mappings: a static approach. Computing and Informatics\u00a027, 21\u201336 (2008)","journal-title":"Computing and Informatics"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37996-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,30]],"date-time":"2023-06-30T21:38:35Z","timestamp":1688161115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37996-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642379956","9783642379963"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37996-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}