{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:10:01Z","timestamp":1747368601865,"version":"3.40.5"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_8","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"112-124","source":"Crossref","is-referenced-by-count":3,"title":["Decidability of Circumscribed Description Logics Revisited"],"prefix":"10.1007","author":[{"given":"Piero","family":"Bonatti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Faella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Sauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A. Artale","year":"2009","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-lite family and relations. J. Artif. Intell. Res (JAIR)\u00a036, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1","key":"8_CR2","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. Reasoning\u00a014(1), 149\u2013180 (1995)","journal-title":"J. Autom. Reasoning"},{"key":"8_CR3","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge University Press (2003)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"8_CR5","first-page":"719","volume":"42","author":"P.A. Bonatti","year":"2011","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res (JAIR)\u00a042, 719\u2013764 (2011)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"P.A. Bonatti","year":"2009","unstructured":"Bonatti, P.A., Lutz, C., Wolter, F.: The complexity of circumscription in DLs. J. Artif. Intell. Res (JAIR)\u00a035, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"8_CR7","unstructured":"Brewka, G.: The logic of inheritance in frame systems. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI 1987), pp. 483\u2013488. Morgan Kaufmann (1987)"},{"key":"8_CR8","unstructured":"Cadoli, M., Donini, F., Schaerf, M.: Closed world reasoning in hybrid systems. In: Proc. of ISMIS 1990, pp. 474\u2013481. Elsevier (1990)"},{"key":"8_CR9","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of AAAI 2005, pp. 602\u2013607 (2005)"},{"key":"8_CR10","doi-asserted-by":"crossref","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. Intell. Res (JAIR)\u00a048, 415\u2013473 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F.M. Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log.\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Log."},{"issue":"12","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence\u00a0172(12), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S. Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.L.: The first-order properties of algebraic systems. Fundamenta Mathematicae\u00a047, 57\u2013103 (1959)","journal-title":"Fundamenta Mathematicae"},{"key":"8_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75560-9_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 257\u2013272. Springer, Heidelberg (2007)"},{"key":"8_CR15","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.\u00a0195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"8_CR16","unstructured":"Gottlob, G., Hernich, A., Kupke, C., Lukasiewicz, T.: Equality-friendly well-founded semantics and applications to description logics. In: Description Logics (2012)"},{"key":"8_CR17","unstructured":"Gottlob, G., Hernich, A., Kupke, C., Lukasiewicz, T.: Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24 (2014)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1016\/j.artint.2013.07.004","volume":"203","author":"B. Konev","year":"2013","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell.\u00a0203, 66\u2013103 (2013)","journal-title":"Artif. Intell."},{"issue":"15","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1016\/j.artint.2010.06.003","volume":"174","author":"R. Kontchakov","year":"2010","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Logic-based ontology comparison and module extraction, with an application to dl-lite. Artif. Intell.\u00a0174(15), 1093\u20131141 (2010)","journal-title":"Artif. Intell."},{"issue":"5","key":"8_CR20","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. Journal of the ACM (JACM)\u00a057(5), 30 (2010)","journal-title":"Journal of the ACM (JACM)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Rector, A.L.: Defaults, context, and knowledge: Alternatives for OWL-indexed knowledge bases. In: Pacific Symposium on Biocomputing, pp. 226\u2013237. World Scientific (2004)","DOI":"10.1142\/9789812704856_0022"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-25073-6_39","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"K. Sengupta","year":"2011","unstructured":"Sengupta, K., Krisnadhi, A.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.) ISWC 2011, Part I. LNCS, vol.\u00a07031, pp. 617\u2013632. Springer, Heidelberg (2011)"},{"issue":"7","key":"8_CR23","first-page":"583","volume":"65","author":"R. Stevens","year":"2007","unstructured":"Stevens, R., Aranguren, M.E., Wolstencroft, K., Sattler, U., Drummond, N., Horridge, M., Rector, A.L.: Using OWL to model biological knowledge. International Journal of Man-Machine Studies\u00a065(7), 583\u2013594 (2007)","journal-title":"International Journal of Man-Machine Studies"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T03:47:24Z","timestamp":1747367244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}