{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:43Z","timestamp":1725565423687},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_15","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T00:07:17Z","timestamp":1284336437000},"page":"156-168","source":"Crossref","is-referenced-by-count":7,"title":["A Logical Semantics for Description Logic Programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Fink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pearce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","first-page":"141","volume-title":"KR","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. In: KR, pp. 141\u2013151. AAAI Press, Menlo Park (2004)"},{"key":"15_CR2","first-page":"68","volume-title":"KR","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: Dl+log: Tight integration of description logics and disjunctive datalog. In: KR, pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J.\u00a0Web Sem.\u00a03(1), 61\u201373 (2005)","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and computational advantages of the safe integration of ontologies and rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"issue":"3","key":"15_CR5","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"},{"key":"15_CR6","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: IJCAI, pp. 90\u201396 (2005)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-89982-2_46","volume-title":"Logic Programming","author":"D. Pearce","year":"2008","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic and foundations for answer set programs. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 546\u2013560. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"15_CR8","first-page":"3","volume":"47","author":"D. Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. AMAI\u00a047(1-2), 3\u201341 (2006)","journal-title":"AMAI"},{"key":"15_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-73595-3_7","volume-title":"Automated Deduction \u2013 CADE-21","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Wolter, F.: Conservative extensions in the lightweight description logic $\\mathcal{EL}$ . In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"15_CR10","unstructured":"Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: IJCAI, pp. 453\u2013458 (2007)"},{"key":"15_CR11","first-page":"285","volume-title":"KR","author":"R. Kontchakov","year":"2008","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: Can you tell the difference between dl-lite ontologies? In: KR, pp. 285\u2013295. AAAI Press, Menlo Park (2008)"},{"issue":"4","key":"15_CR12","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM TOCL\u00a02(4), 526\u2013541 (2001)","journal-title":"ACM TOCL"},{"key":"15_CR13","unstructured":"Fink, M.: A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there. In: TPLP (2010) (forthcoming)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-89982-2_17","volume-title":"Logic Programming","author":"M. Fink","year":"2008","unstructured":"Fink, M.: Equivalences in answer-set programming by countermodels in the logic of here-and-there. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 99\u2013113. Springer, Heidelberg (2008)"},{"key":"15_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-72200-7_17","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"2007","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: A characterization of strong equivalence for logic programs with variables. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 188\u2013200. Springer, Heidelberg (2007)"},{"key":"15_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"15_CR17","unstructured":"Pearce, D., Valverde, A.: Quantified equilibrium logic an the first order logic of here-and-there. Technical Report MA-06-02, Univ.\u00a0Rey Juan Carlos (2006)"},{"key":"15_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85108-0","volume-title":"Logic and Structure","author":"D. Dalen van","year":"2004","unstructured":"van Dalen, D.: Logic and Structure, 4th edn. Springer, Heidelberg (2004)","edition":"4"},{"key":"15_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Open answer set programming with guarded programs. ACM TOCL\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380575"},{"key":"15_CR21","unstructured":"Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: IJCAI, pp. 372\u2013379 (2007)"},{"issue":"2-3","key":"15_CR22","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s11225-005-8473-8","volume":"80","author":"D. Pearce","year":"2005","unstructured":"Pearce, D., Valverde, A.: A first order nonmonotonic extension of constructive logic. Studia Logica\u00a080(2-3), 321\u2013346 (2005)","journal-title":"Studia Logica"},{"issue":"12-13","key":"15_CR23","first-page":"1495","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. AIJ\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"AIJ"},{"volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003","key":"15_CR24","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"15_CR25","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jsc.2008.10.007","volume":"45","author":"C. Lutz","year":"2010","unstructured":"Lutz, C., Wolter, F.: Deciding inseparability and conservative extensions in the description logic el. J.\u00a0Symb.\u00a0Comput.\u00a045(2), 194\u2013228 (2010)","journal-title":"J.\u00a0Symb.\u00a0Comput."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Wolter, F., Zakharyaschev, M.: A logic-based framework for ontology comparison and module extraction in dl-lite (2010) (submitted)","DOI":"10.1016\/j.artint.2010.06.003"},{"key":"15_CR27","unstructured":"Fink, M., Pearce, D.: Some equivalence concepts for hybrid theories. In: CAEPIA, Spanish Association for Artifical Intelligence, pp. 327\u2013336 (2009)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T12:44:03Z","timestamp":1559652243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}