{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:49:29Z","timestamp":1742960969056,"version":"3.40.3"},"publisher-location":"Cham","reference-count":68,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030314224"},{"type":"electronic","value":"9783030314231"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31423-1_1","type":"book-chapter","created":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T17:03:56Z","timestamp":1568739836000},"page":"1-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Classical Algorithms for Reasoning and\u00a0Explanation in Description Logics"],"prefix":"10.1007","author":[{"given":"Birte","family":"Glimm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,13]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Arif, M.F., Menc\u00eda, C., Marques-Silva, J.: Efficient MUS enumeration of horn formulae with applications to axiom pinpointing. CoRR abs\/1505.04365 (2015)","DOI":"10.1007\/978-3-319-24318-4_24"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03754-2_1","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"F Baader","year":"2009","unstructured":"Baader, F.: Description logics. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 1\u201339. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_1"},{"key":"1_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 364\u2013369 (2005)"},{"key":"1_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00872105","volume":"4","author":"F Baader","year":"1994","unstructured":"Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.J.: An empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2), 109\u2013132 (1994)","journal-title":"Appl. Intell."},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1613\/jair.1.11257","volume":"63","author":"A Bate","year":"2018","unstructured":"Bate, A., Motik, B., Grau, B.C., Cucala, D.T., Simancik, F., Horrocks, I.: Consequence-based reasoning for description logics with disjunctions and number restrictions. J. Artif. Intell. Res. 63, 625\u2013690 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61630-6_1","volume-title":"Logics in Artificial Intelligence","author":"P Baumgartner","year":"1996","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper tableaux. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds.) JELIA 1996. LNCS, vol. 1126, pp. 1\u201317. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61630-6_1"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-49493-7_5","volume-title":"Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering","author":"M Bienvenu","year":"2017","unstructured":"Bienvenu, M., Bourgaux, C.: Inconsistency-tolerant querying of description logic knowledge bases. In: Pan, J.Z., et al. (eds.) Reasoning Web 2016. LNCS, vol. 9885, pp. 156\u2013202. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-49493-7_5"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-21768-0_9","volume-title":"Reasoning Web. Web Logic Rules","author":"M Bienvenu","year":"2015","unstructured":"Bienvenu, M., Ortiz, M.: Ontology-mediated query answering with data-tractable description logics. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 218\u2013307. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21768-0_9"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.12.010","volume":"222","author":"PA Bonatti","year":"2015","unstructured":"Bonatti, P.A., Faella, M., Petrova, I.M., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1\u201348 (2015)","journal-title":"Artif. Intell."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-49493-7_2","volume-title":"Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering","author":"E Botoeva","year":"2017","unstructured":"Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z., et al. (eds.) Reasoning Web 2016. LNCS, vol. 9885, pp. 27\u201389. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-49493-7_2"},{"key":"1_CR13","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and - what else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 298\u2013302. IOS Press (2004)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1613\/jair.4062","volume":"48","author":"G Casini","year":"2013","unstructured":"Casini, G., Straccia, U.: Defeasible inheritance-based description logics. J. Artif. Intell. Res. 48, 415\u2013473 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR15","unstructured":"Cucala, D.T., Grau, B.C., Horrocks, I.: Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions, and nominals. In: Lang, J. (ed.) Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), pp. 1970\u20131976. ijcai.org (2018)"},{"key":"1_CR16","doi-asserted-by":"publisher","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. 31, 273\u2013318 (2008)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Feld, M., M\u00fcller, C.: The automotive ontology: managing knowledge inside the vehicle and sharing it between cars. In: Proceedings of the 3rd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2011, pp. 79\u201386. ACM, New York (2011). http:\/\/doi.acm.org\/10.1145\/2381416.2381429","DOI":"10.1145\/2381416.2381429"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2012.10.004","volume":"195","author":"L Giordano","year":"2013","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/978-3-642-14203-1_39","volume-title":"Automated Reasoning","author":"B Glimm","year":"2010","unstructured":"Glimm, B., Horrocks, I., Motik, B.: Optimized description logic reasoning via core blocking. In: Giesl, J., H\u00e4hnle, R. (eds.) IJCAR 2010. LNCS (LNAI), vol. 6173, pp. 457\u2013471. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14203-1_39"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.websem.2011.12.007","volume":"14","author":"B Glimm","year":"2012","unstructured":"Glimm, B., Horrocks, I., Motik, B., Shearer, R., Stoilos, G.: A novel approach to ontology classification. J. Web Semant. 14, 84\u2013101 (2012)","journal-title":"J. Web Semant."},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C Golbreich","year":"2006","unstructured":"Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: experience and perspectives. J. Web Semant. 4(3), 181\u2013195 (2006)","journal-title":"J. Web Semant."},{"key":"1_CR22","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. In: Readings in Model-Based Diagnosis, pp. 49\u201353. Morgan Kaufmann Publishers Inc. (1992)"},{"key":"1_CR23","unstructured":"Group, T.W.W. (ed.): SPARQL 1.1 Overview. W3C Recommendation, 21 March 2013. http:\/\/www.w3.org\/TR\/sparql11-overview\/"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-45744-5_6","volume-title":"Automated Reasoning","author":"V Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.-Y.: Exploiting pseudo models for TBox and ABox reasoning in expressive description logics. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 61\u201375. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45744-5_6"},{"issue":"6","key":"1_CR25","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1093\/bib\/bbs053","volume":"14","author":"R Hoehndorf","year":"2012","unstructured":"Hoehndorf, R., Dumontier, M., Gkoutos, G.V.: Evaluation of research in biomedical ontologies. Briefings Bioinform. 14(6), 696\u2013712 (2012)","journal-title":"Briefings Bioinform."},{"key":"1_CR26","unstructured":"Horridge, M.: Justification based explanation in ontologies. Ph.D. thesis, University of Manchester, UK (2011)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-88564-1_21","volume-title":"The Semantic Web - ISWC 2008","author":"M Horridge","year":"2008","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A., et al. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323\u2013338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88564-1_21"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-17746-0_23","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"M Horridge","year":"2010","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Justification oriented proofs in OWL. In: Patel-Schneider, P.F., et al. (eds.) ISWC 2010. LNCS, vol. 6496, pp. 354\u2013369. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17746-0_23"},{"key":"1_CR29","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57\u201367. AAAI Press (2006)"},{"key":"1_CR30","unstructured":"Hudek, A.K., Weddell, G.E.: Binary absorption in tableaux-based reasoning for description logics. In: Proceedings of the 19th International Workshop on Description Logics (DL 2006), vol. 189. CEUR (2006)"},{"key":"1_CR31","unstructured":"Kazakov, Y.: $$\\cal{RIQ}$$ and $$\\cal{SROIQ}$$ are harder than $$\\cal{SHOIQ}$$. In: Brewka, G., Lang, J. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274\u2013284. AAAI Press (2008)"},{"key":"1_CR32","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn $$\\cal{SHIQ}$$ ontologies. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045. IJCAI (2009)"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-319-11915-1_13","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Klinov, P.: Goal-directed tracing of inferences in EL ontologies. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8797, pp. 196\u2013211. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11915-1_13"},{"key":"1_CR34","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: ELK: a reasoner for OWL EL ontologies. System description, University of Oxford (2012)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.websem.2017.05.005","volume":"44","author":"Evgeny Kharlamov","year":"2017","unstructured":"Kharlamov, E., et al.: Ontology based data access in statoil. Web Semant. Sci. Serv. Agents World Wide Web 44, 3\u201336 (2017)","journal-title":"Journal of Web Semantics"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-10587-1_5","volume-title":"Reasoning Web. Reasoning on the Web in the Big Data Era","author":"R Kontchakov","year":"2014","unstructured":"Kontchakov, R., Zakharyaschev, M.: An introduction to description logics and query rewriting. In: Koubarakis, M., et al. (eds.) Reasoning Web 2014. LNCS, vol. 8714, pp. 195\u2013244. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10587-1_5"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch, M., Marx, M., Ozaki, A., Thost, V.: Attributed description logics: reasoning on knowledge graphs. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, 13\u201319 July 2018. pp. 5309\u20135313. ijcai.org (2018). https:\/\/doi.org\/10.24963\/ijcai.2018\/743","DOI":"10.24963\/ijcai.2018\/743"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1007\/978-3-540-39718-2_57","volume-title":"The Semantic Web - ISWC 2003","author":"A Maier","year":"2003","unstructured":"Maier, A., Schnurr, H.-P., Sure, Y.: Ontology-based information integration in the automotive industry. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 897\u2013912. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39718-2_57"},{"key":"1_CR39","unstructured":"Manthey, N., Pe\u00f1aloza, R., Rudolph, S.: Efficient axiom pinpointing in $$\\cal{EL}$$ using SAT technology. In: Lenzerini, M., Pe\u00f1aloza, R. (eds.) Proceedings of the 29th International Workshop on Description Logics (DL 2016). CEUR Workshop Proceedings, vol. 1577. CEUR-WS.org (2016). http:\/\/ceur-ws.org\/Vol-1577\/paper_33.pdf"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.websem.2011.11.004","volume":"12","author":"B Motik","year":"2012","unstructured":"Motik, B.: Representing and querying validity time in RDF and OWL: a logic-based approach. J. Web Semant. 12, 3\u201321 (2012). https:\/\/doi.org\/10.1016\/j.websem.2011.11.004","journal-title":"J. Web Semant."},{"key":"1_CR41","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles. W3C Recommendation, 27 October 2009. http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-33158-9_1","volume-title":"Reasoning Web. Semantic Technologies for Advanced Query Answering","author":"M Ortiz","year":"2012","unstructured":"Ortiz, M., \u0160imkus, M.: Reasoning and query answering in description logics. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol. 7487, pp. 1\u201353. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33158-9_1"},{"key":"1_CR44","unstructured":"OWL Working Group, W.: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009. http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-030-22102-7_22","volume-title":"Description Logic, Theory Combination, and All That","author":"R Pe\u00f1aloza","year":"2019","unstructured":"Pe\u00f1aloza, R.: Explaining axiom pinpointing. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That. LNCS, vol. 11560, pp. 475\u2013496. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22102-7_22"},{"issue":"1","key":"1_CR46","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. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"3","key":"1_CR47","first-page":"227","volume":"1","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: Automatic deduction with hyper-resolution. Int. J. Comput. Math. 1(3), 227\u2013234 (1965)","journal-title":"Int. J. Comput. Math."},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35176-1_1","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"A Armas Romero","year":"2012","unstructured":"Armas Romero, A., Cuenca Grau, B., Horrocks, I.: MORe: modular combination of OWL reasoners for ontology classification. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 1\u201316. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35176-1_1"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-23032-5_2","volume-title":"Reasoning Web. Semantic Technologies for the Web of Data","author":"S Rudolph","year":"2011","unstructured":"Rudolph, S.: Foundations of description logics. In: Polleres, A., et al. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 76\u2013136. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23032-5_2"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-74615-7_2","volume-title":"Reasoning Web","author":"U Sattler","year":"2007","unstructured":"Sattler, U.: Reasoning in description logics: basics, extensions, and relatives. In: Antoniou, G., et al. (eds.) Reasoning Web 2007. LNCS, vol. 4636, pp. 154\u2013182. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74615-7_2"},{"key":"1_CR51","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. J. Artif. Intell. 48, 1\u201326 (1991)","journal-title":"J. Artif. Intell."},{"key":"1_CR52","unstructured":"Schreiber, G., Raimond, Y. (eds.): RDF 1.1 Primer. W3C Working Group Note, 24 June 2014. http:\/\/www.w3.org\/TR\/rdf11-primer\/"},{"key":"1_CR53","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). https:\/\/doi.org\/10.1007\/978-3-642-02959-2_6"},{"key":"1_CR54","unstructured":"Siman\u010d\u00edk, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1093\u20131098. AAAI Press\/IJCAI (2011)"},{"key":"1_CR55","unstructured":"Sirin, E.: From wine to water: optimizing description logic reasoning for nominals. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 90\u201399. AAAI Press (2006)"},{"issue":"2","key":"1_CR56","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. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"1_CR57","unstructured":"Steigmiller, A., Glimm, B., Liebig, T.: Optimised absorption for expressive description logics. In: Proceedings of the 27th International Workshop on Description Logics (DL 2014). CEUR Workshop Proceedings, vol. 1193. CEUR-WS.org (2014). https:\/\/www.uni-ulm.de\/fileadmin\/website_uni_ulm\/iui.inst.090\/Publikationen\/2014\/StGL14b.pdf"},{"key":"1_CR58","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27\u201328","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27\u201328, 78\u201385 (2014)","journal-title":"J. Web Semant."},{"key":"1_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-21768-0_1","volume-title":"Reasoning Web. Web Logic Rules","author":"U Straccia","year":"2015","unstructured":"Straccia, U.: All about fuzzy description logics and applications. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 1\u201331. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21768-0_1"},{"key":"1_CR60","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in knowledge representation. Ph.D. thesis, RWTH Aachen, Germany (2001)"},{"key":"1_CR61","unstructured":"Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 17th International Workshop on Description Logics (DL 2004), vol. 104. CEUR (2004)"},{"key":"1_CR62","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"},{"key":"1_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-41338-4_13","volume-title":"The Semantic Web \u2013 ISWC 2013","author":"T Tudorache","year":"2013","unstructured":"Tudorache, T., Nyulas, C.I., Noy, N.F., Musen, M.A.: Using semantic web in ICD-11: three years down the road. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8219, pp. 195\u2013211. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41338-4_13"},{"key":"1_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15543-7_1","volume-title":"Reasoning Web. Semantic Technologies for Software Engineering","author":"A-Y Turhan","year":"2010","unstructured":"Turhan, A.-Y.: Reasoning and explanation in $$\\cal{EL}$$ and in expressive description logics. In: A\u00dfmann, U., Bartho, A., Wende, C. (eds.) Reasoning Web 2010. LNCS, vol. 6325, pp. 1\u201327. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15543-7_1"},{"key":"1_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-39784-4_3","volume-title":"Reasoning Web. Semantic Technologies for Intelligent Data Access","author":"A-Y Turhan","year":"2013","unstructured":"Turhan, A.-Y.: Introductions to description logics \u2013 a guided tour. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Web 2013. LNCS, vol. 8067, pp. 150\u2013161. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39784-4_3"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Why is modal logic so robustly decidable? In: Immerman, N., Kolaitis, P.G. (eds.) Descriptive Complexity and Finite Models, Proceedings of a DIMACS Workshop 1996, Princeton, New Jersey, USA, 14\u201317 January 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 31, pp. 149\u2013183. DIMACS\/AMS (1996)","DOI":"10.1090\/dimacs\/031\/05"},{"key":"1_CR67","unstructured":"Vescovi, M.: Exploiting SAT and SMT techniques for automated reasoning and ontology manipulation in description logics. Ph.D. thesis, University of Trento, Italy (2011). http:\/\/eprints-phd.biblio.unitn.it\/477\/"},{"key":"1_CR68","unstructured":"Zhao, L., Ichise, R., Mita, S., Sasaki, Y.: Core ontologies for safe autonomous driving. In: Villata, S., Pan, J.Z., Dragoni, M. (eds.) Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), Bethlehem, PA, USA, 11 October 2015. CEUR Workshop Proceedings, vol. 1486. CEUR-WS.org (2015). http:\/\/ceur-ws.org\/Vol-1486\/paper_9.pdf"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Explainable Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31423-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T15:29:20Z","timestamp":1710170960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31423-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030314224","9783030314231"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31423-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}