{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:18Z","timestamp":1725566118040},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_8","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"88-102","source":"Crossref","is-referenced-by-count":2,"title":["On the Semantic Relationship between Datalog and Description Logics"],"prefix":"10.1007","author":[{"given":"Markus","family":"Kr\u00f6tzsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J.F.A.K., N\u00e9meti, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR2","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":"8_CR3","first-page":"466","volume-title":"Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201910)","author":"J.F. Baget","year":"2010","unstructured":"Baget, J.F., Leclere, M., Mugnier, M.L.: Walking the decidability line for rules with existential variables. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201910), pp. 466\u2013476. AAAI Press, Menlo Park (2010)"},{"issue":"20","key":"8_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Log. Program.\u00a019(20), 73\u2013148 (1994)","journal-title":"J. Log. Program."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1514894.1514897","volume-title":"Proc. 12th Int. Conf. on Database Theory (ICDT\u201909)","author":"A. Cal\u00ec","year":"2009","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Datalog\u00b1: a unified approach to ontologies and integrity constraints. In: Fagin, R. (ed.) Proc. 12th Int. Conf. on Database Theory (ICDT\u201909), pp. 14\u201330. ACM, New York (2009)"},{"key":"8_CR6","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Model Theory","author":"C. Chang","year":"1990","unstructured":"Chang, C., Keisler, H.J.: Model Theory, 3rd edn. Studies in Logic and the Foundations of Mathematics, vol.\u00a073. North-Holland, Amsterdam (1990)","edition":"3"},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: \n                    \n                      \n                    \n                    $\\mathcal{AL}$\n                  -log: Integrating datalog and description logics. Journal of Intelligent and Cooperative Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"Journal of Intelligent and Cooperative Information Systems"},{"key":"8_CR9","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Kaelbling, Saffiotti (eds.) [16], pp. 90\u201396"},{"key":"8_CR10","first-page":"141","volume-title":"Proc. 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201904)","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: Dubois, D., Welty, C.A., Williams, M.A. (eds.) Proc. 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201904), pp. 141\u2013151. AAAI Press, Menlo Park (2004)"},{"key":"8_CR11","unstructured":"Gasse, F., Sattler, U., Haarslev, V.: Rewriting rules into \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                   axioms. In: Baader, F., Lutz, C., Motik, B. (eds.) Proc. 21st Int. Workshop on Description Logics (DL\u201908). CEUR Workshop Proceedings, vol.\u00a0353, CEUR-WS.org. (2008)"},{"key":"8_CR12","first-page":"48","volume-title":"Proc. 12th Int. Conf. on World Wide Web (WWW\u201903)","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. 12th Int. Conf. on World Wide Web (WWW\u201903), pp. 48\u201357. ACM, New York (2003)"},{"key":"8_CR13","first-page":"723","volume-title":"Proc. 13th Int. Conf. on World Wide Web (WWW\u201904)","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) Proc. 13th Int. Conf. on World Wide Web (WWW\u201904), pp. 723\u2013731. ACM, New York (2004)"},{"issue":"1","key":"8_CR14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A proposal and prototype implementation. Journal of Web Semantics\u00a03(1), 23\u201340 (2005)","journal-title":"Journal of Web Semantics"},{"key":"8_CR15","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Kaelbling, Saffiotti (eds.) [16], pp. 466\u2013471"},{"key":"8_CR16","unstructured":"Kaelbling, L., Saffiotti, A. (eds.): Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201905). Professional Book Center (2005)"},{"key":"8_CR17","unstructured":"Kazakov, Y.: Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany (2006)"},{"key":"8_CR18","series-title":"LNAI","volume-title":"Proc. 12th European Conf. on Logics in Artificial Intelligence (JELIA\u201910)","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: Proc. 12th European Conf. on Logics in Artificial Intelligence (JELIA\u201910). LNCS (LNAI). Springer, Heidelberg (to appear, 2010)"},{"key":"8_CR19","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Finding the largest datalog fragment of description logic. Tech. Rep. 3002, Institute AIFB, Karlsruhe Institute of Technology (2009), \n                    \n                      http:\/\/www.aifb.kit.edu\/web\/Techreport3002"},{"key":"8_CR20","first-page":"452","volume-title":"Proc. 22nd AAAI Conf. on Artificial Intelligence (AAAI\u201907)","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for Horn description logics. In: Proc. 22nd AAAI Conf. on Artificial Intelligence (AAAI\u201907), pp. 452\u2013457. AAAI Press, Menlo Park (2007)"},{"key":"8_CR21","first-page":"80","volume-title":"Proc. 18th European Conf. on Artificial Intelligence (ECAI\u201908)","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proc. 18th European Conf. on Artificial Intelligence (ECAI\u201908), pp. 80\u201384. IOS Press, Amsterdam (2008)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-540-88564-1_41","volume-title":"The Semantic Web - ISWC 2008","author":"M. Kr\u00f6tzsch","year":"2008","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: ELP: Tractable rules for OWL\u00a02. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in carin. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"8_CR24","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"J. Monk","year":"1976","unstructured":"Monk, J.: Mathematical Logic. Graduate Texts in Mathematics. Springer, Heidelberg (1976)"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and logic programming live together happily ever after? In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"8_CR26","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: Veloso, M.M. (ed.) Proc. 20th Int. Joint Conf. on Artificial Intelligence (IJCAI\u201907), pp. 477\u2013482 (2007)"},{"issue":"1","key":"8_CR27","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","volume":"3","author":"B. Motik","year":"2005","unstructured":"Motik, B., Sattler, U., Studer, R.: Query answering for OWL\u00a0DL with rules. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"8_CR28","first-page":"68","volume-title":"Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201906)","author":"R. Rosati","year":"2006","unstructured":"Rosati, R.: \n                    \n                      \n                    \n                    $\\mathcal{DL}$\n                  +log: A tight integration of description logics and disjunctive datalog. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u201906), pp. 68\u201378. AAAI Press, Menlo Park (2006)"},{"key":"8_CR29","unstructured":"Volz, R.: Web Ontology Reasoning with Logic Databases. Ph.D. thesis, Universit\u00e4t Karlsruhe (TH), Germany (2004)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:20:04Z","timestamp":1619785204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}