{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T05:54:58Z","timestamp":1723010098141},"reference-count":52,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T00:00:00Z","timestamp":1359676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T00:00:00Z","timestamp":1485907200000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1016\/j.artint.2012.10.004","type":"journal-article","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T03:03:25Z","timestamp":1349924605000},"page":"165-202","source":"Crossref","is-referenced-by-count":69,"special_numbering":"C","title":["A non-monotonic Description Logic for reasoning about typicality"],"prefix":"10.1016","volume":"195","author":[{"given":"L.","family":"Giordano","sequence":"first","affiliation":[]},{"given":"V.","family":"Gliozzi","sequence":"additional","affiliation":[]},{"given":"N.","family":"Olivetti","sequence":"additional","affiliation":[]},{"given":"G.L.","family":"Pozzato","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.artint.2012.10.004_br0010","series-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005)","first-page":"364","article-title":"Pushing the EL envelope","author":"Baader","year":"2005"},{"key":"10.1016\/j.artint.2012.10.004_br0020","doi-asserted-by":"crossref","unstructured":"F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider, The Description Logic Handbook \u2013 Theory, Implementation, and Applications, 2nd edition, Cambridge, 2007.","DOI":"10.1017\/CBO9780511711787"},{"issue":"1","key":"10.1016\/j.artint.2012.10.004_br0030","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00883932","article-title":"Embedding defaults into terminological knowledge representation formalisms","volume":"14","author":"Baader","year":"1995","journal-title":"Journal of Automated Reasoning (JAR)"},{"issue":"1","key":"10.1016\/j.artint.2012.10.004_br0040","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00881830","article-title":"Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic","volume":"15","author":"Baader","year":"1995","journal-title":"Journal of Automated Reasoning (JAR)"},{"key":"10.1016\/j.artint.2012.10.004_br0050","series-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)","first-page":"696","article-title":"Defeasible inclusions in low-complexity DLs: Preliminary notes","author":"Bonatti","year":"2009"},{"key":"10.1016\/j.artint.2012.10.004_br0060","series-title":"9th International Semantic Web Conference (ISWC 2010)","first-page":"64","article-title":"EL with default attributes and overriding","volume":"vol. 6496","author":"Bonatti","year":"2010"},{"key":"10.1016\/j.artint.2012.10.004_br0070","series-title":"Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011)","article-title":"Adding default attributes to EL++","author":"Bonatti","year":"2011"},{"key":"10.1016\/j.artint.2012.10.004_br0080","series-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)","first-page":"762","article-title":"On the complexity of EL with defeasible inclusions","author":"Bonatti","year":"2011"},{"key":"10.1016\/j.artint.2012.10.004_br0090","series-title":"Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)","first-page":"400","article-title":"Description logics with circumscription","author":"Bonatti","year":"2006"},{"key":"10.1016\/j.artint.2012.10.004_br0100","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","article-title":"The complexity of circumscription in DLs","volume":"35","author":"Bonatti","year":"2009","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.1016\/j.artint.2012.10.004_br0110","series-title":"Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI 1987)","first-page":"483","article-title":"The logic of inheritance in frame systems","author":"Brewka","year":"1987"},{"key":"10.1016\/j.artint.2012.10.004_br0120","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008)","first-page":"476","article-title":"Semantic preferential subsumption","author":"Britz","year":"2008"},{"key":"10.1016\/j.artint.2012.10.004_br0130","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","article-title":"Decidable reasoning in terminological knowledge representation systems","volume":"1","author":"Buchheit","year":"1993","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"10.1016\/j.artint.2012.10.004_br0140","series-title":"Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems (ISMIS-90)","first-page":"474","article-title":"Closed world reasoning in hybrid systems","author":"Cadoli","year":"1990"},{"key":"10.1016\/j.artint.2012.10.004_br0150","series-title":"Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference","first-page":"602","article-title":"DL-Lite: Tractable description logics for ontologies","author":"Calvanese","year":"2005"},{"issue":"3","key":"10.1016\/j.artint.2012.10.004_br0160","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","article-title":"Tractable reasoning and efficient query answering in description logics: The DL-Lite family","volume":"39","author":"Calvanese","year":"2007","journal-title":"Journal of Automated Reasoning (JAR)"},{"key":"10.1016\/j.artint.2012.10.004_br0170","series-title":"Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA 2010)","first-page":"77","article-title":"Rational closure for defeasible description logics","volume":"vol. 6341","author":"Casini","year":"2010"},{"key":"10.1016\/j.artint.2012.10.004_br0180","series-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)","first-page":"813","article-title":"Defeasible inheritance-based description logics","author":"Casini","year":"2011"},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.10.004_br0190","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","article-title":"An epistemic operator for description logics","volume":"100","author":"Donini","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2012.10.004_br0200","first-page":"136","article-title":"Autoepistemic description logics","volume":"vol. 1","author":"Donini","year":"1997"},{"issue":"2","key":"10.1016\/j.artint.2012.10.004_br0210","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/505372.505373","article-title":"Description logics of minimal knowledge and negation as failure","volume":"3","author":"Donini","year":"2002","journal-title":"ACM Transactions on Computational Logic (ToCL)"},{"key":"10.1016\/j.artint.2012.10.004_br0220","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference (KR 2004)","first-page":"141","article-title":"Combining answer set programming with description logics for the semantic web","author":"Eiter","year":"2004"},{"key":"10.1016\/j.artint.2012.10.004_br0230","unstructured":"D.W. Etherington, R. Reiter, On inheritance hierarchies with exceptions, in: AAAI, 1983, pp. 104\u2013108."},{"key":"10.1016\/j.artint.2012.10.004_br0240","series-title":"Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 1981)","first-page":"257","article-title":"Cancellation in a parallel semantic network","author":"Fahlman","year":"1981"},{"key":"10.1016\/j.artint.2012.10.004_br0250","series-title":"Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008)","first-page":"192","article-title":"Reasoning about typicality in preferential description logics","volume":"vol. 5293","author":"Giordano","year":"2008"},{"key":"10.1016\/j.artint.2012.10.004_br0260","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2009-182","article-title":"ALC+T: A preferential extension of Description Logics","volume":"96","author":"Giordano","year":"2009","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/j.artint.2012.10.004_br0270","unstructured":"L. Giordano, V. Gliozzi, N. Olivetti, G.L. Pozzato, On extending description logics for reasoning about typicality: A first step, TR Dip. di Informatica, 2009, http:\/\/www.di.unito.it\/~pozzato\/tr09.pdf."},{"key":"10.1016\/j.artint.2012.10.004_br0280","series-title":"Proceedings of 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)","first-page":"430","article-title":"Prototypical reasoning with low complexity description logics: Preliminary results","volume":"vol. 5753","author":"Giordano","year":"2009"},{"key":"10.1016\/j.artint.2012.10.004_br0290","series-title":"AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XI Conference of the Italian Association for Artificial Intelligence","first-page":"62","article-title":"Reasoning about typicality with low complexity description logics: The logic EL+\u22a5T","volume":"vol. 5883","author":"Giordano","year":"2009"},{"key":"10.1016\/j.artint.2012.10.004_br0300","series-title":"Proceedings of the 17th Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2010)","first-page":"317","article-title":"A nonmonotonic extension of KLM preferential logic P","volume":"vol. 6397","author":"Giordano","year":"2010"},{"key":"10.1016\/j.artint.2012.10.004_br0310","series-title":"Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)","first-page":"1069","article-title":"Preferential vs rational description logics: Which one for reasoning about typicality?","volume":"vol. 215","author":"Giordano","year":"2010"},{"key":"10.1016\/j.artint.2012.10.004_br0320","unstructured":"L. Giordano, V. Gliozzi, N. Olivetti, G.L. Pozzato, Reasoning about typicality in preferential description logics: Preferential vs rational entailment, in: W. Faber, N. Leone (Eds.), Proceedings of the 25th Convegno Italiano di Logica Computazionale (CILC 2010), in: CEUR Workshop Proceedings, CEUR-WS.org, vol. 598, Rende (CS), Italy, July 2010, pp. 1\u201315."},{"key":"10.1016\/j.artint.2012.10.004_br0330","series-title":"Proceedings of TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)","first-page":"180","article-title":"A tableau calculus for a nonmonotonic extension of EL\u22a5","volume":"vol. 6793","author":"Giordano","year":"2011"},{"key":"10.1016\/j.artint.2012.10.004_br0340","series-title":"AI*IA 2011: Artificial Intelligence Around Man and Beyond, XIIth International Conference of the Italian Association for Artificial Intelligence","first-page":"164","article-title":"A tableau calculus for a nonmonotonic extension of the Description Logic DL\u2212Litecore","volume":"vol. 6934","author":"Giordano","year":"2011"},{"key":"10.1016\/j.artint.2012.10.004_br0350","series-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)","first-page":"894","article-title":"Reasoning about typicality in low complexity DLs: The logics EL\u22a5Tmin and DL-liteRTmin","author":"Giordano","year":"2011"},{"key":"10.1016\/j.artint.2012.10.004_br0360","series-title":"Logics in Artificial Intelligence, 13th European Conference (JELIA 2012)","first-page":"228","article-title":"A minimal model semantics for nonmonotonic reasoning","volume":"vol. 7519","author":"Giordano","year":"2012"},{"key":"10.1016\/j.artint.2012.10.004_br0370","series-title":"Proceedings of 8th European Conference on Logics in Artificial Intelligence (JELIA 2002)","first-page":"86","article-title":"P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web","volume":"vol. 2424","author":"Giugno","year":"2002"},{"key":"10.1016\/j.artint.2012.10.004_br0380","series-title":"Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems (RR 2009)","first-page":"40","article-title":"A preferential tableaux calculus for circumscriptive ALCO","volume":"vol. 5837","author":"Grimm","year":"2009"},{"key":"10.1016\/j.artint.2012.10.004_br0390","unstructured":"U. Junker, K. Konolige, Computing the extensions of autoepistemic and default logics with a truth maintenance system, in: AAAI, 1990, pp. 278\u2013283."},{"key":"10.1016\/j.artint.2012.10.004_br0400","unstructured":"P. Ke, U. Sattler, Next steps for description logics of minimal knowledge and negation as failure, in: F. Baader, C. Lutz, B. Motik (Eds.), Proceedings of the 21st International Workshop on Description Logics (DL2008), in: CEUR Workshop Proceedings, CEUR-WS.org, vol. 353, Dresden, Germany, May 2008."},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.10.004_br0410","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2012.10.004_br0420","unstructured":"A.A. Krisnadhi, K. Sengupta, P. Hitzler, Local closed world semantics: Keep it simple, stupid! in: Proceedings of the 24th International Workshop on Description Logics (DL 2011), in: CEUR Workshop Proceedings, vol. 745, Barcelona, Spain, July 2011."},{"issue":"1","key":"10.1016\/j.artint.2012.10.004_br0430","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail?","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2012.10.004_br0440","series-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991)","first-page":"381","article-title":"Nonmonotonic databases and epistemic queries","author":"Lifschitz","year":"1991"},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.10.004_br0450","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","article-title":"Minimal belief and negation as failure","volume":"70","author":"Lifschitz","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/j.artint.2012.10.004_br0460","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common-sense knowledge","volume":"28","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"5","key":"10.1016\/j.artint.2012.10.004_br0470","doi-asserted-by":"crossref","DOI":"10.1145\/1754399.1754403","article-title":"Reconciling description logics and rules","volume":"57","author":"Motik","year":"2010","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.artint.2012.10.004_br0480","series-title":"Topics in Conditional Logic","author":"Nute","year":"1980"},{"issue":"1\u20132","key":"10.1016\/j.artint.2012.10.004_br0490","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2012.10.004_br0500","unstructured":"D. Rognone, Non monotonic extensions of DLs: Reasoning about typicality with number restrictions, Master\u02bcs thesis, Universit\u00e0 degli Studi di Torino, 2009."},{"key":"10.1016\/j.artint.2012.10.004_br0510","doi-asserted-by":"crossref","unstructured":"C. Schwind, V. Risch, A tableau-based characterisation for default logic, in: ECSQARU, 1991, pp. 310\u2013317.","DOI":"10.1007\/3-540-54659-6_107"},{"key":"10.1016\/j.artint.2012.10.004_br0520","series-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993)","first-page":"676","article-title":"Default inheritance reasoning in hybrid kl-one-style logics","author":"Straccia","year":"1993"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370212001269?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370212001269?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T17:36:13Z","timestamp":1594748173000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370212001269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":52,"alternative-id":["S0004370212001269"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2012.10.004","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2013,2]]}}}