{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:16:08Z","timestamp":1749701768544,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491295"},{"type":"electronic","value":"9783319491301"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-49130-1_31","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"418-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Surprising Scenarios in Description Logics of Typicality"],"prefix":"10.1007","author":[{"given":"Gian Luca","family":"Pozzato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"PA Bonatti","year":"2009","unstructured":"Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in DLs. J. Artif. Intell. Res.(JAIR) 35, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res.(JAIR)"},{"issue":"1","key":"31_CR2","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. Autom. Reasoning (JAR) 15(1), 41\u201368 (1995)","journal-title":"J. Autom. Reasoning (JAR)"},{"key":"31_CR3","first-page":"719","volume":"42","author":"PA Bonatti","year":"2011","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. (JAIR) 42, 719\u2013764 (2011)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logics (ToCL) 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logics (ToCL)"},{"key":"31_CR5","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). doi:10.1007\/978-3-642-15675-5_9"},{"key":"31_CR6","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":"31_CR7","unstructured":"Straccia, U.: Default inheritance reasoning in hybrid kl-one-style logics. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), pp. 676\u2013681. Morgan Kaufmann (1993)"},{"key":"31_CR8","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., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1\u201348 (2015)","journal-title":"Artif. Intell."},{"key":"31_CR9","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.L.: ALC+T: a preferential extension of description logics. Fundam. Inform. 96, 341\u2013372 (2009)","journal-title":"Fundam. Inform."},{"key":"31_CR10","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 nonmonotonic description logic for reasoning about typicality. Artif. Intell. 195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential vs rational description logics: which one for reasoning about typicality? In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). FAIA (Frontiers in Artificial Intelligence and Applications), Lisbon, Portugal, vol. 215, pp. 1069\u20131070. IOS Press (August (2010)","DOI":"10.3233\/978-1-60750-606-5-1069"},{"key":"31_CR12","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in low complexity DLs: the logics $$\\cal{EL}^{\\perp }{\\bf T}_{min}$$ and $$DL-Lite_{c}{\\bf T}_{min}$$. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Spain, pp. 894\u2013899. IOS Press, Barcelona (2011)"},{"key":"31_CR13","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."},{"issue":"1\u20132","key":"31_CR14","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(1\u20132), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"31_CR15","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), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"31_CR16","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F Baader","year":"1996","unstructured":"Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88(1\u20132), 195\u2013213 (1996)","journal-title":"Artif. Intell."},{"key":"31_CR17","unstructured":"Pozzato, G.L.: Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. In: Ancona, D., Maratea, M., Mascardi, V. (eds.) Proceedings of the 30th Italian Conference on Computational Logic CILC 2015. CEUR Workshop Proceedings, Genova, 1\u20133 July 2015, Italy, vol. 1459, pp. 159\u2013174. CEUR-WS.org (2015)"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Bordino, I., Mejova, Y., Lalmas, M.: Penguins in sweaters, or serendipitous entity search on user-generated content. In: He, Q., Iyengar, A., Nejdl, W., Pei, J., Rastogi, R. (eds.) 22nd ACM International Conference on Information and Knowledge Management, CIKM 2013, San Francisco, CA, USA, 27 October\u20131 November 2013, pp. 109\u2013118 (2013)","DOI":"10.1145\/2505515.2505680"},{"key":"31_CR19","volume-title":"The Description Logic Handbook - Theory, Implementation, and Applications","author":"F Baader","year":"2010","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook - Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2010)","edition":"2"},{"key":"31_CR20","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Minimal model semantics and rational closure in description logics. In: Eiter, T., Glimm, B., Kazakov, Y., Kr\u00f6tzsch, M. (eds.) DL2016 Informal Proceedings of the 26th International Workshop on Description Logics. CEUR Workshop Proceedings, vol. 1014, pp. 168\u2013180. CEUR-WS.org (2013)"},{"key":"31_CR21","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. (JAIR) 12, 199\u2013217 (2000)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"31_CR22","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Rational closure in $$\\cal{SHIQ}$$. In: DL 2014, 27th International Workshop on Description Logics. CEUR Workshop Proceedings, vol. 1193, pp. 543\u2013555. CEUR-WS.org (2014)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2016 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49130-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T00:15:30Z","timestamp":1749687330000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genova","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XV","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2016.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}