{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:49:45Z","timestamp":1762102185060,"version":"3.37.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900490"},{"type":"electronic","value":"9783319900506"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-90050-6_7","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T12:33:32Z","timestamp":1523968412000},"page":"114-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Rationality and Context in Defeasible Subsumption"],"prefix":"10.1007","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":[[2018,4,18]]},"reference":[{"key":"7_CR1","unstructured":"Amgoud, L., Parsons, S., Perrussel, L.: An argumentation framework based on contextual preferences. In: Proceedings of International Conference on Formal and Applied and Practical Reasoning (FAPR), pp. 59\u201367 (2000)"},{"key":"7_CR2","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":"11","key":"7_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":"7_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., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1\u201348 (2015)","journal-title":"Artif. Intell."},{"key":"7_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":"7_CR6","doi-asserted-by":"crossref","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":"7_CR7","unstructured":"Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of 24th International Joint Conference on Artificial Intelligence (IJCAI) (2015)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-33353-8_9","volume-title":"Logics in Artificial Intelligence","author":"R Booth","year":"2012","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: PTL: a propositional typicality logic. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 107\u2013119. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33353-8_9"},{"key":"7_CR9","series-title":"Studies in Logic - Logic and Cognitive Systems","first-page":"123","volume-title":"Trends in Belief Revision and Argumentation Dynamics","author":"R Booth","year":"2013","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Ferm\u00e9, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics. Studies in Logic - Logic and Cognitive Systems, vol. 48, pp. 123\u2013154. King\u2019s College Publications, London (2013)"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1008261123028","volume":"7","author":"R Booth","year":"1998","unstructured":"Booth, R., Paris, J.: A note on the rational closure of knowledge bases with both positive and negative knowledge. J. Logic Lang. Inform. 7(2), 165\u2013190 (1998)","journal-title":"J. Logic Lang. Inform."},{"issue":"1","key":"7_CR11","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":"7_CR12","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). http:\/\/tinyurl.com\/cydd6yy"},{"key":"7_CR13","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of 26th International Workshop on Description Logics, pp. 93\u2013106 (2013)"},{"key":"7_CR14","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 476\u2013484. AAAI Press\/MIT Press (2008)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-642-25832-9_50","volume-title":"AI 2011: Advances in Artificial Intelligence","author":"K Britz","year":"2011","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol. 7106, pp. 491\u2013500. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25832-9_50"},{"key":"7_CR16","unstructured":"Britz, K., Varzinczak, I.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non-Class. Log. (to appear)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Preferential accessibility and preferred worlds. J. Log. Lang. Inf. (to appear)","DOI":"10.1007\/s10849-017-9264-0"},{"key":"7_CR18","unstructured":"Britz, K., Varzinczak, I.: Defeasible modalities. In: Proceedings of 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 49\u201360 (2013)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-48758-8_12","volume-title":"Logics in Artificial Intelligence","author":"K Britz","year":"2016","unstructured":"Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 174\u2013189. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48758-8_12"},{"key":"7_CR20","unstructured":"Britz, K., Varzinczak, I.: Preferential modalities revisited. In: Proceedings of 16th International Workshop on Nonmonotonic Reasoning (NMR) (2016)"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Context-based defeasible subsumption for $$d\\cal{SROIQ}$$dSROIQ. In: Proceedings of 13th International Symposium on Logical Formalizations of Commonsense Reasoning (2017)","DOI":"10.1007\/978-3-319-90050-6_7"},{"key":"7_CR22","unstructured":"Britz, K., Varzinczak, I.: Towards defeasible $$d\\cal{SROIQ}$$dSROIQ. In: Proceedings of 30th International Workshop on Description Logics, vol. 1879. CEUR Workshop Proceedings (2017)"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-319-25010-6_27","volume-title":"The Semantic Web - ISWC 2015","author":"G Casini","year":"2015","unstructured":"Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 409\u2013426. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25010-6_27"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15675-5_9","volume-title":"Logics in Artificial Intelligence","author":"G Casini","year":"2010","unstructured":"Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 77\u201390. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15675-5_9"},{"key":"7_CR25","doi-asserted-by":"crossref","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":"7_CR26","series-title":"Lecture Notes in Computer Science (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.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 257\u2013272. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75560-9_20"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science (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.L.: Reasoning about typicality in preferential description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 192\u2013205. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87803-2_17"},{"issue":"3","key":"7_CR28","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/FI-2009-182","volume":"96","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: $$\\cal{ALC}+{T}$$ALC+T: a preferential extension of description logics. Fundamenta Informaticae 96(3), 341\u2013372 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR29","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.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"7_CR30","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.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"key":"7_CR31","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":"7_CR32","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":"7_CR33","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":"7_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-319-61660-5_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Pensel","year":"2017","unstructured":"Pensel, M., Turhan, A.-Y.: Including quantification in defeasible reasoning for the description logic $$\\cal{EL} _{\\bot }$$EL\u22a5. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 78\u201384. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_9"},{"key":"7_CR35","unstructured":"Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 294\u2013305 (1992)"},{"key":"7_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-25073-6_39","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"K Sengupta","year":"2011","unstructured":"Sengupta, K., Krisnadhi, A.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.) ISWC 2011. LNCS, vol. 7031, pp. 617\u2013632. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_39"},{"key":"7_CR37","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)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90050-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,19]],"date-time":"2022-08-19T23:33:20Z","timestamp":1660952000000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90050-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900490","9783319900506"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90050-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}