{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:15:58Z","timestamp":1742976958916,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23264-5_25","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"294-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Linking Open-World Knowledge Bases Using Nonmonotonic Rules"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Mantas","family":"\u0160imkus","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"key":"25_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"issue":"11","key":"25_CR2","doi-asserted-by":"publisher","first-page":"1492","DOI":"10.1109\/TKDE.2010.37","volume":"22","author":"A Bikakis","year":"2010","unstructured":"Bikakis, A., Antoniou, G.: Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Trans. Knowl. Data Eng. 22(11), 1492\u20131506 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume-title":"Journal on Data Semantics I","author":"A Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153\u2013184. Springer, Heidelberg (2003)"},{"issue":"4","key":"25_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.websem.2004.07.001","volume":"1","author":"P Bouquet","year":"2004","unstructured":"Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: Contextualizing ontologies. J. Web Sem. 1(4), 325\u2013343 (2004)","journal-title":"J. Web Sem."},{"key":"25_CR5","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI 2007 (2007)"},{"issue":"4\u20135","key":"25_CR6","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1016\/j.is.2008.01.007","volume":"33","author":"D Calvanese","year":"2008","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. Inf. Syst. 33(4\u20135), 360\u2013384 (2008)","journal-title":"Inf. Syst."},{"issue":"2","key":"25_CR7","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."},{"issue":"2\u20134","key":"25_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10472-008-9086-5","volume":"51","author":"T Eiter","year":"2007","unstructured":"Eiter, T., Faber, W., Fink, M., Woltran, S.: Complexity results for answer set programming with bounded predicate arities and implications. Ann. Math. Artif. Intell. 51(2\u20134), 123\u2013165 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"1\u20134","key":"25_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/s10472-009-9111-3","volume":"53","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Schindlauer, R.: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1\u20134), 115\u2013152 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"12\u201313","key":"25_CR10","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. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"25_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP\/SLP 1988, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: how we can do without modal logics. Artif. Intell. 65(1), 29\u201370 (1994)","journal-title":"Artif. Intell."},{"key":"25_CR13","unstructured":"Grimm, S., Motik, B.: Closed world reasoning in the semantic web through epistemic operators. In: Proceedings of OWLED 2005. CEUR-WS.org (2005)"},{"key":"25_CR14","unstructured":"Homola, M.: Semantic Investigations in Distributed Ontologies. Ph.D. thesis, Comenius University, Bratislava, Slovakia, April 2010"},{"key":"25_CR15","unstructured":"Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Proceedings of ECAI 2012. IOS Press (2012)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Logic Comput. (2014)","DOI":"10.1093\/logcom\/ext062"},{"issue":"1","key":"25_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1\u201373 (2004)","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"25_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70(1\u20132), 53\u201372 (1994)","journal-title":"Artif. Intell."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Mehdi, A., Rudolph, S.: Revisiting semantics for epistemic extensions of description logics. In: Proceedings of AAAI 2011 (2011)","DOI":"10.1609\/aaai.v25i1.7848"},{"issue":"5","key":"25_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 1\u201362 (2010)","journal-title":"J. ACM"},{"key":"25_CR21","unstructured":"Roelofsen, F., Serafini, L.: Minimal and absent information in contexts. In: Proceedings of IJCAI 2005 (2005)"},{"key":"25_CR22","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.637","volume":"11","author":"R Rosati","year":"1999","unstructured":"Rosati, R.: Reasoning about minimal belief and negation as failure. J. Artif. Intell. Res. (JAIR) 11, 277\u2013300 (1999)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1\u20132","key":"25_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1020255204705","volume":"37","author":"R Rosati","year":"2003","unstructured":"Rosati, R.: Minimal belief and negation as failure in multi-agent systems. Ann. Math. Artif. Intell. 37(1\u20132), 5\u201332 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.websem.2011.12.003","volume":"12\u201313","author":"L Serafini","year":"2012","unstructured":"Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. Web Semant. 12\u201313, 64\u201387 (2012)","journal-title":"Web Semant."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T00:00:15Z","timestamp":1674259215000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}