{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:35:40Z","timestamp":1725665740836},"publisher-location":"Berlin, Heidelberg","reference-count":56,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642284717"},{"type":"electronic","value":"9783642284724"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28472-4_1","type":"book-chapter","created":{"date-parts":[[2012,2,29]],"date-time":"2012-02-29T10:47:10Z","timestamp":1330512430000},"page":"1-22","source":"Crossref","is-referenced-by-count":3,"title":["Uniform Evaluation of Nonmonotonic DL-Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Krennwallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrik","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohui","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: Quonto: Querying ontologies. In: AAAI 2005, pp. 1670\u20131671 (2005)"},{"key":"1_CR2","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. Artif. Intell. Res.\u00a036, 1\u201369 (2009)","journal-title":"Artif. Intell. Res."},{"key":"1_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: IJCAI 2005, pp. 364\u2013369 (2005)"},{"key":"1_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: OWLED08-DC (2008)"},{"issue":"1","key":"1_CR5","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. Autom. Reasoning\u00a014(1), 149\u2013180 (1995)","journal-title":"Autom. Reasoning"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: Adding default attributes to EL++. In: AAAI 2011 (2011)","DOI":"10.1609\/aaai.v25i1.7849"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A family of logical knowledge representation and query languages for new applications. In: LICS 2010, pp. 228\u2013242 (2010)","DOI":"10.1109\/LICS.2010.27"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Autom. Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"Autom. Reasoning"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-02846-5_16","volume-title":"Logic Programming","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular Nonmonotonic Logic Programming Revisited. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-04238-6_10","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Relevance-driven Evaluation of Modular Nonmonotonic Logic Programs. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 87\u2013100. Springer, Heidelberg (2009)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-642-02906-6_52","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Krennwallner, T.: Realizing Default Logic Over Description Logic Knowledge Bases. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol.\u00a05590, pp. 602\u2013613. Springer, Heidelberg (2009)"},{"key":"1_CR12","unstructured":"de Bruijn, J., Bonnard, P., Citeau, H., Dehors, S., Heymans, S., P\u00fchrer, J., Eiter, T.: Combinations of rules and ontologies: State-of-the-art survey of issues. Tech. Rep. Ontorule D3.1, Ontorule Project Consortium (2009)"},{"key":"1_CR13","unstructured":"de Bruijn, J., Eiter, T., Tompits, H.: Embedding approaches to combining rules and ontologies into autoepistemic logic. In: KR 2008, pp. 485\u2013495 (2008)"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1342991.1342998","volume":"9","author":"M. Denecker","year":"2008","unstructured":"Denecker, M., Ternovska, E.: A logic of non-monotone inductive definitions. ACM Trans. Comput. Log.\u00a09(2), 14, 52 (2008)","journal-title":"ACM Trans. Comput. Log."},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web","author":"W. Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Ma\u0142uszy\u0144ski, J.: Hybrid Reasoning with Rules and Ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web. LNCS, vol.\u00a05500, pp. 1\u201349. Springer, Heidelberg (2009)"},{"issue":"2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1877714.1877717","volume":"12","author":"T. Eiter","year":"2011","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R.: Well-founded semantics for description logic programs in the Semantic Web. ACM Trans. Comput. Log.\u00a012(2), 11, 41 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"12-13","key":"1_CR17","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.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/11762256_22","volume-title":"The Semantic Web: Research and Applications","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Effective Integration of Declarative Rules with External Evaluations for Semantic-web Reasoning. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 273\u2013287. Springer, Heidelberg (2006)"},{"key":"1_CR19","unstructured":"Eiter, T., Fink, M., Krennwallner, T.: Decomposition of declarative knowledge bases with external functions. In: IJCAI 2009, pp. 752\u2013758 (2009)"},{"key":"1_CR20","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 2005, pp. 90\u201396 (2005)"},{"key":"1_CR21","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)"},{"issue":"2","key":"1_CR22","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Commun.\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"1_CR24","unstructured":"Gottlob, G., Schwentick, T.: Rewriting ontological queries into small nonrecursive datalog programs. In: DL 2011. CEUR-WS, vol. 745 (2011)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: WWW 2003, pp. 48\u201357. ACM (2003)","DOI":"10.2139\/ssrn.460986"},{"issue":"2-3","key":"1_CR26","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y. Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: Lubm: A benchmark for OWL knowledge base systems. Web Sem.\u00a03(2-3), 158\u2013182 (2005)","journal-title":"Web Sem."},{"key":"1_CR27","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The RacerPro knowledge representation and reasoning system. Semant. Web (to appear), http:\/\/www.semantic-web-journal.net\/"},{"key":"1_CR28","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with DL-programs over datalog-rewritable description logics. In: ECAI 2010. IOS Press (2010)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Heymans, S., Korf, R., Erdmann, M., P\u00fchrer, J., Eiter, T.: Loosely coupling f-logic rules and ontologies. In: WI 2010, pp. 248\u2013255. IEEE Computer Society (2010)","DOI":"10.1109\/WI-IAT.2010.44"},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in description logics by a reduction to disjunctive datalog. Autom. Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"Autom. Reasoning"},{"issue":"1-4","key":"1_CR31","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1018915113814","volume":"27","author":"T. Janhunen","year":"1999","unstructured":"Janhunen, T.: On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Intell.\u00a027(1-4), 79\u2013128 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T. Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity Aspects of Disjunctive Stable Models. Artif. Intell. Res.\u00a035, 813\u2013857 (2009)","journal-title":"Artif. Intell. Res."},{"key":"1_CR33","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn $\\mathcal{SHIQ}$ ontologies. In: IJCAI 2009, pp. 2040\u20132045 (2009)"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-25073-6_20","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"Y. Kazakov","year":"2011","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent Classification of $\\mathcal{EL}$ Ontologies. 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. 305\u2013320. Springer, Heidelberg (2011)"},{"issue":"4","key":"1_CR35","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"1_CR36","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in dl-lite. In: KR 2010. AAAI Press (2010)"},{"key":"1_CR37","unstructured":"Kr\u00f6tzsch, M.: Efficient rule-based inferencing for OWL EL. In: IJCAI 2011, pp. 2668\u20132673 (2011)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Trans. Comput. Log. 7(3) (2006)","DOI":"10.1145\/1149114.1149117"},{"issue":"11","key":"1_CR39","doi-asserted-by":"publisher","first-page":"1577","DOI":"10.1109\/TKDE.2010.111","volume":"22","author":"T. Lukasiewicz","year":"2010","unstructured":"Lukasiewicz, T.: A novel combination of answer set programming with description logics for the semantic web. IEEE Trans. Knowl. Data Eng.\u00a022(11), 1577\u20131592 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"1_CR40","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Profiles. W3C 2009, W3C Rec., October 27 (2009), http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"issue":"5","key":"1_CR41","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\u00a057(5), 1\u201362 (2010)","journal-title":"J. ACM"},{"key":"1_CR42","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B. Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Artif. Intell. Res.\u00a036, 165\u2013228 (2009)","journal-title":"Artif. Intell. Res."},{"issue":"2","key":"1_CR43","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1109\/TKDE.2009.83","volume":"22","author":"C. Ordonez","year":"2010","unstructured":"Ordonez, C.: Optimization of linear recursive queries in SQL. IEEE Trans. Knowl. Data Eng.\u00a022(2), 264\u2013277 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"1_CR44","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the horn-DL fragments of OWL 1 and 2. In: KR 2010. AAAI Press (2010)"},{"key":"1_CR45","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over dl-lite ontologies. In: KR 2010. AAAI Press (2010)"},{"key":"1_CR46","unstructured":"Schneider, P.: Evaluation of description logic programs using an RDBMS. Master\u2019s thesis, TU Wien (2010)"},{"issue":"2","key":"1_CR47","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Sem.\u00a05(2), 51\u201353 (2007)","journal-title":"Web Sem."},{"key":"1_CR48","unstructured":"Stocker, M., Smith, M.: Owlgres: A scalable OWL reasoner. In: OWLED 2001 (2008)"},{"issue":"2","key":"1_CR49","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S1471068407003158","volume":"8","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. Theor. Pract. Log. Prog.\u00a08(2), 129\u2013165 (2008)","journal-title":"Theor. Pract. Log. Prog."},{"key":"1_CR50","unstructured":"Tran, T.K.: Query answering in the description logic Horn-SHIQ. Master\u2019s thesis, TU Wien (2011)"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-30504-0_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2004","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 170\u2013181. Springer, Heidelberg (2004)"},{"issue":"4-6","key":"1_CR52","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1017\/S1471068410000268","volume":"10","author":"Y. Wang","year":"2010","unstructured":"Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D.: Loop formulas for description logic programs. Theor. Pract. Log. Prog.\u00a010(4-6), 531\u2013545 (2010)","journal-title":"Theor. Pract. Log. Prog."},{"key":"1_CR53","unstructured":"Wang, Y., You, J.H., Yuan, L.Y., Shen, Y.D., Eiter, T.: Embedding description logic programs into default logic. CoRR abs\/1111.1486 (2011)"},{"key":"1_CR54","unstructured":"Wijaya, T.: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs. Master\u2019s thesis, TU Wien (2011), http:\/\/media.obvsg.at\/AC07811177-2001"},{"key":"1_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-642-23580-1_28","volume-title":"Web Reasoning and Rule Systems","author":"G. Xiao","year":"2011","unstructured":"Xiao, G., Eiter, T.: Inline Evaluation of Hybrid Knowledge Bases \u2013 PhD Description. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 300\u2013305. Springer, Heidelberg (2011)"},{"key":"1_CR56","unstructured":"Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for datalog-rewritable description logics and dl-programs. In: BuRO 2010 (2010), http:\/\/ontorule-project.eu\/attachments\/075_buro2010-proceedings.pdf"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28472-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T21:02:58Z","timestamp":1687294978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28472-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642284717","9783642284724"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28472-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}