{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:20:04Z","timestamp":1740158404779,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,3,2]],"date-time":"2020-03-02T00:00:00Z","timestamp":1583107200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,2]],"date-time":"2020-03-02T00:00:00Z","timestamp":1583107200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s13218-020-00649-8","type":"journal-article","created":{"date-parts":[[2020,3,2]],"date-time":"2020-03-02T21:03:52Z","timestamp":1583183032000},"page":"539-542","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Defeasible Description Logics"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0025-9632","authenticated-orcid":false,"given":"Ivan","family":"Varzinczak","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,2]]},"reference":[{"key":"649_CR1","unstructured":"Baader F, Hollunder B. How to prefer more specific defaults in terminological default logic. In: Bajcsy R, editor. Proceedings of the 13th international joint conference on artificial intelligence (IJCAI). USA: Morgan Kaufmann Publishers; 1993. pp 669\u2013675"},{"key":"649_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.12.010","volume":"222","author":"P Bonatti","year":"2015","unstructured":"Bonatti P, Faella M, Petrova IM, Sauro L (2015) A new semantics for overriding in description logics. Artif Intell 222:1\u201348","journal-title":"Artif Intell"},{"key":"649_CR3","first-page":"719","volume":"42","author":"P Bonatti","year":"2011","unstructured":"Bonatti P, Faella M, Sauro L (2011) Defeasible inclusions in low-complexity DLs. J Artif Intell Res 42:719\u2013764","journal-title":"J Artif Intell Res"},{"key":"649_CR4","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"P Bonatti","year":"2009","unstructured":"Bonatti P, Lutz C, Wolter F (2009) The complexity of circumscription in description logic. J Artif Intell Res 35:717\u2013773","journal-title":"J Artif Intell Res"},{"key":"649_CR5","unstructured":"Booth R, Meyer T, Varzinczak I. A propositional typicality logic for extending rational consequence. In: Ferm\u00e9 EL, Gabbay DM, Simari GR, editors, Trends in belief revision and argumentation dynamics. vol 48 of Studies in logic\u2013Logic and cognitive systems. King\u2019s College Publications; 2013. pp 123\u2013154."},{"key":"649_CR6","doi-asserted-by":"crossref","unstructured":"Britz K, Meyer T, Varzinczak I. Semantic foundation for preferential description logics. In: Wang D, Reynolds M, editors. Proceedings of the 24th Australasian joint conference on artificial intelligence, number 7106 in LNAI. Berlin: Springer; 2011. pp 491\u2013500.","DOI":"10.1007\/978-3-642-25832-9_50"},{"key":"649_CR7","unstructured":"Britz K, Varzinczak I (2013) Defeasible modalities. In: Proceedings of the 14th conference on theoretical aspects of rationality and knowledge (TARK). pp 49\u201360"},{"key":"649_CR8","doi-asserted-by":"crossref","unstructured":"Britz K, Varzinczak I. Introducing role defeasibility in description logics. In: Michael L, Kakas AC, editors. Proceedings of the 15th European conference on logics in artificial intelligence (JELIA), number 10021 in LNCS. Berlin: Springer; 2016. pp 174\u2013189.","DOI":"10.1007\/978-3-319-48758-8_12"},{"key":"649_CR9","unstructured":"Britz K, Varzinczak I. Toward defeasible $$\\cal{SROIQ}$$. In: Proceedings of the 30th international workshop on description logics; 2017."},{"issue":"1","key":"649_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1080\/11663081.2017.1397325","volume":"28","author":"K Britz","year":"2018","unstructured":"Britz K, Varzinczak I (2018) From KLM-style conditionals to defeasible modalities, and back. J Appl Non-Classical Logics (JANCL) 28(1):92\u2013121","journal-title":"J Appl Non-Classical Logics (JANCL)"},{"issue":"2","key":"649_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10849-017-9264-0","volume":"27","author":"K Britz","year":"2018","unstructured":"Britz K, Varzinczak I (2018) Preferential accessibility and preferred worlds. J Logic Lang Inf (JoLLI) 27(2):133\u2013155","journal-title":"J Logic Lang Inf (JoLLI)"},{"key":"649_CR12","doi-asserted-by":"crossref","unstructured":"Britz K, Varzinczak K. Rationality and context in defeasible subsumption. In: Ferrarotti F, Woltran S, editors. Proceedings of the 10th international symposium on foundations of information and knowledge systems (FoIKS), number 10833 in LNCS. Berlin: Springer; 2018. pp 114\u2013132.","DOI":"10.1007\/978-3-319-90050-6_7"},{"key":"649_CR13","doi-asserted-by":"crossref","unstructured":"Casini G, Straccia U. Rational closure for defeasible description logics. In: Janhunen T, Niemel\u00e4 I, editors. In: Proceedings of the 12th European conference on logics in artificial intelligence (JELIA), number 6341 in LNCS. Berlin: Springer-Verlag; 2010. pp 77\u201390.","DOI":"10.1007\/978-3-642-15675-5_9"},{"issue":"2","key":"649_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini FM, Nardi D, Rosati R (2002) Description logics of minimal knowledge and negation as failure. ACM Trans Comput Logic 3(2):177\u2013225","journal-title":"ACM Trans Comput Logic"},{"key":"649_CR15","doi-asserted-by":"crossref","unstructured":"Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2007) Preferential description logics. In N.\u00a0Dershowitz and A.\u00a0Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), number 4790 in LNAI, pages 257\u2013272. Springer","DOI":"10.1007\/978-3-540-75560-9_20"},{"key":"649_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2012.10.004","volume":"195","author":"L Giordano","year":"2013","unstructured":"Giordano L, Gliozzi V, Olivetti N, Pozzato GL (2013) A non-monotonic description logic for reasoning about typicality. Artif Intell 195:165\u2013202","journal-title":"Artif Intell"},{"key":"649_CR17","unstructured":"Heymans S, Vermeir D (2002) A defeasible ontology language. In: Meersman R, Tari Z, editors, CoopIS\/DOA\/ODBASE, number 2519 in LNCS. Berlin: Springer; 2002. pp 1033\u20131046."},{"key":"649_CR18","unstructured":"Padgham L, Zhang T. A terminological logic with defaults: a definition and an application. In: Bajcsy R, editor, Proceedings of the 13th international joint conference on artificial intelligence (IJCAI). Morgan Kaufmann Publishers; 1993. pp 662\u2013668."},{"key":"649_CR19","unstructured":"Quantz J, Royer V. A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International conference on principles of knowledge representation and reasoning (KR). 1992. pp 294\u2013305."},{"key":"649_CR20","doi-asserted-by":"crossref","unstructured":"Sengupta K, Alfa Krisnadhi 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, editors. Proceedings of the 10th international semantic web conference (ISWC), number 7031 in LNCS. Berlin: Springer; 2011. pp 617\u2013632.","DOI":"10.1007\/978-3-642-25073-6_39"},{"key":"649_CR21","unstructured":"Straccia U (1993) Default inheritance reasoning in hybrid KL-ONE-style logics. In R.\u00a0Bajcsy, editor, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pages 676\u2013681. Morgan Kaufmann Publishers"},{"issue":"3\u20134","key":"649_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11787-018-0211-x","volume":"12","author":"IJ Varzinczak","year":"2018","unstructured":"Varzinczak IJ (2018) A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Logica Universalis 12(3\u20134):297\u2013325","journal-title":"Logica Universalis"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00649-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-020-00649-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-020-00649-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,2]],"date-time":"2021-03-02T00:30:59Z","timestamp":1614645059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-020-00649-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,2]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["649"],"URL":"https:\/\/doi.org\/10.1007\/s13218-020-00649-8","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2020,3,2]]},"assertion":[{"value":"2 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}