{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:16:58Z","timestamp":1774624618102,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156748","type":"print"},{"value":"9783642156755","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_9","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"77-90","source":"Crossref","is-referenced-by-count":51,"title":["Rational Closure for Defeasible Description Logics"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Casini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"669","volume-title":"Proc.\u00a0of IJCAI","author":"F. Baader","year":"1993","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Proc.\u00a0of IJCAI, pp. 669\u2013674. Morgan Kaufmann, San Francisco (1993)"},{"key":"9_CR2","first-page":"364","volume-title":"Proc.\u00a0of IJCAI","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc.\u00a0of IJCAI, pp. 364\u2013369. Morgan Kaufmann, San Francisco (2005)"},{"key":"9_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning\u00a014, 149\u2013180 (1995)","journal-title":"J. Automated Reasoning"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00881830","volume":"15","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Automated Reasoning\u00a015, 41\u201368 (1995)","journal-title":"J. Automated Reasoning"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04560-2","volume-title":"A logical theory of nonmonotonic inference and belief change","author":"A. Bochman","year":"2001","unstructured":"Bochman, A.: A logical theory of nonmonotonic inference and belief change. Springer, Heidelberg (2001)"},{"key":"9_CR7","first-page":"696","volume-title":"Proc.\u00a0of IJCAI","author":"P.A. Bonatti","year":"2009","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs: Preliminary notes. In: Proc.\u00a0of IJCAI, pp. 696\u2013701. Morgan Kaufmann, San Francisco (2009)"},{"key":"9_CR8","first-page":"400","volume-title":"Proc.\u00a0of KR","author":"P.A. Bonatti","year":"2006","unstructured":"Bonatti, P.A., Lutz, C., Wolter, F.: Description logics with circumscription. In: Proc.\u00a0of KR, pp. 400\u2013410. AAAI Press, Menlo Park (2006)"},{"issue":"1","key":"9_CR9","first-page":"717","volume":"35","author":"P.A. Bonatti","year":"2009","unstructured":"Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. J. Artif. Int. Res.\u00a035(1), 717\u2013773 (2009)","journal-title":"J. Artif. Int. Res."},{"key":"9_CR10","unstructured":"Brewka, G.: The logic of inheritance in frame systems. In: Proc.\u00a0of IJCAI, pp. 483\u2013488 (1987)"},{"key":"9_CR11","first-page":"476","volume-title":"Proc.\u00a0of KR","author":"K. Britz","year":"2008","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Proc.\u00a0of KR, pp. 476\u2013484. Morgan Kaufmann, San Francisco (2008)"},{"key":"9_CR12","first-page":"506","volume-title":"Proc.\u00a0of the Australasian Joint Conf.\u00a0on Advances in Artificial Intelligence","author":"K. Britz","year":"2009","unstructured":"Britz, K., Heidema, J., Meyer, T.: Modelling object typicality in description logics. In: Proc.\u00a0of the Australasian Joint Conf.\u00a0on Advances in Artificial Intelligence, pp. 506\u2013516. Springer, Heidelberg (2009)"},{"key":"9_CR13","first-page":"474","volume-title":"Proc.\u00a0of ISMIS","author":"M. Cadoli","year":"1990","unstructured":"Cadoli, M., Donini, F.M., Schaerf, M.: Closed world reasoning in hybrid systems. In: Proc.\u00a0of ISMIS, pp. 474\u2013481. North-Holland Publ. Co., Amsterdam (1990)"},{"key":"9_CR14","first-page":"342","volume-title":"Proc. of KR","author":"F.M. Donini","year":"1992","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: Adding epistemic operators to concept languages. In: Proc. of KR, pp. 342\u2013353. Morgan Kaufmann, San Francisco (1992)"},{"issue":"1-2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","volume":"100","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: An epistemic operator for description logics. Artificial Intelligence\u00a0100(1-2), 225\u2013274 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(00)00070-9","volume":"124","author":"F.M. Donini","year":"2000","unstructured":"Donini, F.M., Massacci, F.: Exptime tableaux for $\\mathcal{ALC}$ . Artificial Intelligence\u00a0124(1), 87\u2013138 (2000)","journal-title":"Artificial Intelligence"},{"key":"9_CR17","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Autoepistemic description logics. In: Proc. of IJCAI, pp. 136\u2013141 (1997)"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F.M. Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1-2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0004-3702(97)00053-2","volume":"98","author":"M. Freund","year":"1998","unstructured":"Freund, M.: Preferential reasoning in the perspective of Poole default logic. Artif. Intell.\u00a098(1-2), 209\u2013235 (1998)","journal-title":"Artif. Intell."},{"key":"9_CR20","volume-title":"Handbook of logic in artificial intelligence and logic programming. Nonmonotonic reasoning and uncertain reasoning","year":"1994","unstructured":"Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.): Handbook of logic in artificial intelligence and logic programming. Nonmonotonic reasoning and uncertain reasoning, vol.\u00a03. Oxford University Press, Oxford (1994)"},{"key":"9_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75560-9_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 257\u2013272. Springer, Heidelberg (2007)"},{"key":"9_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-87803-2_17","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2008","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Reasoning about typicality in preferential description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 192\u2013205. Springer, Heidelberg (2008)"},{"key":"9_CR23","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: On extending description logics for reasoning about typicality: a first step. Technical Report 116\/09, Universit\u00e0 degli studi di Torino (December 2009)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-642-04238-6_38","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Prototypical reasoning with low complexity description logics: Preliminary results. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 430\u2013436. Springer, Heidelberg (2009)"},{"key":"9_CR25","first-page":"40","volume-title":"Proc.\u00a0of RR","author":"S. Grimm","year":"2009","unstructured":"Grimm, S., Hitzler, P.: A preferential tableaux calculus for circumscriptive $\\mathcal{ALCO}$ . In: Proc.\u00a0of RR, pp. 40\u201354. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"9_CR26","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell.\u00a044(1-2), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"9_CR27","first-page":"28","volume-title":"Proc.\u00a0of HICSS","author":"P. Lambrix","year":"1998","unstructured":"Lambrix, P., Shahmehri, N., Wahlloef, N.: A default extension to description logics for use in an intelligent search engine. In: Proc.\u00a0of HICSS, vol.\u00a05, p. 28. IEEE Computer Society, Los Alamitos (1998)"},{"issue":"1","key":"9_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell.\u00a055(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"9_CR29","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537472.003.0002","volume-title":"Handbook of logic in artificial intelligence and logic programming: Nonmonotonic reasoning and uncertain reasoning","author":"D. Makinson","year":"1994","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: Handbook of logic in artificial intelligence and logic programming: Nonmonotonic reasoning and uncertain reasoning, vol.\u00a03, pp. 35\u2013110. Oxford University Press, Oxford (1994)"},{"key":"9_CR30","volume-title":"Bridges from Classical to Nonmonotonic Logic","author":"D. Makinson","year":"2005","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic. King\u2019s College Publications, London (2005)"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56804-2_13","volume-title":"Methodologies for Intelligent Systems","author":"L. Padgham","year":"1993","unstructured":"Padgham, L., Nebel, B.: Combining classification and non-monotonic inheritance reasoning: A first step. In: Komorowski, J., Ra\u015b, Z.W. (eds.) ISMIS 1993. LNCS, vol.\u00a0689. Springer, Heidelberg (1993)"},{"key":"9_CR32","first-page":"662","volume-title":"Proc.\u00a0of IJCAI","author":"L. Padgham","year":"1993","unstructured":"Padgham, L., Zhang, T.: A terminological logic with defaults: A definition and an application. In: Proc.\u00a0of IJCAI, pp. 662\u2013668. Morgan Kaufmann, San Francisco (1993)"},{"issue":"1","key":"9_CR33","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artif. Intell.\u00a036(1), 27\u201347 (1988)","journal-title":"Artif. Intell."},{"key":"9_CR34","first-page":"294","volume-title":"Proc. of KR","author":"J. Quantz","year":"1992","unstructured":"Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proc. of KR, pp. 294\u2013305. Morgan Kaufmann, San Francisco (1992)"},{"key":"9_CR35","first-page":"226","volume-title":"Pacific Symposium on Biocomputing","author":"A.L. Rector","year":"2004","unstructured":"Rector, A.L.: Defaults, context, and knowledge: Alternatives for owl-indexed knowledge bases. In: Pacific Symposium on Biocomputing, pp. 226\u2013237. World Scientific, Singapore (2004)"},{"key":"9_CR36","first-page":"676","volume-title":"Proc.\u00a0of IJCAI","author":"U. Straccia","year":"1993","unstructured":"Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Proc.\u00a0of IJCAI, pp. 676\u2013681. Morgan Kaufmann, San Francisco (1993)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T09:25:40Z","timestamp":1711790740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}