{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:38:11Z","timestamp":1725557891329},"publisher-location":"Berlin, Heidelberg","reference-count":101,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143083"},{"type":"electronic","value":"9783642143090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_9","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T09:09:58Z","timestamp":1277284198000},"page":"183-203","source":"Crossref","is-referenced-by-count":1,"title":["Logic Programming Languages for Databases and the Web"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Greco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca A.","family":"Lisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Database Theory - ICDT \u201997","author":"S. Abiteboul","year":"1996","unstructured":"Abiteboul, S.: Querying semi-structured data. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 1\u201318. Springer, Heidelberg (1996)"},{"key":"9_CR2","volume-title":"Data on the Web: From Relations to Semistructured Data and XML","author":"S. Abiteboul","year":"2000","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (2000)"},{"key":"9_CR3","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(51)90006-0","volume":"78","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Simon, E.: Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theoretical Compututer Science\u00a078(1), 137\u2013158 (1991)","journal-title":"Theoretical Compututer Science"},{"issue":"2-4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF01530924","volume":"3","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Vianu, V.: Non-Determinism in Logic-Based Languages. Annals of Mathematics and Artificial Intelligence\u00a03(2-4), 151\u2013186 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-88564-1_8","volume-title":"The Semantic Web - ISWC 2008","author":"R. Angles","year":"2008","unstructured":"Angles, R., Gutierrez, C.: The Expressive Power of SPARQL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 114\u2013129. Springer, Heidelberg (2008)"},{"key":"9_CR7","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"9_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-44960-4_3","volume-title":"Inductive Logic Programming","author":"L. Badea","year":"2000","unstructured":"Badea, L., Nienhuys-Cheng, S.-W.: A Refinement Operator for Description Logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 40\u201359. Springer, Heidelberg (2000)"},{"issue":"1-4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the Power of Magic. Journal of Logic Programming\u00a010(1-4), 255\u2013299 (1991)","journal-title":"Journal of Logic Programming"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","first-page":"173","volume-title":"Database Theory - ICDT \u201997","author":"N. Bidoit","year":"1996","unstructured":"Bidoit, N., Maabout, S.: A Model Theoretic Approach to Update Rule Programs. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 173\u2013187. Springer, Heidelberg (1996)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer Set Programming. In: Dovier, Pontelli [25], ch. 8, vol.\u00a06125, pp. 159\u2013178 (2010)","DOI":"10.1007\/978-3-642-14309-0_8"},{"issue":"1-2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence\u00a082(1-2), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"Buntine, W.: Generalized Subsumption and Its Applications to Induction and Redundancy. Artificial Intelligence\u00a036(2), 149\u2013176 (1988)","journal-title":"Artificial Intelligence"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Tractable Query Answering over Ontologies with Datalog+\/-. In: Description Logics (2009)","DOI":"10.1007\/978-3-642-04329-1_12"},{"key":"9_CR16","unstructured":"Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of Logic Programs with Aggregates. In: IJCAI, pp. 406\u2013411 (2005)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11799573_5","volume-title":"Logic Programming","author":"L. Caroprese","year":"2006","unstructured":"Caroprese, L., Greco, S., Sirangelo, C., Zumpano, E.: Declarative Semantics of Production Rules for Integrity Maintenance. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 26\u201340. Springer, Heidelberg (2006)"},{"issue":"7","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1042","DOI":"10.1109\/TKDE.2008.226","volume":"21","author":"L. Caroprese","year":"2009","unstructured":"Caroprese, L., Greco, S., Zumpano, E.: Active Integrity Constraints for Database Consistency Maintenance. IEEE Transactions on Knowledge and Data Engineering\u00a021(7), 1042\u20131058 (2009)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-89982-2_28","volume-title":"Logic Programming","author":"L. Caroprese","year":"2008","unstructured":"Caroprese, L., Truszczy\u0144ski, M.: Declarative Semantics for Active Integrity Constraints. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 269\u2013283. Springer, Heidelberg (2008)"},{"key":"9_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-87803-2_10","volume-title":"Logics in Artificial Intelligence","author":"L. Caroprese","year":"2008","unstructured":"Caroprese, L., Truszczy\u0144ski, M.: Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 100\u2013112. Springer, Heidelberg (2008)"},{"issue":"3","key":"9_CR21","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems\u00a019(3), 367\u2013422 (1994)","journal-title":"ACM Transactions on Database Systems"},{"key":"9_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/32.21742","volume":"15","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Wiederhold, G.: Efficient Database Access from Prolog. IEEE Transaction on Software Engineering\u00a015(2), 153\u2013164 (1989)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"3","key":"9_CR24","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.: $\\mathcal{AL}$ -log: Integrating Datalog and Description Logics. J. of Intelligent Information Systems\u00a010(3), 227\u2013252 (1998)","journal-title":"J. of Intelligent Information Systems"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"25 Years of Logic Programming in Italy","year":"2010","unstructured":"Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125. Springer, Heidelberg (2010)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Drabent, W., Eiter, T., Ianni, G.B., Krennwallner, T., Lukasiewicz, T., Maluszynski, J.: Hybrid Reasoning with Rules and Ontologies. In: REWERSE, pp. 1\u201349 (2009)","DOI":"10.1007\/978-3-642-04581-3_1"},{"issue":"3","key":"9_CR27","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM Transactions on Database Systems\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Transactions on Database Systems"},{"issue":"12-13","key":"9_CR28","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":"9_CR29","unstructured":"Eiter, T., Ianni, G.B., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. In: IJCAI, pp. 90\u201396 (2005)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/978-3-540-30475-3_31","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"F. Esposito","year":"2004","unstructured":"Esposito, F., Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Knowledge-Intensive Induction of Terminologies from Metadata. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 441\u2013455. Springer, Heidelberg (2004)"},{"key":"9_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-85928-4_12","volume-title":"Inductive Logic Programming","author":"N. Fanizzi","year":"2008","unstructured":"Fanizzi, N., d\u2019Amato, C., Esposito, F.: DL-FOIL Concept Learning in Description Logics. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 107\u2013121. Springer, Heidelberg (2008)"},{"key":"9_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-540-30115-8_12","volume-title":"Machine Learning: ECML 2004","author":"N. Fanizzi","year":"2004","unstructured":"Fanizzi, N., Iannone, L., Palmisano, I., Semeraro, G.: Concept Formation in Expressive Description Logics. In: Boulicaut, J.-F., Esposito, F., Giannotti, F., Pedreschi, D. (eds.) ECML 2004. LNCS (LNAI), vol.\u00a03201, pp. 99\u2013110. Springer, Heidelberg (2004)"},{"issue":"1","key":"9_CR33","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1017\/S1471068400001009","volume":"1","author":"S. Flesca","year":"2001","unstructured":"Flesca, S., Greco, S.: Declarative semantics for active rules. Theory and Practice of Logic Programming\u00a01(1), 43\u201369 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"5","key":"9_CR34","first-page":"84","volume":"11","author":"A.M. Frisch","year":"1991","unstructured":"Frisch, A.M., Cohn, A.G.: Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning. AI Magazine\u00a011(5), 84\u201387 (1991)","journal-title":"AI Magazine"},{"issue":"1-2","key":"9_CR35","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S1471068403001704","volume":"4","author":"F. Furfaro","year":"2004","unstructured":"Furfaro, F., Greco, G., Greco, S.: Minimal founded semantics for disjunctive logic programs and deductive databases. Theory and Practice of Logic Programming\u00a04(1-2), 75\u201393 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"5","key":"9_CR36","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/S0306-4379(02)00006-6","volume":"27","author":"F. Furfaro","year":"2002","unstructured":"Furfaro, F., Greco, S., Ganguly, S., Zaniolo, C.: Pushing extrema aggregates to optimize logic queries. Information Systems\u00a027(5), 321\u2013343 (2002)","journal-title":"Information Systems"},{"volume-title":"Logic and Data Bases","year":"1978","key":"9_CR37","unstructured":"Gallaire, H., Minker, J. (eds.): Logic and Data Bases. Plenum Press, New York (1978)"},{"issue":"2","key":"9_CR38","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.M.: Logic and databases: A deductive approach. ACM Computing Surveys\u00a016(2), 153\u2013185 (1984)","journal-title":"ACM Computing Surveys"},{"volume-title":"Advances in Data Base Theory","year":"1984","key":"9_CR39","unstructured":"Gallaire, H., Nicolas, J.M., Minker, J. (eds.): Advances in Data Base Theory, vol.\u00a02. Plenum Press, New York (1984)"},{"issue":"2","key":"9_CR40","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1006\/jcss.1995.1064","volume":"51","author":"S. Ganguly","year":"1995","unstructured":"Ganguly, S., Greco, S., Zaniolo, C.: Extrema Predicates in Deductive Databases. Journal of Computer and Systems Science\u00a051(2), 244\u2013259 (1995)","journal-title":"Journal of Computer and Systems Science"},{"issue":"3","key":"9_CR41","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.: The Well-Founded Semantics for General Logic Programs. J. ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"9_CR42","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"issue":"1-2","key":"9_CR43","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1018999404360","volume":"19","author":"F. Giannotti","year":"1997","unstructured":"Giannotti, F., Greco, S., Sacc\u00e0, D., Zaniolo, C.: Programming with Non-Determinism in Deductive Databases. Annals of Mathematics and Artificial Intelligence\u00a019(1-2), 97\u2013125 (1997)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-55015-1_7","volume-title":"Deductive and Object-Oriented Databases","author":"F. Giannotti","year":"1991","unstructured":"Giannotti, F., Pedreschi, D., Sacc\u00e0, D., Zaniolo, C.: Non-Determinism in Deductive Databases. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol.\u00a0566, pp. 129\u2013146. Springer, Heidelberg (1991)"},{"issue":"1","key":"9_CR45","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1006\/jcss.1999.1699","volume":"62","author":"F. Giannotti","year":"2001","unstructured":"Giannotti, F., Pedreschi, D., Zaniolo, C.: Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. Journal of Computer and Systems Science\u00a062(1), 15\u201342 (2001)","journal-title":"Journal of Computer and Systems Science"},{"key":"9_CR46","doi-asserted-by":"crossref","unstructured":"Giordano, L., Toni, F.: Knowledge representation and non-monotonic reasoning. In: Dovier, Pontelli [25], ch. 5, vol.\u00a06125, pp. 86\u2013110 (2010)","DOI":"10.1007\/978-3-642-14309-0_5"},{"issue":"5","key":"9_CR47","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1016\/0306-4379(90)90027-M","volume":"15","author":"F. Gozzi","year":"1990","unstructured":"Gozzi, F., Lugli, M., Ceri, S.: An overview of PRIMO: a portable interface between PROLOG and relational databases. Information Systems\u00a015(5), 543\u2013553 (1990)","journal-title":"Information Systems"},{"issue":"2","key":"9_CR48","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/69.761663","volume":"11","author":"S. Greco","year":"1999","unstructured":"Greco, S.: Dynamic Programming in Datalog with Aggregates. IEEE Transactions on Knowledge and Data Engineering\u00a011(2), 265\u2013283 (1999)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"9_CR49","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1006\/inco.1999.2800","volume":"153","author":"S. Greco","year":"1999","unstructured":"Greco, S., Sacc\u00e0, D.: Complexity and Expressive Power of Deterministic Semantics for Datalog. Information and Computation\u00a0153(1), 81\u201398 (1999)","journal-title":"Information and Computation"},{"key":"9_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-58907-4_8","volume-title":"Database Theory - ICDT \u201995","author":"S. Greco","year":"1995","unstructured":"Greco, S., Sacc\u00e0, D., Zaniolo, C.: Datalog Queries with Stratified Negation and Choice: from p to d $^{\\mbox{p}}$ . In: Y. Vardi, M., Gottlob, G. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 82\u201396. Springer, Heidelberg (1995)"},{"key":"9_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/3-540-60084-1_102","volume-title":"Automata, Languages and Programming","author":"S. Greco","year":"1995","unstructured":"Greco, S., Sacc\u00e0, D., Zaniolo, C.: The PushDown Method to Optimize Chain Logic Programs. In: F\u00fcl\u00f6p, Z., Gecseg, F. (eds.) ICALP 1995. LNCS, vol.\u00a0944, pp. 523\u2013534. Springer, Heidelberg (1995)"},{"issue":"3","key":"9_CR52","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1142\/S0129054199000253","volume":"10","author":"S. Greco","year":"1999","unstructured":"Greco, S., Sacc\u00e0, D., Zaniolo, C.: Grammars and Automata to Optimize Chain Logic Queries. Int. Journal Foundations of Computer Science\u00a010(3), 349 (1999)","journal-title":"Int. Journal Foundations of Computer Science"},{"key":"9_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0032424","volume-title":"Advances in Database Technology - EDBT \u201992","author":"S. Greco","year":"1992","unstructured":"Greco, S., Zaniolo, C.: Optimization of Linear Logic Programs Using Counting Methods. In: Pirotte, A., Delobel, C., Gottlob, G. (eds.) EDBT 1992. LNCS, vol.\u00a0580, pp. 72\u201387. Springer, Heidelberg (1992)"},{"issue":"4","key":"9_CR54","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1017\/S1471068401001090","volume":"1","author":"S. Greco","year":"2001","unstructured":"Greco, S., Zaniolo, C.: Greedy algorithms in Datalog. Theory and Practice of Logic Programming\u00a01(4), 381\u2013407 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR55","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, pp. 48\u201357 (2003)","DOI":"10.1145\/775152.775160"},{"issue":"1","key":"9_CR56","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From $\\mathcal{SHIQ}$ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"5","key":"9_CR57","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1016\/j.ic.2007.11.006","volume":"206","author":"U. Hustadt","year":"2008","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Deciding expressive description logics in the framework of resolution. Information and Computation\u00a0206(5), 579\u2013601 (2008)","journal-title":"Information and Computation"},{"key":"9_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1007\/978-3-642-02121-3_70","volume-title":"The Semantic Web: Research and Applications","author":"G.B. Ianni","year":"2009","unstructured":"Ianni, G.B., Krennwallner, T., Martello, A., Polleres, A.: A Rule System for Querying Persistent RDFS Data. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 857\u2013862. Springer, Heidelberg (2009)"},{"key":"9_CR59","series-title":"Lecture Notes in Artificial Intelligence","first-page":"117","volume-title":"Inductive Logic Programming","author":"J.-U. Kietz","year":"2003","unstructured":"Kietz, J.-U.: Learnability of Description Logic Programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 117\u2013132. Springer, Heidelberg (2003)"},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., Naqvi, S.A.: Non-Deterministic Choice in Datalog. In: JCDKB, pp. 416\u2013424 (1988)","DOI":"10.1016\/B978-1-4832-1313-2.50038-X"},{"key":"9_CR61","doi-asserted-by":"crossref","unstructured":"Lausen, G., Lud\u00e4scher, B., May, W.: On Logical Foundations of Active Databases. In: Logics for Databases and Information Systems, pp. 389\u2013422 (1998)","DOI":"10.1007\/978-1-4615-5643-5_12"},{"key":"9_CR62","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-78469-2_18","volume-title":"Inductive Logic Programming","author":"J. Lehmann","year":"2008","unstructured":"Lehmann, J., Hitzler, P.: Foundations of Refinement Operators for Description Logics. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 161\u2013174. Springer, Heidelberg (2008)"},{"key":"9_CR63","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104, 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"issue":"03","key":"9_CR64","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1017\/S1471068407003195","volume":"8","author":"F.A. Lisi","year":"2008","unstructured":"Lisi, F.A.: Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming. Theory and Practice of Logic Programming\u00a08(03), 271\u2013300 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR65","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-85928-4_15","volume-title":"Inductive Logic Programming","author":"F.A. Lisi","year":"2008","unstructured":"Lisi, F.A., Esposito, F.: Foundations of Onto-Relational Learning. In: \u017delezn\u00fd, F., Lavra\u010d, N. (eds.) ILP 2008. LNCS (LNAI), vol.\u00a05194, pp. 158\u2013175. Springer, Heidelberg (2008)"},{"key":"9_CR66","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-01891-6_1","volume-title":"Knowledge Discovery Enhanced with Semantic and Social Information","author":"F.A. Lisi","year":"2009","unstructured":"Lisi, F.A., Esposito, F.: On Ontologies as Prior Conceptual Knowledge in Inductive Logic Programming. In: Knowledge Discovery Enhanced with Semantic and Social Information, pp. 3\u201318. Springer, Heidelberg (2009)"},{"key":"9_CR67","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1023\/B:MACH.0000023151.65011.a3","volume":"55","author":"F.A. Lisi","year":"2004","unstructured":"Lisi, F.A., Malerba, D.: Inducing Multi-Level Association Rules from Multiple Relations. Machine Learning\u00a055, 175\u2013210 (2004)","journal-title":"Machine Learning"},{"key":"9_CR68","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"3","key":"9_CR69","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0743-1066(98)00002-8","volume":"36","author":"S.W. Loke","year":"1998","unstructured":"Loke, S.W., Davison, A.: LogicWeb: Enhancing the Web with Logic Programming. Journal of Logic Programming\u00a036(3), 195\u2013240 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"9_CR70","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1017\/S1471068409003792","volume":"9","author":"G. Luk\u00e1csy","year":"2009","unstructured":"Luk\u00e1csy, G., Szeredi, P.: Efficient Description Logic Reasoning in Prolog: The DLog system. Theory and Practice of Logic Programming\u00a09(3), 343\u2013414 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR71","first-page":"320","volume-title":"Web Intelligence","author":"M. Marchiori","year":"2004","unstructured":"Marchiori, M.: Towards a people\u2019s web: Metalog. In: Web Intelligence, pp. 320\u2013326. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"3","key":"9_CR72","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1017\/S1471068407003341","volume":"8","author":"M. Marchiori","year":"2008","unstructured":"Marchiori, M.: Introduction to the Special Issue on Logic Programming and the Web. Theory and Practice of Logic Programming\u00a08(3), 247\u2013248 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR73","unstructured":"Marchiori, M., Saarela, J.: Query + Metadata + Logic = Metalog. In: W3C Workshop on Query Languages (1998)"},{"key":"9_CR74","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"T.M. Mitchell","year":"1982","unstructured":"Mitchell, T.M.: Generalization as Search. Artificial Intelligence\u00a018, 203\u2013226 (1982)","journal-title":"Artificial Intelligence"},{"key":"9_CR75","doi-asserted-by":"crossref","unstructured":"Motakis, I., Zaniolo, C.: Temporal Aggregation in Active Database Rules. In: SIGMOD Conference, pp. 440\u2013451 (1997)","DOI":"10.1145\/253260.253359"},{"key":"9_CR76","unstructured":"Motik, B., Rosati, R.: A Faithful Integration of Description Logics with Logic Programming. In: IJCAI, pp. 477\u2013482 (2007)"},{"issue":"3-4","key":"9_CR77","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF01536403","volume":"15","author":"I.S. Mumick","year":"1995","unstructured":"Mumick, I.S., Shmueli, O.: How Expressive is Statified Aggregation? Annals of Mathematics and Artificial Intelligence\u00a015(3-4), 407\u2013434 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9_CR78","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. Springer, Heidelberg (1997)"},{"issue":"6","key":"9_CR79","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1109\/69.649312","volume":"9","author":"L. Palopoli","year":"1997","unstructured":"Palopoli, L., Torlone, R.: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Transactions on Knowledge and Data Engineering\u00a09(6), 848\u2013862 (1997)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"9_CR80","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S1471068406002973","volume":"7","author":"N. Pelov","year":"2007","unstructured":"Pelov, N., Denecker, M., Bruynooghe, M.: Well-founded and stable semantics of logic programs with aggregates. Theory and Practice of Logic Programming\u00a07(3), 301\u2013353 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"9_CR81","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1006\/jcss.1998.1567","volume":"57","author":"P. Picouet","year":"1998","unstructured":"Picouet, P., Vianu, V.: Semantics and Expressiveness Issues in Active Databases. Journal of Computer and Systems Science\u00a057(3), 325\u2013355 (1998)","journal-title":"Journal of Computer and Systems Science"},{"key":"9_CR82","unstructured":"Pontelli, E.: Concurrent Web-Programming in CLP(WEB). In: HICSS (2000)"},{"key":"9_CR83","doi-asserted-by":"crossref","unstructured":"Pontelli, E., Gupta, G.: W-ACE: A Logic Language for Intelligent Internet Programming. In: IEEE ICTAI, pp. 2\u201310 (1997)","DOI":"10.1109\/TAI.1997.632229"},{"key":"9_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-55015-1_5","volume-title":"Deductive and Object-Oriented Databases","author":"T.C. Przymusinski","year":"1991","unstructured":"Przymusinski, T.C.: Semantics of Disjunctive Logic Programs and Deductive Databases. In: Delobel, C., Masunaga, Y., Kifer, M. (eds.) DOOD 1991. LNCS, vol.\u00a0566, pp. 85\u2013107. Springer, Heidelberg (1991)"},{"issue":"1","key":"9_CR85","doi-asserted-by":"crossref","first-page":"61","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), 61\u201373 (2005)","journal-title":"Journal of Web Semantics"},{"key":"9_CR86","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"9_CR87","unstructured":"Rosati, R.: $\\mathcal{DL}$ +log: Tight Integration of Description Logics and Disjunctive Datalog. In: KR, pp. 68\u201378 (2006)"},{"key":"9_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-88737-9_3","volume-title":"Web Reasoning and Rule Systems","author":"R. Rosati","year":"2008","unstructured":"Rosati, R.: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 13\u201327. Springer, Heidelberg (2008)"},{"key":"9_CR89","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-44960-4_12","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"2000","unstructured":"Rouveirol, C., Ventos, V.: Towards Learning in CARIN- $\\mathcal{ALN}$ . In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 191\u2013208. Springer, Heidelberg (2000)"},{"issue":"3","key":"9_CR90","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1006\/jcss.1997.1446","volume":"54","author":"D. Sacc\u00e0","year":"1997","unstructured":"Sacc\u00e0, D.: The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries. Journal of Computer System Sciences\u00a054(3), 441\u2013464 (1997)","journal-title":"Journal of Computer System Sciences"},{"issue":"1-2","key":"9_CR91","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0304-3975(86)90015-0","volume":"62","author":"D. Sacc\u00e0","year":"1988","unstructured":"Sacc\u00e0, D., Zaniolo, C.: The Generalized Counting Method for Recursive Logic Queries. Theoretical Computer Science\u00a062(1-2), 187\u2013220 (1988)","journal-title":"Theoretical Computer Science"},{"key":"9_CR92","doi-asserted-by":"crossref","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Stable Models and Non-Determinism in Logic Programs with Negation. In: PODS, pp. 205\u2013217 (1990)","DOI":"10.1145\/298514.298572"},{"issue":"5","key":"9_CR93","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/7.5.555","volume":"7","author":"D. Sacc\u00e0","year":"1997","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Deterministic and Non-Deterministic Stable Models. Journal of Logic and Computation\u00a07(5), 555\u2013579 (1997)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9_CR94","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schauss","year":"1991","unstructured":"Schmidt-Schauss, M., Smolka, G.: Attributive Concept Descriptions with Complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"9_CR95","unstructured":"Son, T.C., Pontelli, E., Elkabani, I.: An unfolding-based semantics for logic programming with aggregates. CoRR, abs\/cs\/0605038 (2006)"},{"key":"9_CR96","doi-asserted-by":"crossref","unstructured":"Tsur, S.: Deductive Databases in Action. In: PODS, pp. 142\u2013153 (1991)","DOI":"10.1145\/113413.113426"},{"key":"9_CR97","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a0II. Computer Science Press (1989)"},{"key":"9_CR98","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a0I. Computer Science Press (1988)"},{"key":"9_CR99","doi-asserted-by":"crossref","unstructured":"Widom, J.: Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? In: Rules in Database Systems, pp. 306\u2013315 (1993)","DOI":"10.1007\/978-1-4471-3225-7_18"},{"volume-title":"Active Database Systems: Triggers and Rules For Advanced Database Processing","year":"1996","key":"9_CR100","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)"},{"key":"9_CR101","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-63792-3_20","volume-title":"Deductive and Object-Oriented Databases","author":"C. Zaniolo","year":"1997","unstructured":"Zaniolo, C.: The Nonmonotonic Semantics of Active Rules in Deductive Databases. In: Bry, F., Ramamohanarao, K. (eds.) DOOD 1997. LNCS, vol.\u00a01341, pp. 265\u2013282. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:51:03Z","timestamp":1606168263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}