{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:56Z","timestamp":1740099596272,"version":"3.37.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030351656"},{"type":"electronic","value":"9783030351663"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-35166-3_3","type":"book-chapter","created":{"date-parts":[[2019,11,16]],"date-time":"2019-11-16T15:01:27Z","timestamp":1573916487000},"page":"30-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Augmenting Datalog$$^{\\frac{+}{}}$$ with Customizable Metalogic Features for Powerful Ontological Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-6124","authenticated-orcid":false,"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6755-9314","authenticated-orcid":false,"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,12]]},"reference":[{"key":"3_CR1","series-title":"International Handbooks on Information Systems","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-92673-3_4","volume-title":"Handbook on Ontologies","author":"G Antoniou","year":"2009","unstructured":"Antoniou, G., Harmelen, F.: Web ontology language: OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. IHIS, pp. 91\u2013110. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-92673-3_4"},{"issue":"20","key":"3_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19","author":"KR Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19(20), 9\u201371 (1994)","journal-title":"J. Log. Program."},{"key":"3_CR3","doi-asserted-by":"publisher","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."},{"key":"3_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR5","unstructured":"Barklund, J.: What is a meta-variable in Prolog? In: Meta-Programming in Logic Programming, pp. 383\u201398. The MIT Press (1989)"},{"key":"3_CR6","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Semantical properties of encodings in logic programming. In: Proceedings of 1995 International Symposium on Logic Programming, pp. 288\u2013302. MIT Press (1995)"},{"issue":"6","key":"3_CR7","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1093\/logcom\/10.6.743","volume":"10","author":"J Barklund","year":"2000","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Reflection principles in computational logic. J. Log. Comput. 10(6), 743\u2013786 (2000)","journal-title":"J. Log. Comput."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Barklund, J., Dell\u2019Acqua, P., Costantini, S., Lanzarone, G.A.: SLD-resolution with reflection. In: Bruynooghe, M. (ed.) Proceedings of the 1994 International Symposium on Logic Programming. MIT Press (1994)","DOI":"10.7551\/mitpress\/4298.003.0092"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Barklund, J., Dell\u2019Acqua, P., Costantini, S., Lanzarone, G.A.: Semantical properties of SLD-resolution with reflection. In: Sterling, L. (ed.) Proceedings of Logic Programming, ICLP 1995. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0092"},{"key":"3_CR10","first-page":"3","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"Luigi Bellomarini","year":"2017","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: Sierra, C. (ed.) Proc. of IJCAI 2017, pp. 2\u201310. ijcai.org (2017)"},{"issue":"9","key":"3_CR11","first-page":"975","volume":"11","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The Vadalog system: datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975\u2013987 (2018)","journal-title":"PVLDB"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-56282-6_15","volume-title":"Meta-Programming in Logic","author":"PA Bonatti","year":"1992","unstructured":"Bonatti, P.A.: Model theoretic semantics for Demo. In: Pettorossi, A. (ed.) META 1992. LNCS, vol. 649, pp. 220\u2013234. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-56282-6_15"},{"issue":"1","key":"3_CR13","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., et al.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33\u201344 (2006)","journal-title":"Informatica (Slovenia)"},{"key":"3_CR14","unstructured":"Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In: Logic Programming, pp. 153\u2013172. Academic Press (1982)"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1609\/aimag.v37i3.2669","volume":"37","author":"G Brewka","year":"2016","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming: an introduction to the special issue. AI Mag. 37(3), 5\u20136 (2016)","journal-title":"AI Mag."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. 48, 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. J. Web Semant. 14, 57\u201383 (2012)","journal-title":"J. Web Semant."},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-24206-9_20","volume-title":"Datalog Reloaded","author":"A Cal\u00ec","year":"2011","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: a family of languages for ontology querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2.0 2010. LNCS, vol. 6702, pp. 351\u2013368. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24206-9_20"},{"key":"3_CR19","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: tractable description logics for ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) Proceedings of AAAI 2005, pp. 602\u2013607. AAAI Press\/The MIT Press (2005)"},{"key":"3_CR20","unstructured":"Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In: Meta-Level Architectures and Reflection, pp. 243\u2013254. North-Holland (1988)"},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Log. Program."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1142\/S0129054190000175","volume":"1","author":"S Costantini","year":"1990","unstructured":"Costantini, S.: Semantics of a metalogic programming language. Int. J. Found. Comput. Sci. 1, 233\u2013247 (1990)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45632-5_11","volume-title":"Computational Logic: Logic Programming and Beyond","author":"S Costantini","year":"2002","unstructured":"Costantini, S.: Meta-reasoning: a survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol. 2408, pp. 253\u2013288. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45632-5_11"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/BFb0021987","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"1994","unstructured":"Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.A.: Extending Horn clause theories by reflection principles. In: MacNish, C., Pearce, D., Pereira, L.M. (eds.) JELIA 1994. LNCS, vol. 838, pp. 400\u2013413. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0021987"},{"key":"3_CR25","unstructured":"Costantini, S., Formisano, A.: Augmenting knowledge representation and reasoning languages with customizable metalogic features. In: Proceedings of CILC 2019. CEUR Workshop Proceedings, vol. 2396, pp. 14\u201329. CEUR-WS.org (2019)"},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/09528139408953789","volume":"6","author":"S Costantini","year":"1994","unstructured":"Costantini, S., Lanzarone, G.A.: A metalogic programming approach: language, semantics and applications. J. Exp. Theoret. Artif. Intell. 6(3), 239\u2013287 (1994)","journal-title":"J. Exp. Theoret. Artif. Intell."},{"issue":"3","key":"3_CR27","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"22","author":"J Dix","year":"1995","unstructured":"Dix, J.: A classification theory of semantics of normal logic programs: I. Strong properties. Fundamenta Informaticae 22(3), 227\u2013255 (1995)","journal-title":"Fundamenta Informaticae"},{"issue":"2\u20133","key":"3_CR28","first-page":"187","volume":"32","author":"T Eiter","year":"2018","unstructured":"Eiter, T., et al.: The DLVHEX system. KI 32(2\u20133), 187\u2013189 (2018)","journal-title":"KI"},{"key":"3_CR29","unstructured":"Gottlob, G., Manna, M., Pieris, A.: Polynomial rewritings for linear existential rules. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of IJCAI 2015, pp. 2992\u20132998. AAAI Press (2015)"},{"key":"3_CR30","unstructured":"Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: rules to the rescue. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of IJCAI 2015, pp. 2999\u20133007. AAAI Press (2015)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-19570-0_2","volume-title":"Logics in Artificial Intelligence","author":"G Gottlob","year":"2019","unstructured":"Gottlob, G., Pieris, A., Sallinger, E.: Vadalog: recent advances and applications. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS, vol. 11468, pp. 21\u201337. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_2"},{"key":"3_CR32","unstructured":"Grosof, B.N., Kifer, M., Fodor, P.: Rulelog: highly expressive semantic rules with scalable deep reasoning. In: Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by RuleML+RR 2017. CEUR Workshop Proceedings, vol. 1875. CEUR-WS.org (2017)"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-56282-6_6","volume-title":"Meta-Programming in Logic","author":"F Harmelen","year":"1992","unstructured":"Harmelen, F.: Definable naming relations in meta-level systems. In: Pettorossi, A. (ed.) META 1992. LNCS, vol. 649, pp. 89\u2013104. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-56282-6_6"},{"key":"3_CR34","unstructured":"van Harmelen, F., et al.: Knowledge-level reflection. In: Enhancing the Knowledge Engineering Process - Contributions from ESPRIT, pp. 175\u2013204. Elsevier Science (1992)"},{"key":"3_CR35","unstructured":"Hill, P.M., Lloyd, J.W.: Analysis of metaprograms. In: Meta-Programming in Logic Programming, pp. 23\u201351. The MIT Press (1988)"},{"key":"3_CR36","volume-title":"The G\u00f6del Programming Language","author":"PM Hill","year":"1994","unstructured":"Hill, P.M., Lloyd, J.W.: The G\u00f6del Programming Language. The MIT Press, Cambridge (1994)"},{"issue":"1","key":"3_CR37","doi-asserted-by":"publisher","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 SHIQ and RDF to OWL: the making of a web ontology language. J. Web Sem. 1(1), 7\u201326 (2003)","journal-title":"J. Web Sem."},{"key":"3_CR38","unstructured":"Konolige, K.: Reasoning by introspection. In: Meta-Level Architectures and Reflection, pp. 61\u201374. North-Holland (1988)"},{"issue":"1","key":"3_CR39","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3233\/SW-130126","volume":"6","author":"M Kr\u00f6tzsch","year":"2015","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Schmitt, P.H.: A closer look at the semantic relationship between datalog and description logics. Semant. Web 6(1), 63\u201379 (2015)","journal-title":"Semant. Web"},{"key":"3_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987). https:\/\/doi.org\/10.1007\/978-3-642-83189-8","edition":"2"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2019 \u2013 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-35166-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,27]],"date-time":"2024-07-27T02:16:06Z","timestamp":1722046566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-35166-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030351656","9783030351663"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-35166-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aiia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}