{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T18:06:41Z","timestamp":1791310001410,"version":"4.3.1"},"reference-count":47,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2010,5,20]],"date-time":"2010-05-20T00:00:00Z","timestamp":1274313600000},"content-version":"unspecified","delay-in-days":19,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e., the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of Knowledge Representation (KR) aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both can be reformulated as ILP problems and can benefit from the expressive and deductive power of the KR framework <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068410000116_inline2\"><jats:alt-text>$\\mathcal{DL}+log}^{\\neg\\vee}$<\/jats:alt-text><\/jats:inline-graphic>. We illustrate the application scenarios by means of examples.<\/jats:p>","DOI":"10.1017\/s1471068410000116","type":"journal-article","created":{"date-parts":[[2010,5,20]],"date-time":"2010-05-20T09:26:04Z","timestamp":1274347564000},"page":"331-359","source":"Crossref","is-referenced-by-count":7,"title":["Inductive Logic Programming in Databases: From <scp>Datalog<\/scp> to"],"prefix":"10.1017","volume":"10","author":[{"given":"FRANCESCA A.","family":"LISI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2010,5,20]]},"reference":[{"key":"S1471068410000116_ref45","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/IDA-2000-43-403","article-title":"Discovery of multivalued dependencies from relations","volume":"4","author":"Savnik","year":"2000","journal-title":"Intelligent Data Analysis"},{"key":"S1471068410000116_ref42","first-page":"68","volume-title":"Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning","author":"Rosati","year":"2006"},{"key":"S1471068410000116_ref36","first-page":"153","article-title":"A note on inductive generalization","volume":"5","author":"Plotkin","year":"1970","journal-title":"Machine Intelligence"},{"key":"S1471068410000116_ref39","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322189"},{"key":"S1471068410000116_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85928-4_15"},{"key":"S1471068410000116_ref25","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.239"},{"key":"S1471068410000116_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"S1471068410000116_ref23","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"S1471068410000116_ref19","first-page":"84","article-title":"Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning","volume":"11","author":"Frisch","year":"1991","journal-title":"AI Magazine"},{"key":"S1471068410000116_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.001"},{"key":"S1471068410000116_ref18","doi-asserted-by":"crossref","unstructured":"Frazier M. and Pitt L. 1993. Learning from entailment: An application to propositional horn sentences. In Proc. of the Tenth International Conference on Machine Learning. 120\u2013127.","DOI":"10.1016\/B978-1-55860-307-3.50022-8"},{"key":"S1471068410000116_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56602-3_129"},{"key":"S1471068410000116_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04599-2"},{"key":"S1471068410000116_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44960-4_12"},{"key":"S1471068410000116_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"S1471068410000116_ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"key":"S1471068410000116_ref10","unstructured":"De Raedt L. and Bruynooghe M. 1993. A theory of clausal discovery. In IJCAI. 1058\u20131063."},{"key":"S1471068410000116_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352590"},{"key":"S1471068410000116_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9078-x"},{"key":"S1471068410000116_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117105"},{"key":"S1471068410000116_ref22","volume-title":"Ontological Engineering","author":"G\u00f3mez-P\u00e9rez","year":"2004"},{"key":"S1471068410000116_ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009867806624"},{"key":"S1471068410000116_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787"},{"key":"S1471068410000116_ref15","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068410000116_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"S1471068410000116_ref44","first-page":"62","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Sakama","year":"2001"},{"key":"S1471068410000116_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11552222_6"},{"key":"S1471068410000116_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"S1471068410000116_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003195"},{"key":"S1471068410000116_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8"},{"key":"S1471068410000116_ref30","doi-asserted-by":"publisher","DOI":"10.1023\/B:MACH.0000023151.65011.a3"},{"key":"S1471068410000116_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"S1471068410000116_ref2","doi-asserted-by":"crossref","unstructured":"Berners-Lee T. , Hendler J. and Lassila O. 2001. The semantic web. Scientific American May.","DOI":"10.1038\/scientificamerican0501-34"},{"key":"S1471068410000116_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90112-0"},{"key":"S1471068410000116_ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007361123060"},{"key":"S1471068410000116_ref26","first-page":"117","volume-title":"Inductive Logic Programming","author":"Kietz","year":"2003"},{"key":"S1471068410000116_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90001-X"},{"key":"S1471068410000116_ref47","unstructured":"van der Laag P. 1995. An analysis of refinement operators in inductive logic programming. PhD thesis, Erasmus University."},{"key":"S1471068410000116_ref20","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1613\/jair.2372","article-title":"Conjunctive query answering for the description logic $\\mathcal{SHIQ}$","volume":"31","author":"Glimm","year":"2008","journal-title":"Journal of Artificial Intelligence Research"},{"key":"S1471068410000116_ref37","first-page":"101","article-title":"A further note on inductive generalization","volume":"6","author":"Plotkin","year":"1971","journal-title":"Machine Intelligence"},{"key":"S1471068410000116_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055506"},{"key":"S1471068410000116_ref34","volume-title":"Proceedings of the 1st Conference on Algorithmic Learning Theory","author":"Muggleton","year":"1990"},{"key":"S1471068410000116_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12405-5"},{"key":"S1471068410000116_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"S1471068410000116_ref46","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"S1471068410000116_ref21","first-page":"252","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16\u201319, 2008","author":"Glimm","year":"2008"},{"key":"S1471068410000116_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:58:38Z","timestamp":1556481518000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000116\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["S1471068410000116"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000116","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}