{"type":"ScholarlyArticle","title":"A New Semantics for Overriding in Description Logics (Extended Abstract)","authors":[{"name":"Piero Bonatti","slug":"piero-bonatti","given":"Piero","family":"Bonatti","affiliation":"Università degli studi di Napoli Federico II"},{"name":"Marco Faella","slug":"marco-faella","given":"Marco","family":"Faella","affiliation":"Università degli studi di Napoli Federico II"},{"name":"Iliana M. Petrova","slug":"iliana-m-petrova","given":"Iliana M.","family":"Petrova","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":"Nonmonotonic inferences are not yet supported by Description Logic\r\ntechnology, although their potential usefulness is widely recognized. Lack of\r\nsupport to nonmonotonic reasoning is due to a number of issues related\r\nto expressiveness, computational complexity, and optimizations.  This\r\nwork contributes to the practical support of nonmonotonic reasoning\r\nin description logics by introducing a new semantics designed to\r\naddress knowledge engineering needs. The formalism is validated\r\nthrough extensive comparison with the other nonmonotonic DLs, and\r\nsystematic scalability tests.","doi":"10.24963/ijcai.2017/705","url":"https://ijcai.org/proceedings/2017/705","pdf":"https://ijcai.org/proceedings/2017/0705.pdf","markdown":"https://ijcai.org/proceedings/2017/705.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/705","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":705,"pages":{"first":4975,"last":4979},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning","Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Baader and Hollunder, 1995a] Franz Baader and Bernhard Hollunder. Embedding defaults into terminological knowl- edge representation formalisms. J. Autom. Reasoning, 14(1):149-180, 1995.","title":"Embedding defaults into terminological knowledge representation formalisms","authors":"Hollunder Baader, Franz Baader, Bernhard Hollunder","year":"1995","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baader and Hollunder, 1995b] Franz Baader and Bernhard Hollunder. Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic. J. Autom. Reasoning, 15(1):41-68, 1995.","title":"Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic","authors":"Hollunder Baader, Franz Baader, Bernhard Hollunder","year":"1995","venue":"J. Autom. Reasoning","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Bonatti and Sauro, 2017] Piero A. Bonatti and Luigi Sauro. On the logical properties of the nonmonotonic description logic DL N . Artif. Intell. Accepted for publication subject to minor revisions, 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":4,"raw":"[Bonatti et al., 2009] Piero A. Bonatti, Carsten Lutz, and Frank Wolter. The complexity of circumscription in DLs. J. Artif. Intell. Res. (JAIR), 35:717-773, 2009.","title":"The complexity of circumscription in DLs","authors":"A Piero, Carsten Bonatti, Frank Lutz, Wolter","year":"2009","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Bonatti et al., 2011] Piero A. Bonatti, Marco Faella, and Luigi Sauro. Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. (JAIR), 42:719-764, 2011.","title":"Defeasible inclusions in low-complexity DLs","authors":"A Piero, Marco Bonatti, Luigi Faella, Sauro","year":"2011","venue":"J. Artif. Intell. Res. (JAIR)","doi":null,"url":null,"internal_url":null},{"position":6,"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":7,"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 International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I, volume 9366 of Lecture Notes in Computer Science, pages 356- 372. Springer, 2015.","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":8,"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":9,"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":10,"raw":"[Casini et al., 2013] Giovanni Casini, Thomas Meyer, Kody- lan Moodley, and Ivan José Varzinczak. Towards practical defeasible reasoning for description logics. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Description Logics, volume 1014 of CEUR Workshop Proceedings, pages 587-599. CEUR- WS.org, 2013.","title":"Towards practical defeasible reasoning for description logics","authors":"Giovanni Casini, Thomas Meyer, Kodylan Moodley, Ivan José Varzinczak","year":"2013","venue":"CEUR Workshop Proceedings","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Donini et al., 2002] Francesco M. Donini, Daniele Nardi, and Riccardo Rosati. Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log., 3(2):177-225, 2002.","title":"Description logics of minimal knowledge and negation as failure","authors":"Francesco M Donini, Daniele Nardi, Riccardo Rosati","year":"2002","venue":"ACM Trans. Comput. Log","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Giordano et al., 2009] Laura Giordano, Nicola Olivetti, Valentina Gliozzi, and Gian Luca Pozzato. ALC + T: a preferential extension of description logics. Fundam. In- form., 96(3):341-372, 2009.","title":"ALC + T: a preferential extension of description logics","authors":"Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato","year":"2009","venue":"Fundam. Inform","doi":null,"url":null,"internal_url":null},{"position":13,"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":14,"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":15,"raw":"Mor- gan Kaufmann, 1990.","title":null,"authors":"Morgan Kaufmann","year":"1990","venue":null,"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":"[Lukasiewicz, 2008] Thomas Lukasiewicz. Expressive prob- abilistic description logics. Artif. Intell., 172(6-7):852- 883, 2008.","title":"Expressive probabilistic description logics","authors":"Thomas Lukasiewicz","year":"2008","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[McCarthy, 1986] John McCarthy. Applications of circum- scription to formalizing common sense knowledge. Artifi- cial Intelligence, 28:89-116, 1986.","title":"Applications of circumscription to formalizing common sense knowledge","authors":"John Mccarthy","year":"1986","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"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":20,"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."}