{"type":"ScholarlyArticle","title":"Rational Closure For All Description Logics (Extended Abstract)","authors":[{"name":"Piero A. Bonatti","slug":"piero-a-bonatti","given":"Piero A.","family":"Bonatti","affiliation":"Università di Napoli Federico II"}],"abstract":"Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide compelling motivations for extending DLs with an overriding mechanism analogous to the homonymous feature of object-oriented programming. Rational closure (RC) is one of the candidate semantics for such extensions, and one of the most intensively studied. So far, however, it has been limited to strict fragments of SROIQ(D) – the logic on which OWL2 is founded. In this paper we prove that RC cannot be extended to logics that do not satisfy the disjoint model union property, including SROIQ(D). Then we introduce a refinement of RC called stable rational closure that overcomes the dependency on the disjoint model union property. Our results show that stable RC is a natural extension of RC. However, its positive features come at a price: stable RC re-introduces one of the undesirable features of other nonmonotonic logics, namely, deductive closures may not exist and may not be unique.","doi":"10.24963/ijcai.2020/700","url":"https://ijcai.org/proceedings/2020/700","pdf":"https://ijcai.org/proceedings/2020/0700.pdf","markdown":"https://ijcai.org/proceedings/2020/700.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/700","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Journal track","track":"Journal track","number":700,"pages":{"first":5025,"last":5029},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Non-monotonic Reasoning, Common-Sense Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/24481/file_24481.m3u8","length_sec":245,"provider":"hls"}],"references":[{"position":1,"raw":"[Bonatti and Sauro, 2017] Piero A. Bonatti and Luigi Sauro. On the logical properties of the nonmonotonic description logic DL N . Artif. Intell., 248:85-111, 2017.","title":"On the logical properties of the nonmonotonic description logic DL N","authors":"A Piero, Luigi Bonatti, Sauro","year":"2017","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bonatti et al., 2015] Piero A. Bonatti, Marco Faella, Iliana Petrova, and Luigi Sauro. A new semantics for overriding in description logics. Artif. Intell., 222:1-48, 2015.","title":"A new semantics for overriding in description logics","authors":"A Piero, Marco Bonatti, Iliana Faella, Luigi Petrova, Sauro","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bonatti, 2019] Piero A. Bonatti. Rational closure for all de- scription logics. Artif. Intell., 274:197-223, 2019.","title":"Rational closure for all description logics","authors":"A Piero, Bonatti","year":"2019","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Britz and Varzinczak, 2017] Katarina Britz and Ivan José Varzinczak. Context-based defeasible subsumption for dSROIQ. In Andrew S. Gordon, Rob Miller, and György Turán, editors, Proceedings of the Thirteenth Interna- tional Symposium on Commonsense Reasoning, COM- MONSENSE 2017, London, UK, November 6-8, 2017., volume 2052 of CEUR Workshop Proceedings. CEUR- WS.org, 2017.","title":"Context-based defeasible subsumption for dSROIQ","authors":"Katarina Britz, Ivan José Varzinczak","year":"2017","venue":"Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COM-MONSENSE 2017","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Britz et al., 2013] K. Britz, G. Casini, T. Meyer, K. Mood- ley, and I. Varzinczak. Ordered interpretations and en- tailment for defeasible description logics. Technical re- port, CAIR, CSIR Meraka and UKZN, South Africa, 2013. Download from URL: http://www.cair.za.net/sites/default/ files/outputs/DefeasibleDLs-TR1-2013 0.pdf.","title":"Ordered interpretations and entailment for defeasible description logics","authors":"K Britz, G Casini, T Meyer, K Moodley, I Varzinczak","year":"2013","venue":null,"doi":null,"url":"http://www.cair.za.net/sites/default/files/outputs/DefeasibleDLs-TR1-20130.pdf","internal_url":null},{"position":6,"raw":"[Casini and Straccia, 2013] Giovanni Casini and Umberto Straccia. Defeasible inheritance-based description logics. J. Artif. Intell. Res. (JAIR), 48:415-473, 2013.","title":"Defeasible inheritance-based description logics","authors":"Giovanni Casini, Umberto Straccia","year":"2013","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Giordano et al., 2015] Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato. Semantic char- acterization of rational closure: From propositional logic to description logics. Artif. Intell., 226:1-33, 2015.","title":"Semantic characterization of rational closure: From propositional logic to description logics","authors":"Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Giordano et al., 2018] Laura Giordano, Valentina Gliozzi, and Nicola Olivetti. Towards a rational closure for ex- pressive description logics: the case of SHIQ. Fundam. Inform., 159(1-2):95-122, 2018.","title":"Towards a rational closure for expressive description logics: the case of SHIQ","authors":"Laura Giordano, Valentina Gliozzi, Nicola Olivetti","year":"2018","venue":"Fundam. Inform","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Horrocks et al., 2006] Ian Horrocks, Oliver Kutz, and Ul- rike Sattler. The even more irresistible SROIQ. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pages 57-67. AAAI Press, 2006.","title":"The even more irresistible SROIQ","authors":"Ian Horrocks, Oliver Kutz, Ulrike Sattler","year":"2006","venue":"Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Kraus et al., 1990] Sarit Kraus, Daniel J. Lehmann, and Menachem Magidor. Nonmonotonic reasoning, prefer- ential models and cumulative logics. Artif. Intell., 44(1- 2):167-207, 1990.","title":"Nonmonotonic reasoning, preferential models and cumulative logics","authors":"Sarit Kraus, Daniel J Lehmann, Menachem Magidor","year":"1990","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Lehmann and Magidor, 1992] Daniel J. Lehmann and Men- achem Magidor. What does a conditional knowledge base entail? Artif. Intell., 55(1):1-60, 1992.","title":"What does a conditional knowledge base entail?","authors":"J Daniel, Menachem Lehmann, Magidor","year":"1992","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Pensel and Turhan, 2018] Maximilian Pensel and Anni- Yasmin Turhan. Reasoning in the defeasible description logic EL ⊥ -computing standard inferences under rational and relevant semantics. Int. J. Approx. Reasoning, 103:28- 70, 2018.","title":"Maximilian Pensel and Anni-Yasmin Turhan. Reasoning in the defeasible description logic EL ⊥ -computing standard inferences under rational and relevant semantics","authors":"Turhan Pensel","year":"2018","venue":"Int. J. Approx. Reasoning","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Pensel, 2019] Maximilian Pensel. A Lightweight Defeasi- ble Description Logic in Depth. PhD thesis, TU Dresden, 2019.","title":"Maximilian Pensel. A Lightweight Defeasible Description Logic in Depth","authors":"Pensel","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Alan L. Rector. Defaults, context, and knowl- edge: Alternatives for OWL-indexed knowledge bases. In Pacific Symposium on Biocomputing, pages 226-237. World Scientific, 2004.","title":"Defaults, context, and knowledge: Alternatives for OWL-indexed knowledge bases","authors":"Alan L Rector","year":"2004","venue":"Pacific Symposium on Biocomputing","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Stevens et al., 2007] Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, and Alan L. Rector. Using OWL to model biological knowledge. International Journal of Man-Machine Studies, 65(7):583-594, 2007.","title":"Using OWL to model biological knowledge","authors":"Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L Rector","year":"2007","venue":"International Journal of Man-Machine Studies","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}