{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T03:12:18Z","timestamp":1768619538459,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_7","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"92-106","source":"Crossref","is-referenced-by-count":18,"title":["Relevant Closure: A New Form of Defeasible Reasoning for Description Logics"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Casini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kodylan","family":"Moodley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riku","family":"Nortj\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"7_CR2","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Proceedings of IJCAI, pp. 669\u2013674. Morgan Kaufmann Publishers (1993)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 306\u2013317 (1995)","DOI":"10.1007\/BF00883932"},{"key":"7_CR4","first-page":"719","volume":"42","author":"P. Bonatti","year":"2011","unstructured":"Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. JAIR\u00a042, 719\u2013764 (2011)","journal-title":"JAIR"},{"key":"7_CR5","unstructured":"Bonatti, P., Faella, M., Sauro, L.: On the complexity of EL with defeasible inclusions. In: Proceedings of IJCAI, pp. 762\u2013767 (2011)"},{"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. JAIR\u00a035, 717\u2013773 (2009)","journal-title":"JAIR"},{"key":"7_CR7","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":"7_CR8","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of KR, pp. 476\u2013484. AAAI Press\/MIT Press (2008)"},{"key":"7_CR9","series-title":"LNCS (LNAI)","doi-asserted-by":"crossref","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.\u00a07106, pp. 491\u2013500. Springer, Heidelberg (2011)"},{"key":"7_CR10","unstructured":"Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Nonmonotonic reasoning in description logics: Rational closure for the Abox. In: Proceedings of DL, pp. 600\u2013615 (2013)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proceedings of DL, pp. 587\u2013599 (2013)","DOI":"10.3233\/978-1-61499-421-3-191"},{"key":"7_CR12","series-title":"LNCS (LNAI)","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.\u00a06341, pp. 77\u201390. Springer, Heidelberg (2010)"},{"key":"7_CR13","unstructured":"Casini, G., Straccia, U.: Lexicographic closure for defeasible description logics. In: Proc. of Australasian Ontology Workshop (2012)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1613\/jair.2375","volume":"31","author":"B. Cuenca Grau","year":"2008","unstructured":"Cuenca Grau, B., Horrocks, I., Kazakov, Y., Sattler, U.: Modular reuse of ontologies: Theory and practice. JAIR\u00a031, 273\u2013318 (2008)","journal-title":"JAIR"},{"issue":"2","key":"7_CR15","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. TOCL\u00a03(2), 177\u2013225 (2002)","journal-title":"TOCL"},{"key":"7_CR16","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Minimal model semantics and rational closure in description logics. In: Proceedings of DL (2013)"},{"key":"7_CR17","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Rational Closure in Description Logics of Typicality. In: IAF (2013)"},{"issue":"3","key":"7_CR18","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/FI-2009-182","volume":"96","author":"L. Giordano","year":"2009","unstructured":"Giordano, L., Olivetti, N., Gliozzi, V., Pozzato, G.L.: $\\mathcal{ALC}+{T}$: A preferential extension of description logics. Fundamenta Informaticae\u00a096(3), 341\u2013372 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-33353-8_18","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2012","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for nonmonotonic reasoning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol.\u00a07519, pp. 228\u2013241. Springer, Heidelberg (2012)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-007-0814-3"},{"key":"7_CR21","unstructured":"Horridge, M.: Justification based explanation in ontologies. The University of Manchester (2011)"},{"key":"7_CR22","unstructured":"Ke, P., Sattler, U.: Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. In: Proceedings of DL (2008)"},{"key":"7_CR23","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. Artificial Intelligence\u00a044, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"7_CR24","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. Annals of Mathematics and Artificial Intelligence\u00a015(1), 61\u201382 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"7_CR25","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? Artificial Intelligence\u00a055, 1\u201360 (1992)","journal-title":"Artificial Intelligence"},{"issue":"6-7","key":"7_CR26","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1016\/j.artint.2007.10.017","volume":"172","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence\u00a0172(6-7), 852\u2013883 (2008)","journal-title":"Artificial Intelligence"},{"key":"7_CR27","unstructured":"Padgham, L., Zhang, T.: A terminological logic with defaults: A definition and an application. In: Proceedings of IJCAI, pp. 662\u2013668. Morgan Kaufmann (1994)"},{"key":"7_CR28","unstructured":"Quantz, J.: A preference semantics for defaults in terminological logics. In: Proceedings of KR, pp. 294\u2013305 (1992)"},{"issue":"1-2","key":"7_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"7_CR30","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, Part I. LNCS, vol.\u00a07031, pp. 617\u2013632. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:55Z","timestamp":1746377695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}