{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T07:20:16Z","timestamp":1712301616839},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T00:00:00Z","timestamp":1537747200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s11787-018-0211-x","type":"journal-article","created":{"date-parts":[[2018,9,24]],"date-time":"2018-09-24T02:43:46Z","timestamp":1537757026000},"page":"297-325","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies"],"prefix":"10.1007","volume":"12","author":[{"given":"Ivan","family":"Varzinczak","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,24]]},"reference":[{"key":"211_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"211_CR2","first-page":"69","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"F Baader","year":"1993","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 69\u2013675. Morgan Kaufmann Publishers, San Francisco (1993)"},{"issue":"1","key":"211_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reason. 14(1), 149\u2013180 (1995)","journal-title":"J. Autom. Reason."},{"key":"211_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"issue":"1","key":"211_CR5","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1093\/logcom\/exv014","volume":"27","author":"S Benferhat","year":"2017","unstructured":"Benferhat, S., Bouraoui, Z.: Min-based possibilistic DL-Lite. J. Logic Comput. 27(1), 261\u2013297 (2017)","journal-title":"J. Logic Comput."},{"key":"211_CR6","volume-title":"Handbook of Modal Logic","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic. Elsevier, North-Holland (2006)"},{"key":"211_CR7","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, I.M., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1\u201348 (2015)","journal-title":"Artif. Intell."},{"key":"211_CR8","first-page":"719","volume":"42","author":"P Bonatti","year":"2011","unstructured":"Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. 42, 719\u2013764 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"211_CR9","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.: The complexity of circumscription in description logic. J. Artif. Intell. Res. 35, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"211_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.artint.2017.04.001","volume":"248","author":"P Bonatti","year":"2017","unstructured":"Bonatti, P., Sauro, L.: On the logical properties of the nonmonotonic description logic DL $$^{N}$$ N . Artif. Intell. 248, 85\u2013111 (2017)","journal-title":"Artif. Intell."},{"key":"211_CR11","unstructured":"Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2805\u20132811 (2015)"},{"key":"211_CR12","first-page":"107","volume-title":"Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), Number 7519 in LNCS","author":"R Booth","year":"2012","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: PTL: a propositional typicality logic. In: Fari\u00f1as del Cerro, L., Herzig, A., Mengin, J. (eds.) Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA), Number 7519 in LNCS, pp. 107\u2013119. Springer, New York (2012)"},{"key":"211_CR13","first-page":"123","volume-title":"Trends in Belief Revision and Argumentation Dynamics, volume\u00a048 of Studies in Logic\u2013Logic and Cognitive Systems","author":"R Booth","year":"2013","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Ferm\u00e9, E.L., Gabbay, D.M., Simari, G.R. (eds.) Trends in Belief Revision and Argumentation Dynamics, volume\u00a048 of Studies in Logic\u2013Logic and Cognitive Systems, pp. 123\u2013154. King\u2019s College Publications, London (2013)"},{"issue":"1","key":"211_CR14","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C Boutilier","year":"1994","unstructured":"Boutilier, C.: Conditional logics of normality: a modal approach. Artif. Intell. 68(1), 87\u2013154 (1994)","journal-title":"Artif. Intell."},{"key":"211_CR15","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics, pp. 93\u2013106 (2013)"},{"key":"211_CR16","first-page":"476","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR)","author":"K Britz","year":"2008","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 476\u2013484. AAAI Press\/MIT Press, Cambridge (2008)"},{"key":"211_CR17","first-page":"506","volume-title":"Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, Number 5866 in LNAI","author":"K Britz","year":"2009","unstructured":"Britz, K., Heidema, J., Meyer, T.: Modelling object typicality in description logics. In: Nicholson, A., Li, X. (eds.) Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, Number 5866 in LNAI, pp. 506\u2013516. Springer, New York (2009)"},{"key":"211_CR18","volume-title":"Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, Number 7106 in","author":"K Britz","year":"2011","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, Number 7106 in. Springer, New York (2011)"},{"key":"211_CR19","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-319-48758-8_12","volume-title":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), Number 10021 in LNCS","author":"K Britz","year":"2016","unstructured":"Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A.C. (eds.) Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA), Number 10021 in LNCS, pp. 174\u2013189. Springer, New York (2016)"},{"key":"211_CR20","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Context-based defeasible subsumption for $$d\\cal{SROIQ}$$ d SROIQ . In: Proceedings of the 13th International Symposium on Logical Formalizations of Commonsense Reasoning (2017)","DOI":"10.1007\/978-3-319-90050-6_7"},{"key":"211_CR21","unstructured":"Britz, K., Varzinczak, I.: Toward defeasible $$\\cal{SROIQ}$$ SROIQ . In: Proceedings of the 30th International Workshop on Description Logics (2017)"},{"issue":"1","key":"211_CR22","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.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non Class. Log. (JANCL) 28(1), 92\u2013121 (2018)","journal-title":"J. Appl. Non Class. Log. (JANCL)"},{"issue":"2","key":"211_CR23","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.: Preferential accessibility and preferred worlds. J. Log. Lang. Inf. (JoLLI) 27(2), 133\u2013155 (2018)","journal-title":"J. Log. Lang. Inf. (JoLLI)"},{"key":"211_CR24","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-90050-6_7","volume-title":"Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Number 10833 in LNCS","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: Rationality and context in defeasible subsumption. In: Ferrarotti, F., Woltran, S. (eds.) Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Number 10833 in LNCS, pp. 114\u2013132. Springer, New York (2018)"},{"key":"211_CR25","unstructured":"Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d\u2019Aquin, M., Srinivas, K., Groth, P.T., Dumontier, M., Heflin, J., Thirunarayan, K., Staab, S. (eds.) Proceedings of the 14th International Semantic Web Conference (ISWC), Number 9367 in LNCS, pp. 409\u2013426. Springer, New York (2015)"},{"key":"211_CR26","first-page":"77","volume-title":"Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA), Number 6341 in LNCS","author":"G Casini","year":"2010","unstructured":"Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemel\u00e4, I. (eds.) Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA), Number 6341 in LNCS, pp. 77\u201390. Springer, New York (2010)"},{"key":"211_CR27","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1613\/jair.4062","volume":"48","author":"G Casini","year":"2013","unstructured":"Casini, G., Straccia, U.: Defeasible inheritance-based description logics. J. Artif. Intellv Res. (JAIR) 48, 415\u2013473 (2013)","journal-title":"J. Artif. Intellv Res. (JAIR)"},{"issue":"2","key":"211_CR28","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"FM Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log."},{"key":"211_CR29","first-page":"257","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Number 4790 in LNAI","author":"L Giordano","year":"2007","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Number 4790 in LNAI, pp. 257\u2013272. Springer, New York (2007)"},{"key":"211_CR30","first-page":"192","volume-title":"Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA), Number 5293 in LNAI","author":"L Giordano","year":"2008","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in preferential description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA), Number 5293 in LNAI, pp. 192\u2013205. Springer, New York (2008)"},{"issue":"3","key":"211_CR31","first-page":"18:1","volume":"10","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3), 18:1\u201318:47 (2009)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"211_CR32","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/FI-2009-182","volume":"96","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: $$\\cal{ALC}+{T}$$ ALC + T : a preferential extension of description logics. Fundam. Inform. 96(3), 341\u2013372 (2009)","journal-title":"Fundam. Inform."},{"key":"211_CR33","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, G.L.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"211_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.05.001","volume":"226","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"key":"211_CR35","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-30504-0_8","volume-title":"Rules and Rule Markup Languages for the Semantic Web, Number 3323 in LNCS","author":"G Governatori","year":"2004","unstructured":"Governatori, G.: Defeasible description logics. In: Antoniou, G., Boley, H. (eds.) Rules and Rule Markup Languages for the Semantic Web, Number 3323 in LNCS, pp. 98\u2013112. Springer, New York (2004)"},{"key":"211_CR36","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW), pp. 48\u201357. ACM (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"211_CR37","first-page":"1033","volume-title":"CoopIS\/DOA\/ODBASE Number 2519 in LNCS","author":"S Heymans","year":"2002","unstructured":"Heymans, S., Vermeir, D.: A defeasible ontology language. In: Meersman, R., Tari, Z. (eds.) CoopIS\/DOA\/ODBASE Number 2519 in LNCS, pp. 1033\u20131046. Springer, New York (2002)"},{"key":"211_CR38","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"211_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"211_CR40","first-page":"286","volume":"32","author":"P Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First-order predicate logic with generalized quantifiers. Theoria 32, 286\u2013195 (1966)","journal-title":"Theoria"},{"issue":"1\u20132","key":"211_CR41","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J.: Circumscription, a form of nonmonotonic reasoning. Artif. Intell. 13(1\u20132), 27\u201339 (1980)","journal-title":"Artif. Intell."},{"issue":"1","key":"211_CR42","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J McCarthy","year":"1986","unstructured":"McCarthy, J.: Applications of circumscription to formalizing common-sense knowledge. Artif. Intell. 28(1), 89\u2013116 (1986)","journal-title":"Artif. Intell."},{"key":"211_CR43","first-page":"662","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"L Padgham","year":"1993","unstructured":"Padgham, L., Zhang, T.: A terminological logic with defaults: A definition and an application. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 662\u2013668. Morgan Kaufmann Publishers, London (1993)"},{"key":"211_CR44","first-page":"828","volume-title":"Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Number 4724 in LNAI","author":"G Qi","year":"2007","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Number 4724 in LNAI, pp. 828\u2013839. Springer, New York (2007)"},{"key":"211_CR45","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), pp. 294\u2013305 (1992)"},{"key":"211_CR46","unstructured":"Quantz, J., Ryan, M.: Preferential default description logics. Technical report, TU Berlin (1993)"},{"key":"211_CR47","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI), pp. 466\u2013471 (1991)"},{"key":"211_CR48","first-page":"617","volume-title":"Proceedings of the 10th International Semantic Web Conference (ISWC), Number 7031 in LNCS","author":"K Sengupta","year":"2011","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. (eds.) Proceedings of the 10th International Semantic Web Conference (ISWC), Number 7031 in LNCS, pp. 617\u2013632. Springer, New York (2011)"},{"key":"211_CR49","volume-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge (1988)"},{"key":"211_CR50","first-page":"676","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI)","author":"U Straccia","year":"1993","unstructured":"Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 676\u2013681. Morgan Kaufmann Publishers, London (1993)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-018-0211-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-018-0211-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-018-0211-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,2]],"date-time":"2022-09-02T13:07:57Z","timestamp":1662124077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-018-0211-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,24]]},"references-count":50,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["211"],"URL":"https:\/\/doi.org\/10.1007\/s11787-018-0211-x","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,24]]},"assertion":[{"value":"18 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 September 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}