{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:00:27Z","timestamp":1743138027549,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396656"},{"type":"electronic","value":"9783642396663"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39666-3_7","type":"book-chapter","created":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T03:05:35Z","timestamp":1373857535000},"page":"80-94","source":"Crossref","is-referenced-by-count":3,"title":["Computing Incoherence Explanations for Learned Ontologies"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Fleischhacker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Meilicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johanna","family":"V\u00f6lker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Niepert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.websem.2009.07.002","volume":"7","author":"C. Bizer","year":"2009","unstructured":"Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., Cyganiak, R., Hellmann, S.: DBpedia - a crystallization point for the web of data. Web Semantics\u00a07(3), 154\u2013165 (2009)","journal-title":"Web Semantics"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1613\/jair.1648","volume":"24","author":"P. Cimiano","year":"2005","unstructured":"Cimiano, P., Hotho, A., Staab, S.: Learning concept hierarchies from text corpora using formal concept analysis. Journal of Artificial Intelligence Research\u00a024, 305\u2013339 (2005)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artificial Intelligence\u00a012(3), 231\u2013272 (1979)","journal-title":"Artificial Intelligence"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1007\/978-3-642-33615-7_18","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"D. Fleischhacker","year":"2012","unstructured":"Fleischhacker, D., V\u00f6lker, J., Stuckenschmidt, H.: Mining RDF data for property axioms. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012, Part II. LNCS, vol.\u00a07566, pp. 718\u2013735. Springer, Heidelberg (2012)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-17746-0_15","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"B. Glimm","year":"2010","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G.: Optimising ontology classification. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 225\u2013240. Springer, Heidelberg (2010)"},{"key":"7_CR6","unstructured":"Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in DL-based ontologies. In: Flouris, G., d\u2019Aquin, M. (eds.) Proc. of the International Workshop on Ontology Dynamics, pp. 97\u2013109 (2007)"},{"key":"7_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-89765-1_21","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"P. Haase","year":"2008","unstructured":"Haase, P., V\u00f6lker, J.: Ontology learning and reasoning \u2014 dealing with uncertainty and inconsistency. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 366\u2013384. Springer, Heidelberg (2008)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-10871-6_21","volume-title":"The Semantic Web","author":"Q. Ji","year":"2009","unstructured":"Ji, Q., Qi, G., Haase, P.: A relevance-directed algorithm for finding justifications of DL entailments. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol.\u00a05926, pp. 306\u2013320. Springer, Heidelberg (2009)"},{"key":"7_CR9","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., Grau, B.C., 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":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","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)"},{"key":"7_CR11","first-page":"2639","volume":"10","author":"J. Lehmann","year":"2009","unstructured":"Lehmann, J.: DL-Learner: learning concepts in description logics. Journal of Machine Learning Research (JMLR)\u00a010, 2639\u20132642 (2009)","journal-title":"Journal of Machine Learning Research (JMLR)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-642-17749-1_12","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"J. Lehmann","year":"2010","unstructured":"Lehmann, J., B\u00fchmann, L.: ORE - A tool for repairing and enriching knowledge bases. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part II. LNCS, vol.\u00a06497, pp. 177\u2013193. Springer, Heidelberg (2010)"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-87696-0_11","volume-title":"Knowledge Engineering: Practice and Patterns","author":"C. Meilicke","year":"2008","unstructured":"Meilicke, C., V\u00f6lker, J., Stuckenschmidt, H.: Learning disjointness for debugging mappings between lightweight ontologies. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol.\u00a05268, pp. 93\u2013108. Springer, Heidelberg (2008)"},{"key":"7_CR14","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 \u2014 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":"7_CR15","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: International Joint Conference on Artificial Intelligence, vol.\u00a018, pp. 355\u2013362 (2003)"},{"key":"7_CR16","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., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semantics\u00a05, 51\u201353 (2007)","journal-title":"Web Semantics"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-21034-1_9","volume-title":"The Semantic Web: Research and Applications","author":"J. V\u00f6lker","year":"2011","unstructured":"V\u00f6lker, J., Niepert, M.: Statistical schema induction. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol.\u00a06643, pp. 124\u2013138. Springer, Heidelberg (2011)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"V\u00f6lker, J., Rudolph, S.: Fostering web intelligence by semi-automatic OWL ontology refinement. In: Proc. of the 7th International Conference on Web Intelligence (WI). IEEE (December 2008)","DOI":"10.1109\/WIIAT.2008.36"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Wu, G., Qi, G., Du, J.: Finding all justifications of owl entailments using tms and mapreduce. In: Proc. of the 20th ACM International Conference on Information and Knowledge Management, pp. 1425\u20131434. ACM (2011)","DOI":"10.1145\/2063576.2063782"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39666-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T15:34:12Z","timestamp":1683819252000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39666-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396656","9783642396663"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39666-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}