{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:53:39Z","timestamp":1768452819107,"version":"3.49.0"},"publisher-location":"New York, NY","reference-count":12,"publisher":"Springer New York","isbn-type":[{"value":"9781461468790","type":"print"},{"value":"9781461468806","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-1-4614-6880-6_33","type":"book-chapter","created":{"date-parts":[[2013,6,12]],"date-time":"2013-06-12T16:08:16Z","timestamp":1371053296000},"page":"383-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The DReW System for Nonmonotonic DL-Programs"],"prefix":"10.1007","author":[{"given":"Guohui","family":"Xiao","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]},{"given":"Stijn","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,2]]},"reference":[{"key":"33_CR1","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. J. Artif. Intell. Res. 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"33_CR2","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. J. Autom. Reason. 14(1), 149\u2013180 (1995)","journal-title":"J. Autom. Reason."},{"key":"33_CR3","first-page":"1","volume-title":"REWERSE, vol. 5500 of Lecture Notes in Computer Science","author":"W. Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Maluszynski, J.: Hybrid reasoning with rules and ontologies. In: Bry, F., Maluszynski, J. (eds.) REWERSE, vol.\u00a05500 of Lecture Notes in Computer Science, pp.\u00a01\u201349. Springer, New York (2009)"},{"issue":"2","key":"33_CR4","doi-asserted-by":"publisher","first-page":"11","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. 12(2), 11 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"12\u201313","key":"33_CR5","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":"33_CR6","unstructured":"Eiter, T., Ortiz, M., Simkus, M., Tran, T., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proc. of AAAI 2012. AAAI, Toronto, Canada (2012)"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Eiter, T., Krennwallner, T., Schneider, P., Xiao, G.: Uniform evaluation of nonmonotonic DL-programs. In: FoIKS\u201912, pp.\u00a01\u201322. Springer, New York (2012)","DOI":"10.1007\/978-3-642-28472-4_1"},{"key":"33_CR8","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with DL-programs over datalog-rewritable description logics. In: Proc. of ECAI 2010. IOS Press, Lisbon, Portugal (2010)"},{"key":"33_CR9","first-page":"234","volume":"6341","author":"M. Kr\u00f6tzsch","year":"2010","unstructured":"Kr\u00f6tzsch, M.: Efficient inferencing for OWL EL. In: JELIA, LNCS, vol.\u00a06341, pp.\u00a0234-246, 2010","journal-title":"LNCS"},{"issue":"1","key":"33_CR10","doi-asserted-by":"publisher","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-DL with rules. J. Web Semant. 3(1), 41\u201360 (2005)","journal-title":"J. Web Semant."},{"key":"33_CR11","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.tcs.2011.10.026","volume":"415","author":"Y. Wang","year":"2012","unstructured":"Wang, Y., You, J.-H., Yuan, L.-Y., Shen, Y.-D., Zhang, M.: The loop formula based semantics of description logic programs. Theor. Comput. Sci. 415, 60\u201385 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"33_CR12","unstructured":"Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for datalog-rewritable description logics and dl-programs. In: Informal Proc.\u00a01st Int\u2019l Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), 2010"}],"container-title":["Springer Proceedings in Complexity","Semantic Web and Web Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-6880-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T18:02:00Z","timestamp":1676656920000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-6880-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461468790","9781461468806"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-6880-6_33","relation":{},"ISSN":["2213-8684","2213-8692"],"issn-type":[{"value":"2213-8684","type":"print"},{"value":"2213-8692","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"2 May 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}