{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:14Z","timestamp":1750308074383,"version":"3.41.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319580678"},{"type":"electronic","value":"9783319580685"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-58068-5_32","type":"book-chapter","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T06:53:04Z","timestamp":1494831184000},"page":"518-533","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Lean Kernels in Description Logics"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Menc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Ignatiev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joao","family":"Marques-Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,16]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Arif, M.F., Menc\u00eda, C., Ignatiev, A., Manthey, N., Pe\u00f1aloza, R., Marques-Silva, J.: BEACON: An efficient SAT-based tool for debugging EL+ ontologies. In: SAT, pp. 521\u2013530 (2016)","DOI":"10.1007\/978-3-319-40970-2_32"},{"key":"32_CR2","unstructured":"Romero, A.A.: Ontology module extraction and applications to ontology classification. Ph.D. thesis, University of Oxford, UK (2015)"},{"key":"32_CR3","unstructured":"Romero, A.A., Kaminski, M., Grau, B.C., Horrocks, I.: Ontology module extraction via datalog reasoning. In: AAAI, pp. 1410\u20131416 (2015)"},{"key":"32_CR4","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1613\/jair.4898","volume":"55","author":"AA Romero","year":"2016","unstructured":"Romero, A.A., Kaminski, M., Cuenca Grau, B., Horrocks, I.: Module extraction in expressive ontology languages via datalog reasoning. JAIR 55, 499\u2013564 (2016)","journal-title":"JAIR"},{"key":"32_CR5","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{E\\!L}$$ envelope. In: IJCAI, pp. 364\u2013369 (2005)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"32_CR6","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"32_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.websem.2011.11.006","volume":"12\u201313","author":"F Baader","year":"2012","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12\u201313, 22\u201340 (2012)","journal-title":"J. Web Semant."},{"key":"32_CR8","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $$\\cal{EL}^{+}$$. In: KR-MED (2008)"},{"key":"32_CR9","unstructured":"Bate, A., Motik, B., Grau, B.C., Simancik, F., Horrocks, I.: Extending consequence-based reasoning to SRIQ. In: KR, pp. 187\u2013196 (2016)"},{"issue":"2","key":"32_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3233\/AIC-2012-0523","volume":"25","author":"A Belov","year":"2012","unstructured":"Belov, A., Lynce, I., Marques-Silva, J.: Towards efficient MUS extraction. AI Commun. 25(2), 97\u2013116 (2012)","journal-title":"AI Commun."},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-319-08587-6_37","volume-title":"Automated Reasoning","author":"\u0130\u0130 Ceylan","year":"2014","unstructured":"Ceylan, \u0130\u0130., Pe\u00f1aloza, R.: The bayesian description logic $${\\cal{BEL}}$$. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 480\u2013494. Springer, Cham (2014). doi:10.1007\/978-3-319-08587-6_37"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: Extracting modules from ontologies. In: WWW, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"32_CR13","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. J. Artif. Intell. Res. (JAIR) 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-01907-4_8","volume-title":"Modular Ontologies","author":"B Cuenca Grau","year":"2009","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Extracting modules from ontologies: A logic-based approach. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 159\u2013186. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-01907-4_8"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-41335-3_6","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"C Vescovo","year":"2013","unstructured":"Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., Tsarkov, D.: Empirical study of logic-based modules: Cheap is cheerful. In: Alani, H., Kagal, L., Fokoue, A., Groth, P., Biemann, C., Parreira, J.X., Aroyo, L., Noy, N., Welty, C., Janowicz, K. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 84\u2013100. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-41335-3_6"},{"key":"32_CR16","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., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-76298-0_20"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Kaminski, M., Nenov, Y., Grau, B.C.: Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning. In: AAAI, pp. 1077\u20131083 (2014)","DOI":"10.1609\/aaai.v28i1.8854"},{"key":"32_CR18","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Boutilier, C. (ed.) IJCAI 2009, pp. 2040\u20132045 (2009)"},{"issue":"1","key":"32_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Simancik, F.: The incredible ELK - from polynomial procedures to efficient reasoning with $$\\cal{E\\!L}$$ ontologies. JAR 53(1), 1\u201361 (2014)","journal-title":"JAR"},{"key":"32_CR20","unstructured":"B\u00fcning, H.K., Kullmann, O.: Minimal unsatisfiability and autarkies. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185, pp. 339\u2013401. IOS Press (2009)"},{"issue":"1\u20133","key":"32_CR21","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0166-218X(00)00262-6","volume":"107","author":"O Kullmann","year":"2000","unstructured":"Kullmann, O.: Investigations on autark assignments. Discrete Appl. Math. 107(1\u20133), 99\u2013137 (2000)","journal-title":"Discrete Appl. Math."},{"key":"32_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11814948_4","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"O Kullmann","year":"2006","unstructured":"Kullmann, O., Lynce, I., Marques-Silva, J.: Categorisation of clauses in conjunctive normal forms: Minimally unsatisfiable sub-clause-sets and the lean kernel. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol. 4121, pp. 22\u201335. Springer, Heidelberg (2006). doi:10.1007\/11814948_4"},{"issue":"2","key":"32_CR23","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.artint.2004.11.002","volume":"163","author":"P Liberatore","year":"2005","unstructured":"Liberatore, P.: Redundancy in logic I: CNF propositional formulae. Artif. Intell. 163(2), 203\u2013232 (2005)","journal-title":"Artif. Intell."},{"issue":"2","key":"32_CR24","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10601-015-9183-0","volume":"21","author":"MH Liffiton","year":"2016","unstructured":"Liffiton, M.H., Previti, A., Malik, A., Marques-Silva, J.: Fast, flexible MUS enumeration. Constraints 21(2), 223\u2013250 (2016)","journal-title":"Constraints"},{"key":"32_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-540-79719-7_18","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008","author":"M Liffiton","year":"2008","unstructured":"Liffiton, M., Sakallah, K.: Searching for autarkies to trim unsatisfiable clause sets. In: Kleine B\u00fcning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol. 4996, pp. 182\u2013195. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-79719-7_18"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Ludwig, M., Pe\u00f1aloza, R.: Error-tolerant reasoning in the description logic $$\\cal{E\\!L}$$. In: JELIA, pp. 107\u2013121 (2014)","DOI":"10.1007\/978-3-319-11558-0_8"},{"key":"32_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-319-48758-8_22","volume-title":"Logics in Artificial Intelligence","author":"J Marques-Silva","year":"2016","unstructured":"Marques-Silva, J., Ignatiev, A., Menc\u00eda, C., Pe\u00f1aloza, R.: Efficient reasoning for inconsistent horn formulae. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 336\u2013352. Springer, Cham (2016). doi:10.1007\/978-3-319-48758-8_22"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Ignatiev, A., Morgado, A., Manquinho, V.M., Lynce, I.: Efficient autarkies. In: ECAI, pp. 603\u2013608 (2014)","DOI":"10.3233\/978-1-61499-419-0-603"},{"issue":"1","key":"32_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(88)90124-X","volume":"29","author":"M Minoux","year":"1988","unstructured":"Minoux, M.: LTUR: A simplified linear-time unit resolution algorithm for horn formulae and computer implementation. Inf. Process. Lett. 29(1), 1\u201312 (1988)","journal-title":"Inf. Process. Lett."},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: On the complexity of axiom pinpointing in the $$\\cal{E\\!L}$$ family of description logics. In: KR (2010)","DOI":"10.25368\/2022.173"},{"issue":"5","key":"32_CR31","doi-asserted-by":"publisher","first-page":"477","DOI":"10.3233\/SW-140154","volume":"6","author":"F Riguzzi","year":"2015","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semant. Web 6(5), 477\u2013501 (2015)","journal-title":"Semant. Web"},{"issue":"1","key":"32_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"32_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-02959-2_6","volume-title":"Automated Deduction \u2013 CADE-22","author":"R Sebastiani","year":"2009","unstructured":"Sebastiani, R., Vescovi, M.: Axiom pinpointing in lightweight description logics via horn-SAT encoding and conflict analysis. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 84\u201399. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-02959-2_6"},{"key":"32_CR34","unstructured":"Sebastiani, R., Vescovi, M.: Axiom pinpointing in large $$\\cal{EL}^+$$ ontologies via SAT and SMT techniques. Technical Report DISI-15-010, DISI, University of Trento, Italy, April 2015. http:\/\/disi.unitn.it\/rseba\/elsat\/elsat_techrep.pdf"},{"key":"32_CR35","unstructured":"Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: IJCAI 2011, pp. 1093\u20131098 (2011). IJCAI\/AAAI"},{"key":"32_CR36","doi-asserted-by":"crossref","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for $$\\cal{EL}^+$$ ontologies. In: ESWC, pp. 230\u2013244 (2008)","DOI":"10.1007\/978-3-540-68234-9_19"},{"key":"32_CR37","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. Ph.D. thesis, TU Dresden (2009)"},{"key":"32_CR38","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. 5367, pp. 1\u201315. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-89704-0_1"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58068-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:59:04Z","timestamp":1750262344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-58068-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319580678","9783319580685"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58068-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"16 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portoro\u017e","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovenia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esws2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2017.eswc-conferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}