{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:23:33Z","timestamp":1760171013758,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"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_29","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"392-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about Multiple Aspects in Rational Closure for DLs"],"prefix":"10.1007","author":[{"given":"Valentina","family":"Gliozzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"key":"29_CR1","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":"29_CR2","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":"29_CR3","doi-asserted-by":"crossref","first-page":"1","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. Fundamenta Informaticae 96, 1\u201332 (2009)","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20132","key":"29_CR4","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":"29_CR5","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."},{"key":"29_CR6","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Minimal model semantics and rational closure in description logics. In: 26th International Workshop on Description Logics (DL 2013), vol. 1014, pp. 168\u2013180 (2013)"},{"key":"29_CR7","unstructured":"Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), Chamb\u00e9ry, pp. 676\u2013681. Morgan Kaufmann, August 1993"},{"issue":"1","key":"29_CR8","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. Reason. (JAR) 15(1), 41\u201368 (1995)","journal-title":"J. Autom. Reason. (JAR)"},{"issue":"2","key":"29_CR9","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. Log. (ToCL) 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log. (ToCL)"},{"key":"29_CR10","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: Dubois, D., Welty, C., Williams, M. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference (KR 2004), Whistler, pp. 141\u2013151. AAAI Press, June 2004"},{"key":"29_CR11","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). doi:10.1007\/978-3-540-75560-9_20"},{"key":"29_CR12","unstructured":"Ke, P., Sattler, U.: Next steps for description logics of minimal knowledge and negation as failure. In: Baader, F., Lutz, C., Motik, B. (eds.) Proceedings of Description Logics. CEUR Workshop Proceedings, Dresden, vol. 353, May 2008. CEUR-WS.org"},{"key":"29_CR13","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Brewka, G., Lang, J. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference (KR 2008), Sidney, pp. 476\u2013484. AAAI Press, September 2008"},{"key":"29_CR14","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)"},{"key":"29_CR15","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"},{"issue":"5","key":"29_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 1\u201362 (2010)","journal-title":"J. ACM"},{"key":"29_CR17","unstructured":"Krisnadhi, A.A., Sengupta, K., Hitzler, P.: Local closed world semantics: keep it simple, stupid! In: Proceedings of Description Logics. CEUR Workshop Proceedings, Barcelona, vol. 745, July 2011"},{"key":"29_CR18","unstructured":"Knorr, M., Hitzler, P., Maier, F.: Reconciling owl and non-monotonic rules for the semantic web. In: ECAI 2012, pp. 474\u2013479 (2012)"},{"key":"29_CR19","unstructured":"Casini, G., Meyer, T., Varzinczak, I.J., Moodley, K.: Nonmonotonic reasoning in description logics: rational closure for the ABox. In: 26th International Workshop on Description Logics. DL 2013. CEUR Workshop Proceedings, vol. 1014, pp. 600\u2013615 (2013). CEUR-WS.org"},{"key":"29_CR20","unstructured":"Casini, G., Straccia, U.: Defeasible inheritance-based description logics. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, pp. 813\u2013818. Morgan Kaufmann, July 2011"},{"key":"29_CR21","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":"29_CR22","unstructured":"Casini, G., Straccia, U.: Lexicographic closure for defeasible description logics. In: Proceedings of Australasian Ontology Workshop, vol. 969, pp. 28\u201339 (2012)"},{"key":"29_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-11558-0_7","volume-title":"Logics in Artificial Intelligence","author":"G Casini","year":"2014","unstructured":"Casini, G., Meyer, T., Moodley, K., Nortj\u00e9, R.: Relevant closure: a new form of defeasible reasoning for description logics. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 92\u2013106. Springer, Heidelberg (2014). doi:10.1007\/978-3-319-11558-0_7"},{"issue":"1","key":"29_CR24","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"DJ Lehmann","year":"1995","unstructured":"Lehmann, D.J.: Another perspective on default reasoning. Ann. Math. Artif. Intell. 15(1), 61\u201382 (1995)","journal-title":"Ann. Math. Artif. Intell."},{"key":"29_CR25","unstructured":"Gil, O.F.: On the non-monotonic description logic ALC+T$${}_{\\text{min}}$$. In: 15th International Workshop on Non-Monotonic Reasoning (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_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T17:55:49Z","timestamp":1710266149000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_29","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"}}]}}