{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:30:58Z","timestamp":1725582658821},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_27","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"248-253","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)"],"prefix":"10.1007","author":[{"given":"Joohyung","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Palla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12-13","key":"27_CR1","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-13), 1495\u20131539 (2008)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"27_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem.\u00a03(1), 61\u201373 (2005)","journal-title":"J. Web Sem."},{"unstructured":"Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 68\u201378 (2006)","key":"27_CR3"},{"issue":"3","key":"27_CR4","first-page":"411","volume":"8","author":"S. Heymans","year":"2008","unstructured":"Heymans, S., de Bruijn, J., Predoiu, L., Feier, C., Nieuwenborgh, D.V.: Guarded hybrid knowledge bases. TPLP\u00a08(3), 411\u2013429 (2008)","journal-title":"TPLP"},{"issue":"1","key":"27_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10115-010-0294-z","volume":"25","author":"J. Bruijn de","year":"2010","unstructured":"de Bruijn, J., Pearce, D., Polleres, A., Valverde, A.: A semantical framework for hybrid knowledge bases. Knowl. Inf. Syst.\u00a025(1), 81\u2013104 (2010)","journal-title":"Knowl. Inf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM\u00a057(5) (2010)","key":"27_CR6","DOI":"10.1145\/1754399.1754403"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1016\/j.artint.2010.04.011","volume":"175","author":"P. Ferraris","year":"2011","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: Stable models and circumscription. Artificial Intelligence\u00a0175, 236\u2013263 (2011)","journal-title":"Artificial Intelligence"},{"unstructured":"Bartholomew, M., Lee, J.: A decidable class of groundable formulas in the general theory of stable models. In: Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 477\u2013485 (2010)","key":"27_CR8"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-04238-6_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Lee","year":"2009","unstructured":"Lee, J., Meng, Y.: On reductive semantics of aggregates in answer set programming. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 182\u2013195. Springer, Heidelberg (2009)"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-15675-5_15","volume-title":"Logics in Artificial Intelligence","author":"M. Fink","year":"2010","unstructured":"Fink, M., Pearce, D.: A logical semantics for description logic programs. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 156\u2013168. Springer, Heidelberg (2010)"},{"key":"27_CR11","first-page":"1070","volume-title":"Proceedings of International Logic Programming Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of International Logic Programming Conference and Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:23:09Z","timestamp":1558574589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}