{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:53:35Z","timestamp":1762102415114,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T00:00:00Z","timestamp":1563580800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T00:00:00Z","timestamp":1563580800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10472-019-09658-2","type":"journal-article","created":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T09:02:33Z","timestamp":1563613353000},"page":"83-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Contextual rational closure for defeasible $\\mathcal {ALC}$"],"prefix":"10.1007","volume":"87","author":[{"given":"Katarina","family":"Britz","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0025-9632","authenticated-orcid":false,"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,20]]},"reference":[{"key":"9658_CR1","unstructured":"Amgoud, L., Parsons, S., Perrussel, L.: An argumentation framework based on contextual preferences. In: Proceedings of the International Conference on Formal and Applied and Practical Reasoning (FAPR), pp. 59\u201367 (2000)"},{"volume-title":"The Description Logic Handbook","year":"2007","key":"9658_CR2","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)"},{"issue":"11","key":"9658_CR3","doi-asserted-by":"publisher","first-page":"1492","DOI":"10.1109\/TKDE.2010.37","volume":"22","author":"A Bikakis","year":"2010","unstructured":"Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Trans. Knowl. Data Eng. 22(11), 1492\u20131506 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"9658_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.12.010","volume":"222","author":"P Bonatti","year":"2015","unstructured":"Bonatti, P., 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":"9658_CR5","first-page":"719","volume":"42","author":"P Bonatti","year":"2011","unstructured":"Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. 42, 719\u2013764 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"9658_CR6","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"P Bonatti","year":"2009","unstructured":"Bonatti, P., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. J. Artif. Intell. Res. 35, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"9658_CR7","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.artint.2017.04.001","volume":"248","author":"P Bonatti","year":"2017","unstructured":"Bonatti, P., Sauro, L.: On the logical properties of the nonmonotonic description logic DLN. Artif. Intell. 248, 85\u2013111 (2017)","journal-title":"Artif. Intell."},{"key":"9658_CR8","unstructured":"Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2805\u20132811 (2015)"},{"key":"9658_CR9","doi-asserted-by":"crossref","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: PTL: A propositional typicality logic. In: Fari\u00f1as del Cerro, L., Herzig, A., Mengin, J. (eds.) Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), number 7519 in LNCS, pp 107\u2013119. Springer (2012)","DOI":"10.1007\/978-3-642-33353-8_9"},{"key":"9658_CR10","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Ferm\u00e9, E.L., Gabbay, D.M., Simari, G.R. (eds.) Trends in Belief Revision and Argumentation Dynamics, volume 48 of Studies in Logic \u2013 Logic and Cognitive Systems, pp 123\u2013154. King\u2019s College Publications (2013)"},{"issue":"2","key":"9658_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1008261123028","volume":"7","author":"R Booth","year":"1998","unstructured":"Booth, R., Paris, J.B.: A note on the rational closure of knowledge bases with both positive and negative knowledge. J. Log. Lang. Inf. 7(2), 165\u2013190 (1998)","journal-title":"J. Log. Lang. Inf."},{"issue":"1","key":"9658_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C Boutilier","year":"1994","unstructured":"Boutilier, C.: Conditional logics of normality: a modal approach. Artif. Intell. 68(1), 87\u2013154 (1994)","journal-title":"Artif. Intell."},{"key":"9658_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.artint.2017.12.005","volume":"257","author":"L Bozzato","year":"2018","unstructured":"Bozzato, L., Eiter, T., Serafini, L.: Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257, 72\u2013126 (2018)","journal-title":"Artif. Intell."},{"key":"9658_CR14","unstructured":"Britz, K., Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Rational defeasible reasoning for description logics. Technical report, University of Cape Town, South Africa. \n                    https:\/\/tinyurl.com\/yc55y7ts\n                    \n                   (2017)"},{"key":"9658_CR15","unstructured":"Britz, K., Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Ordered Interpretations and Entailment for Defeasible Description Logics. Technical Report, CAIR, CSIR Meraka and UKZN, South Africa (2013)"},{"key":"9658_CR16","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics, pp. 93\u2013106 (2013)"},{"key":"9658_CR17","doi-asserted-by":"crossref","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: A KLM perspective on defeasible reasoning for description logics. In: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That. Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, vol. 11560. Springer (2019)","DOI":"10.1007\/978-3-030-22102-7_7"},{"key":"9658_CR18","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp 476\u2013484. AAAI Press\/MIT Press (2008)"},{"key":"9658_CR19","doi-asserted-by":"crossref","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, number 7106 in LNAI, pp 491\u2013500. Springer (2011)","DOI":"10.1007\/978-3-642-25832-9_50"},{"key":"9658_CR20","unstructured":"Britz, K., Varzinczak, I.: Defeasible modalities. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 49\u201360 (2013)"},{"key":"9658_CR21","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A.C. (eds.) Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), number 10021 in LNCS, pp 174\u2013189. Springer (2016)","DOI":"10.1007\/978-3-319-48758-8_12"},{"key":"9658_CR22","unstructured":"Britz, K., Varzinczak, I.: Preferential modalities revisited. In: Proceedings of the 16th International Workshop on Nonmonotonic Reasoning (NMR) (2016)"},{"key":"9658_CR23","unstructured":"Britz, K., Varzinczak, I.: Context-based defeasible subsumption for $d\\mathcal {SROIQ}$. In: Gordon, A., Miller, R., Turan, G. (eds.) Proceedings of the 13th International Symposium on Logical Formalizations of Commonsense Reasoning, vol. 2052. CEUR Workshop Proceedings (2017)"},{"key":"9658_CR24","unstructured":"Britz, K., Varzinczak, I.: Toward defeasible $\\mathcal {SROIQ}$. In: Artale, A., Glim, B., Kontchakov, R. (eds.) Proceedings of the 30th International Workshop on Description Logics, vol. 1879. CEUR Workshop Proceedings (2017)"},{"issue":"1","key":"9658_CR25","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1080\/11663081.2017.1397325","volume":"28","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non-Class. Log. (JANCL) 28(1), 92\u2013121 (2018)","journal-title":"J. Appl. Non-Class. Log. (JANCL)"},{"issue":"2","key":"9658_CR26","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10849-017-9264-0","volume":"27","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: Preferential accessibility and preferred worlds. J. Log. Lang. Inf. (JoLLI) 27(2), 133\u2013155 (2018)","journal-title":"J. Log. Lang. Inf. (JoLLI)"},{"key":"9658_CR27","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Rationality and context in defeasible subsumption. In: Ferrarotti, F., Woltran, S. (eds.) Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), number 10833 in LNCS, pp 114\u2013132. Springer (2018)","DOI":"10.1007\/978-3-319-90050-6_7"},{"key":"9658_CR28","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Preferential tableaux for contextual defeasible $\\mathcal {ALC}$. In: Cerrito, S., Popescu, A. (eds.) Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNCS. Springer (2019)","DOI":"10.1007\/978-3-030-29026-9_3"},{"key":"9658_CR29","unstructured":"Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d\u2019Aquin, M., Srinivas, K., Groth, P.T., Dumontier, M., Heflin, J., Thirunarayan, K., Staab, S. (eds.) Proceedings of the 14th International Semantic Web Conference (ISWC), number 9367 in LNCS, pp 409\u2013426. Springer (2015)"},{"key":"9658_CR30","unstructured":"Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Nonmonotonic reasoning in description logics Rational closure for the ABox. In: Proceedings of the 26th International Workshop on Description Logics, pp. 600\u2013615 (2013)"},{"key":"9658_CR31","doi-asserted-by":"crossref","unstructured":"Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemel\u00e4, I. (eds.) Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA), number 6341 in LNCS, pp 77\u201390. Springer (2010)","DOI":"10.1007\/978-3-642-15675-5_9"},{"key":"9658_CR32","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. (JAIR) 48, 415\u2013473 (2013)","journal-title":"J. Artif. Intell Res. (JAIR)"},{"key":"9658_CR33","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), number 4790 in LNAI, pp 257\u2013272. Springer (2007)","DOI":"10.1007\/978-3-540-75560-9_20"},{"key":"9658_CR34","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in preferential description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA), number 5293 in LNAI, pp 192\u2013205. Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_17"},{"issue":"3","key":"9658_CR35","first-page":"341","volume":"96","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: $\\mathcal {{{ALC}}}+{T}$: a preferential extension of description logics. Fund. Inf. 96(3), 341\u2013372 (2009)","journal-title":"Fund. Inf."},{"key":"9658_CR36","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for nonmonotonic reasoning. In: Fari\u00f1as del Cerro, L., Herzig, A., Mengin, J. (eds.) Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), number 7519 in LNCS, pp 228\u2013241. Springer (2012)","DOI":"10.1007\/978-3-642-33353-8_18"},{"key":"9658_CR37","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":"9658_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.05.001","volume":"226","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Semantic characterization of rational closure From propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"key":"9658_CR39","first-page":"64","volume":"12","author":"M Homola","year":"2012","unstructured":"Homola, M., Serafini, L.: Contextualized knowledge repositories for the semantic web. Web Semant. Sci. Serv. Agents World Wide Web 12, 64\u201387 (2012)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"issue":"3","key":"9658_CR40","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1093\/logcom\/ext011","volume":"26","author":"S Klarman","year":"2013","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Description logics of context. J. Log. Comput. 26(3), 817\u2013854 (2013)","journal-title":"J. Log. Comput."},{"key":"9658_CR41","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. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"9658_CR42","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D Lehmann","year":"1995","unstructured":"Lehmann, D.: Another perspective on default reasoning. Ann. Math. Artif. Intell. 15(1), 61\u201382 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9658_CR43","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. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"9658_CR44","doi-asserted-by":"crossref","unstructured":"Pensel, M., Turhan, A.-Y.: Including quantification in defeasible reasoning for the description logic $\\mathcal {EL}_{\\bot }$. In: Balduccini, M., Janhunen, T. (eds.) Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), number 10377 in LNCS, pp 78\u201384. Springer (2017)","DOI":"10.1007\/978-3-319-61660-5_9"},{"key":"9658_CR45","unstructured":"Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.294\u2013305 (1992)"},{"key":"9658_CR46","doi-asserted-by":"crossref","unstructured":"Sengupta, K., Alfa Krisnadhi, A., Hitzler, P.: Local closed world semantics: Grounded circumscription for OWL. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) Proceedings of the 10th International Semantic Web Conference (ISWC), number 7031 in LNCS, pp 617\u2013632. Springer (2011)","DOI":"10.1007\/978-3-642-25073-6_39"},{"key":"9658_CR47","volume-title":"Reasoning about change: Time and causation from the standpoint of artificial intelligence","author":"Y Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about change: Time and causation from the standpoint of artificial intelligence. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"9658_CR48","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11787-018-0211-x","volume":"12","author":"IJ Varzinczak","year":"2018","unstructured":"Varzinczak, I.J.: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Log. Univers. 12(3-4), 297\u2013325 (2018)","journal-title":"Log. Univers."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09658-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-019-09658-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-019-09658-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,18]],"date-time":"2020-07-18T23:18:11Z","timestamp":1595114291000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-019-09658-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,20]]},"references-count":48,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9658"],"URL":"https:\/\/doi.org\/10.1007\/s10472-019-09658-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2019,7,20]]},"assertion":[{"value":"20 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}