{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:04:12Z","timestamp":1742396652832},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540345442"},{"type":"electronic","value":"9783540345459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11762256_22","type":"book-chapter","created":{"date-parts":[[2006,5,31]],"date-time":"2006-05-31T15:29:40Z","timestamp":1149089380000},"page":"273-287","source":"Crossref","is-referenced-by-count":59,"title":["Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Schindlauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Antoniou, G., Dam\u00e1sio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies. A Survey. Technical Report IST506779\/Linkoeping\/I3-D3\/D\/PU\/a1, Link\u00f6ping University (2005)"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"Bonatti, P.A.: Reasoning with Infinite Stable Models. Artificial Intelligence\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1006\/inco.1998.2734","volume":"147","author":"L. Cabibbo","year":"1998","unstructured":"Cabibbo, L.: The Expressive Power of Stratified Logic Programs with Value Invention. Information and Computation\u00a0147(1), 22\u201356 (1998)","journal-title":"Information and Computation"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11546207_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2005","unstructured":"Calimeri, F., Ianni, G.: External Sources of Computation for Answer Set Solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol.\u00a03662, pp. 105\u2013118. Springer, Heidelberg (2005)"},{"issue":"3","key":"22_CR5","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.: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst.\u00a010(3), 227\u2013252 (1998)","journal-title":"J. Intell. Inf. Syst."},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Veith, H.: Modular Logic Programming and Generalized Quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/978-3-540-32275-7_34","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"T. Eiter","year":"2005","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Nonmonotonic Description Logic Programs: Implementation and Experiments. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS, vol.\u00a03452, pp. 511\u2013527. Springer, Heidelberg (2005)"},{"key":"22_CR8","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-order Reasoning and External Evaluations in Answer Set Programming. In: Proc. IJCAI 2005 (2005)"},{"key":"22_CR9","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: Proc. WLP 2006, pp. 206\u2013210 (2006)"},{"key":"22_CR10","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. KR 2004, pp. 141\u2013151 (2004)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"key":"22_CR12","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":"22_CR13","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logics. In: Proc. WWW 2003, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11431053_27","volume-title":"The Semantic Web: Research and Applications","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic Ontological and Rule-based Reasoning with Extended Conceptual Logic Programs. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 392\u2013407. Springer, Heidelberg (2005)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/11574620_28","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"S. Heymans","year":"2005","unstructured":"Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Preferential Reasoning on a Web of Trust. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 368\u2013382. Springer, Heidelberg (2005)"},{"key":"22_CR16","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. W3C Member Submission (2004)"},{"key":"22_CR17","unstructured":"Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Proc. ICLP 1994, pp. 23\u201338 (1994)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216 (1988)","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"22_CR19","unstructured":"Rosati, R.: Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In: Proceedings DL 1999, pp. 160\u2013164 (1999)"},{"issue":"6","key":"22_CR20","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1145\/195613.195646","volume":"41","author":"K.A. Ross","year":"1994","unstructured":"Ross, K.A.: Modular Stratification and Magic Sets for Datalog Programs with Negation. J. ACM\u00a041(6), 1216\u20131266 (1994)","journal-title":"J. ACM"},{"issue":"1","key":"22_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0743-1066(94)90040-X","volume":"18","author":"K.A. Ross","year":"1994","unstructured":"Ross, K.A.: On Negation in HiLog. Journal of Logic Programming\u00a018(1), 27\u201353 (1994)","journal-title":"Journal of Logic Programming"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","first-page":"364","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"M. Sintek","year":"2004","unstructured":"Sintek, M., Decker, S.: Triple - a Query, Inference, and Transformation Language for the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 364\u2013378. Springer, Heidelberg (2004)"},{"key":"22_CR23","series-title":"Lecture Notes in Artificial Intelligence","first-page":"267","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T.: Omega-restricted Logic Programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 267\u2013279. Springer, Heidelberg (2001)"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/11580072_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2005","unstructured":"Wang, K., Antoniou, G., Topor, R.W., Sattar, A.: Merging and Aligning Ontologies in dl-Programs. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 160\u2013171. Springer, Heidelberg (2005)"},{"key":"22_CR25","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)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11762256_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:10:16Z","timestamp":1619493016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11762256_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540345442","9783540345459"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11762256_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}