{"type":"ScholarlyArticle","title":"On the Logical Properties of the Description Logic DL^N (Extended abstract)","authors":[{"name":"Piero A. Bonatti","slug":"piero-a-bonatti","given":"Piero A.","family":"Bonatti","affiliation":"Università degli Studi di Napoli Federico II"},{"name":"Luigi Sauro","slug":"luigi-sauro","given":"Luigi","family":"Sauro","affiliation":"Università degli Studi di Napoli Federico II"}],"abstract":"DL^N is a recent nonmonotonic description logic, designed for satisfying independently proposed knowledge engineering requirements, and for removing some recurrent drawbacks of traditional nonmonotonic semantics. In this paper we study the logical properties of DL^N and their relationships with the KLM postulates. We use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite expressivity requirements adopted by each approach.","doi":"10.24963/ijcai.2018/784","url":"https://ijcai.org/proceedings/2018/784","pdf":"https://ijcai.org/proceedings/2018/0784.pdf","markdown":"https://ijcai.org/proceedings/2018/784.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/784","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Journal track","track":"Journal track","number":784,"pages":{"first":5558,"last":5562},"keywords":["Knowledge Representation and Reasoning: Common-Sense Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies","Knowledge Representation and Reasoning: Non-monotonic Reasoning"],"videos":[],"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., 2015a] 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":"Bonatti","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bonatti et al., 2015b] Piero A. Bonatti, Iliana Mineva Petrova, and Luigi Sauro. Optimizing the computation of overriding. In The Semantic Web -ISWC 2015 -14th Inter- national Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I [2015], pages 356-372.","title":"Optimizing the computation of overriding","authors":"Bonatti","year":"2015","venue":"The Semantic Web -ISWC 2015 -14th International Semantic Web Conference","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Britz and Varzinczak, 2017] Katarina Britz and Ivan José Varzinczak. Towards defeasible SROIQ. In Alessan- dro Artale, Birte Glimm, and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on De- scription Logics, Montpellier, France, July 18-21, 2017., volume 1879 of CEUR Workshop Proceedings. CEUR- WS.org, 2017.","title":"Towards defeasible SROIQ","authors":"Katarina Britz, Ivan José Varzinczak","year":"2017","venue":"Proceedings of the 30th International Workshop on Description Logics","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Casini and Straccia, 2010] Giovanni Casini and Umberto Straccia. Rational closure for defeasible description log- ics. In Tomi Janhunen and Ilkka Niemelä, editors, JELIA, volume 6341 of Lecture Notes in Computer Science, pages 77-90. Springer, 2010.","title":"Rational closure for defeasible description logics","authors":"Giovanni Casini, Umberto Straccia","year":"2010","venue":"JELIA","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Casini and Straccia, 2011] Giovanni Casini and Umberto Straccia. Defeasible inheritance-based description log- ics. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial In- telligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 813-818. IJCAI/AAAI, 2011.","title":"Defeasible inheritance-based description logics","authors":"Giovanni Casini, Umberto Straccia","year":"2011","venue":"IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2011/142"},{"position":7,"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":8,"raw":"[DBL, 2015] The Semantic Web -ISWC 2015 -14th Inter- national Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I, volume 9366 of Lecture Notes in Computer Science. Springer, 2015.","title":"The Semantic Web -ISWC 2015 -14th International Semantic Web Conference","authors":"Dbl","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Giordano and Gliozzi, 2018] Laura Giordano and Valentina Gliozzi. Reasoning about multiple aspects in dls: Se- mantics and closure construction. CoRR, abs/1801.07161, 2018.","title":"Reasoning about multiple aspects in dls: Semantics and closure construction","authors":"Laura Giordano, Valentina Gliozzi","year":"2018","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Giordano et al., 2013] Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and Gian Luca Pozzato. A non-monotonic description logic for reasoning about typicality. Artif. In- tell., 195:165-202, 2013.","title":"A non-monotonic description logic for reasoning about typicality","authors":"Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":11,"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":12,"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":13,"raw":"[Lehmann and Magidor, 1990] Daniel J. Lehmann and Men- achem Magidor. Preferential logics: the predicate calculus case. In Rohit Parikh, editor, Proceedings of the 3rd Con- ference on Theoretical Aspects of Reasoning about Knowl- edge, Pacific Grove, CA, March 1990, pages 57-72.","title":"Preferential logics: the predicate calculus case","authors":"J Daniel, Menachem Lehmann, Magidor","year":"1990","venue":"Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"Mor- gan Kaufmann, 1990.","title":null,"authors":"Morgan Kaufmann","year":"1990","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"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":16,"raw":"[Lehmann, 1995] Daniel J. Lehmann. Another perspective on default reasoning. Ann. Math. Artif. Intell., 15(1):61- 82, 1995.","title":"Another perspective on default reasoning","authors":"J Daniel, Lehmann","year":"1995","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Makinson, 1988] David Makinson. General theory of cu- mulative inference. In Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, and Erik Sandewall, editors, Non- Monotonic Reasoning, 2nd International Workshop, Gras- sau, FRG, June 13-15, 1988, Proceedings, volume 346 of Lecture Notes in Computer Science, pages 1-18. Springer, 1988.","title":"General theory of cumulative inference","authors":"David Makinson","year":"1988","venue":"Non-Monotonic Reasoning, 2nd International Workshop","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}