{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:55:07Z","timestamp":1742939707379,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642235795"},{"type":"electronic","value":"9783642235801"}],"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-23580-1_28","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T04:33:37Z","timestamp":1314160417000},"page":"300-305","source":"Crossref","is-referenced-by-count":1,"title":["Inline Evaluation of Hybrid Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Guohui","family":"Xiao","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Eiter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","first-page":"364","volume-title":"Proc. IJCAI","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                  \n                    \n                  \n                  $\\mathcal{EL}$\n                 envelope. In: Proc. IJCAI, pp. 364\u2013369. Morgan-Kaufmann Publishers, San Francisco (2005)"},{"key":"28_CR2","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. Technical Report Ontorule D3.1, Ontorule Project Consortium (June 2009), \n                  \n                    http:\/\/ontorule-project.eu\/"},{"issue":"2","key":"28_CR3","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.\u00a012(2), 11 (2011)","journal-title":"ACM Trans. Comput. Log."},{"issue":"12-13","key":"28_CR4","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"},{"key":"28_CR5","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":"28_CR6","first-page":"1528","volume-title":"AAAI","author":"W. Faber","year":"2008","unstructured":"Faber, W., Greco, G., Leone, N.: Magic sets for data integration. In: Fox, D., Gomes, C.P. (eds.) AAAI, pp. 1528\u20131531. AAAI Press, Menlo Park (2008)"},{"key":"28_CR7","first-page":"48","volume-title":"Proc. WWW 2003","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. WWW 2003, pp. 48\u201357. ACM, New York (2003)"},{"key":"28_CR8","unstructured":"Heymans, S.: Decidable Open Answer Set Programming. Phd thesis, Theoretical Computer Science Lab (TINF), CS Dept, Vrije Universiteit Brussel (February 2006)"},{"key":"28_CR9","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"35","volume-title":"ECAI","author":"S. Heymans","year":"2010","unstructured":"Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 35\u201340. IOS Press, Amsterdam (2010)"},{"key":"28_CR10","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/WI-IAT.2010.44","volume-title":"IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2010)","author":"S. Heymans","year":"2010","unstructured":"Heymans, S., Korf, R., Erdmann, M., P\u00fchrer, J., Eiter, T.: Loosely coupling f-logic rules and ontologies. In: IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2010), pp. 248\u2013255. IEEE Computer Society, Los Alamitos (2010)"},{"key":"28_CR11","unstructured":"Heymans, S., Prediou, L., Feier, C., de Bruijn, J., van Nieuwenborgh, D.: G-hybrid knowledge bases. In: Proc. of ICLP 2006 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006 (2006)"},{"key":"28_CR12","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. In: W3C Member Submission, World Wide Web Consortium (2004)"},{"key":"28_CR13","unstructured":"Kazakov, Y.: Consequence-driven reasoning for Horn \n                  \n                    \n                  \n                  $\\mathcal{SHIQ}$\n                 ontologies. In: Boutilier, C. (ed.) IJCAI, pp. 2040\u20132045 (2009)"},{"key":"28_CR14","unstructured":"Krennwallner, T.: Integration of Conjunctive Queries over Description Logics into HEX-Programs. Master\u2019s thesis, Vienna University of Technology (October 2007)"},{"key":"28_CR15","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 2. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 649\u2013664. Springer, Heidelberg (2008)"},{"key":"28_CR16","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, University of Karlsruhe, Karlsruhe, Germany (January 2006)"},{"key":"28_CR17","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Profiles. W3C, 2008. W3C Rec. (October 27, 2009), \n                  \n                    http:\/\/www.w3.org\/TR\/owl2-profiles\/\n                  \n                  \n                ."},{"issue":"5","key":"28_CR18","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. Journal of the ACM\u00a057(5), 1\u201362 (2010)","journal-title":"Journal of the ACM"},{"key":"28_CR19","first-page":"269","volume-title":"KR","author":"M. Ortiz","year":"2010","unstructured":"Ortiz, M., Rudolph, S., Simkus, M.: Worst-case optimal reasoning for the Horn-dl fragments of OWL 1 and 2. In: KR, pp. 269\u2013279. AAAI Press, Menlo Park ( May 2010)"},{"issue":"1","key":"28_CR20","doi-asserted-by":"publisher","first-page":"41","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. Journal of Web Semantics\u00a03(1), 41\u201360 (2005)","journal-title":"Journal of Web Semantics"},{"key":"28_CR21","volume-title":"KR","author":"R. Rosati","year":"2010","unstructured":"Rosati, R., Almatelli, A.: Improving query answering over dl-lite ontologies. In: KR. AAAI Press, Menlo Park (2010)"},{"key":"28_CR22","unstructured":"Schneider, P.: Evaluation of description logic programs using an RDBMS. Master\u2019s thesis, Vienna University of Technology (December 2010)"},{"key":"28_CR23","unstructured":"Xiao, G., Heymans, S., Eiter, T.: DReW: a reasoner for datalog-rewritable description logics and dl-programs. In: Informal Proc. 1st Int\u2019l Workshop on Business Models, Business Rules and Ontologies (BuRO 2010), Bressanone\/Italy (September 21, 2010), \n                  \n                    http:\/\/ontorule-project.eu\/attachments\/075_buro2010-proceedings.pdf"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23580-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T19:59:58Z","timestamp":1578513598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23580-1_28"}},"subtitle":["PhD Description"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235795","9783642235801"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23580-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}