{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:40:09Z","timestamp":1743144009336,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_8","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"107-121","source":"Crossref","is-referenced-by-count":9,"title":["Error-Tolerant Reasoning in the Description Logic $\\mathcal{E{\\kern-.1em}L}$"],"prefix":"10.1007","author":[{"given":"Michel","family":"Ludwig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proceedings of the 18th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 1999), pp. 68\u201379. ACM (1999)","DOI":"10.1145\/303976.303983"},{"key":"8_CR2","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 325\u2013330. Morgan Kaufmann (2003)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. Journal of Web Semantics 12-13, 22\u201340 (2012), available at http:\/\/dx.doi.org\/10.1016\/j.websem.2011.11.006","DOI":"10.1016\/j.websem.2011.11.006"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. Journal of Automated Reasoning\u00a045(2), 91\u2013129 (2010)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. Journal of Logic and Computation\u00a020(1), 5\u201334 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR7","series-title":"Lecture Notes in Artificial Intelligence","first-page":"52","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $\\mathcal{EL}^+$. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"8_CR8","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$. In: Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED 2008): Representing and Sharing Knowledge Using SNOMED, vol.\u00a0410, CEUR-WS (2008)"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00379ED1V01Y201108DTM020","volume":"3","author":"L. Bertossi","year":"2011","unstructured":"Bertossi, L.: Database repairing and consistent query answering. Synthesis Lectures on Data Management\u00a03(5), 1\u2013121 (2011)","journal-title":"Synthesis Lectures on Data Management"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Bienvenu, M.: On the complexity of consistent query answering in the presence of simple ontologies. In: Proceedings of the 26th Natonal Conference on Artificial Intelligence, AAAI 2012 (2012)","DOI":"10.1609\/aaai.v26i1.8218"},{"key":"8_CR11","unstructured":"Bienvenu, M., Rosati, R.: Tractable approximations of consistent query answering for robust ontology-based data access. In: Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). AAAI Press (2013)"},{"key":"8_CR12","unstructured":"Booth, R., Meyer, T., Varzinczak, I.J.: First steps in $\\mathcal{E{\\kern-.1em}L}$ contraction. In: Proceedings of the 2009 Workshop on Automated Reasoning About Context and Ontology Evolution, ARCOE 2009 (2009)"},{"key":"8_CR13","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and - what else? In: de\u00a0M\u00e1ntaras, R.L., Saitta, L. (eds.) Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004). pp. 298\u2013302. IOS Press (2004)"},{"key":"8_CR14","unstructured":"Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Tech. rep., SNOMED International, Northfield, IL: College of American Pathologists (1993)"},{"key":"8_CR15","unstructured":"Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. Tech. Rep. CD-TR 91\/16, Christian Doppler Laboratory for Expert Systems, TU Vienna (1991)"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0166-218X(93)90045-P","volume":"42","author":"G. Gallo","year":"1993","unstructured":"Gallo, G., Longo, G., Pallottino, S.: Directed hypergraphs and applications. Discrete Applied Mathematics\u00a042(2), 177\u2013201 (1993)","journal-title":"Discrete Applied Mathematics"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0020-0190(88)90065-8","volume":"27","author":"D.S. Johnson","year":"1988","unstructured":"Johnson, D.S., Yannakakis, M., Papadimitriou, C.H.: On generating all maximal independent sets. Information Processing Letters\u00a027(3), 119\u2013123 (1988)","journal-title":"Information Processing Letters"},{"key":"8_CR18","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.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"key":"8_CR19","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn SHIQ ontologies. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 2040\u20132045 (2009)"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y. Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: From polynomial procedures to efficient reasoning with $\\mathcal{EL}$ ontologies. Journal of Automated Reasoning\u00a053, 1\u201361 (2014)","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/net.3230140403","volume":"14","author":"A.S. Lapaugh","year":"1984","unstructured":"Lapaugh, A.S., Papadimitriou, C.H.: The even-path problem for graphs and digraphs. Networks\u00a014(4), 507\u2013513 (1984), \n                      http:\/\/dx.doi.org\/10.1002\/net.3230140403","journal-title":"Networks"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D. Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol.\u00a06333, pp. 103\u2013117. Springer, Heidelberg (2010)"},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0020-0190(02)00506-9","volume":"86","author":"L. Lin","year":"2003","unstructured":"Lin, L., Jiang, Y.: The computation of hitting sets: Review and new algorithms. Information Processing Letters\u00a086(4), 177\u2013184 (2003)","journal-title":"Information Processing Letters"},{"key":"8_CR24","unstructured":"Ludwig, M.: Just: A tool for computing justifications w.r.t. $\\mathcal{E{\\kern-.1em}L}$ ontologies. In: Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation, ORE 2014 (2014)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Ludwig, M., Pe\u00f1aloza, R.: Error-tolerant reasoning in the description logic $\\mathcal{E{\\kern-.1em}L}$. LTCS-Report 14-11, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden, Dresden, Germany (2014), see \n                      http:\/\/lat.inf.tu-dresden.de\/research\/reports.html\n                    .","DOI":"10.25368\/2022.209"},{"key":"8_CR26","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: Complexity of axiom pinpointing in the DL-Lite family of description logics. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 29\u201334. IOS Press (2010)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: On the complexity of axiom pinpointing in the $\\mathcal{E{\\kern-.1em}L}$ family of description logics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)","DOI":"10.25368\/2022.173"},{"key":"8_CR28","unstructured":"Pe\u00f1aloza, R.: Axiom-Pinpointing in Description Logics and Beyond. Ph.D. thesis, Dresden University of Technology, Germany (2009)"},{"issue":"1","key":"8_CR29","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. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"8_CR30","unstructured":"Rosati, R.: On the complexity of dealing with inconsistency in description logic ontologies. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1057\u20131062. AAAI Press (2011)"},{"key":"8_CR31","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. Journal of the American Medical Informatics Association (2000); fall Symposium Special Issue"},{"key":"8_CR32","unstructured":"W3C OWL Working Group: OWL 2 web ontology language document overview. W3C Recommendation (2009), \n                      http:\/\/www.w3.org\/TR\/owl2-overview\/"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T21:32:15Z","timestamp":1676583135000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}