{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:47:39Z","timestamp":1725540459007},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049293"},{"type":"electronic","value":"9783642049309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_1","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"1-16","source":"Crossref","is-referenced-by-count":9,"title":["Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Knorr","sequence":"additional","affiliation":[]},{"given":"Terrance","family":"Swift","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"1","key":"1_CR2","first-page":"20","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled Evaluation with Delaying for General Logic Programs. J.\u00a0ACM\u00a043(1), 20\u201374 (1996)","journal-title":"J.\u00a0ACM"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72982-2_1","volume-title":"Web Reasoning and Rule Systems","author":"W. Drabent","year":"2007","unstructured":"Drabent, W., Ma\u0142uszynski, J.: Well-founded semantics for hybrid rules. In: Marchiori, M., Pan, J.Z., de Marie, C.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"1_CR4","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_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-540-30504-0_7","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the semantic web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 81\u201397. Springer, Heidelberg (2004)"},{"key":"1_CR6","volume-title":"ICLP 1990","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) ICLP 1990. MIT Press, Cambridge (1990)"},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1613\/jair.2372","volume":"31","author":"B. Glimm","year":"2008","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research\u00a031, 151\u2013198 (2008)","journal-title":"J. of Artificial Intelligence Research"},{"key":"1_CR8","unstructured":"Gomes, A.S.: Derivation methods for hybrid knowledge bases with rules and ontologies. Master\u2019s thesis, Univ. Nova de Lisboa (2009)"},{"key":"1_CR9","first-page":"99","volume-title":"Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008","author":"M. Knorr","year":"2008","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: A coherent well-founded model for hybrid MKNF knowledge bases. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, pp. 99\u2013103. IOS Press, Amsterdam (2008)"},{"key":"1_CR10","unstructured":"Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: International Joint Conferences on Artifical Intelligence, IJCAI 1991, pp. 381\u2013386 (1991)"},{"key":"1_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Berlin (1984)"},{"key":"1_CR12","first-page":"477","volume-title":"20th Int. Joint Conf on Artificial Intelligence (IJCAI)","author":"B. Motik","year":"2007","unstructured":"Motik, B., Rosati, R.: A faithful integration of description logics with logic programming. In: 20th Int. Joint Conf on Artificial Intelligence (IJCAI), Hyderabad, India, January 6\u201312 2007, pp. 477\u2013482. AAAI Press, Menlo Park (2007)"},{"key":"1_CR13","unstructured":"Pearce, D., Wagner, G.: Reasoning with negative information I: Strong negation in logic programs. In: Haaparanta, L., Kusch, M., Niiniluoto, I. (eds.) Language, Knowledge and Intentionality, Acta Philosophica Fennica, vol.\u00a049, pp. 430\u2013453 (1990)"},{"key":"1_CR14","unstructured":"Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: European Conference on Artifical Intelligence, ECAI, pp. 102\u2013106 (1992)"},{"key":"1_CR15","unstructured":"Rosati, R.: On conjunctive query answering in EL. In: DL 2007.CEUR Electronic Workshop Proceedings (2007)"},{"issue":"1-2","key":"1_CR16","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1016\/S0304-3975(99)00341-2","volume":"254","author":"K. Sagonas","year":"2000","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: The limits of fixed-order computation. Theoretical Computer Science\u00a0254(1-2), 465\u2013499 (2000)","journal-title":"Theoretical Computer Science"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/978-3-642-02846-5_46","volume-title":"ICLP 2009","author":"T. Swift","year":"2009","unstructured":"Swift, T., Pinto, A., Pereira, L.: Incremental answer completion. In: Hill, P.A., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 519\u2013524. Springer, Heidelberg (2009)"},{"key":"1_CR18","first-page":"1","volume-title":"Principles of Database Systems","author":"A. Gelder van","year":"1989","unstructured":"van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Principles of Database Systems, pp. 1\u201310. ACM Press, New York (1989)"},{"issue":"3","key":"1_CR19","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:13:51Z","timestamp":1619781231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}