{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:46:30Z","timestamp":1791301590214,"version":"4.1.0"},"reference-count":56,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"unspecified","delay-in-days":0,"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":[[2008,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim, an ad-hoc markup language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068407003195_inline1\"><jats:alt-text>$\\mathcal{AL}$<\/jats:alt-text><\/jats:inline-graphic>-log that integrates the description logic<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068407003195_inline2\"><jats:alt-text>$\\mathcal{ALC}$<\/jats:alt-text><\/jats:inline-graphic>and the function-free Horn clausal language<jats:sc>Datalog<\/jats:sc>. In this paper, we consider the problem of automating the acquisition of these rules for the Semantic Web. We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068407003195_inline1\"><jats:alt-text>$\\mathcal{AL}$<\/jats:alt-text><\/jats:inline-graphic>-log. The framework is valid whatever the scope of induction (description versus prediction) is. Yet, for illustrative purposes, we also discuss an instantiation of the framework which aims at description and turns out to be useful in Ontology Refinement.<\/jats:p>","DOI":"10.1017\/s1471068407003195","type":"journal-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T09:09:42Z","timestamp":1199437782000},"page":"271-300","source":"Crossref","is-referenced-by-count":32,"title":["Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming"],"prefix":"10.1017","volume":"8","author":[{"given":"FRANCESCA A.","family":"LISI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2008,5,1]]},"reference":[{"key":"S1471068407003195_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44960-4_12"},{"key":"S1471068407003195_ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.05.002"},{"key":"S1471068407003195_ref46","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322189"},{"key":"S1471068407003195_ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0"},{"key":"S1471068407003195_ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007361123060"},{"key":"S1471068407003195_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39917-9_15"},{"key":"S1471068407003195_ref34","first-page":"49","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"Lisi","year":"2003"},{"key":"S1471068407003195_ref49","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"S1471068407003195_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73847-3_30"},{"key":"S1471068407003195_ref53","unstructured":"Utgoff P. and Mitchell T. 1982. Acquisition of appropriate bias for inductive concept learning. In Proceedings of the 2nd National Conference on Artificial Intelligence. Morgan Kaufmann, Los Altos, CA, 414\u2013418."},{"key":"S1471068407003195_ref44","first-page":"82","volume-title":"Advances in Inductive Logic Programming","author":"N\u00e9dellec","year":"1996"},{"key":"S1471068407003195_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/B0-08-043076-7\/00400-9"},{"key":"S1471068407003195_ref32","first-page":"765","volume-title":"ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence","author":"Lisi","year":"2006"},{"key":"S1471068407003195_ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012801612483"},{"key":"S1471068407003195_ref38","volume-title":"Handbook on Ontologies","author":"Maedche","year":"2004"},{"key":"S1471068407003195_ref21","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"S1471068407003195_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/11853107_19"},{"key":"S1471068407003195_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48751-4_11"},{"key":"S1471068407003195_ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"key":"S1471068407003195_ref11","first-page":"228","volume-title":"The Semantic Web","author":"Dellschaft","year":"2006"},{"key":"S1471068407003195_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00041-6"},{"key":"S1471068407003195_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90001-X"},{"key":"S1471068407003195_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"S1471068407003195_ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009867806624"},{"key":"S1471068407003195_ref36","doi-asserted-by":"publisher","DOI":"10.1023\/B:MACH.0000023151.65011.a3"},{"key":"S1471068407003195_ref20","volume-title":"Ontological Engineering","author":"G\u00f3mez-P\u00e9rez","year":"2004"},{"key":"S1471068407003195_ref15","unstructured":"Frazier M. and Page C. 1993. Learnability in inductive logic programming. In Proceedings of the 10st National Conference on Artificial Intelligence. The AAAI Press\/The MIT Press, 93\u201398."},{"key":"S1471068407003195_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"S1471068407003195_ref43","first-page":"549","volume-title":"The Semantic Web","author":"Motik","year":"2004"},{"key":"S1471068407003195_ref26","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.239"},{"key":"S1471068407003195_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"S1471068407003195_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00114265"},{"key":"S1471068407003195_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12405-5"},{"key":"S1471068407003195_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":"S1471068407003195_ref23","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1109\/69.806937","article-title":"Mining multiple-level association rules in large databases","volume":"11","author":"Han","year":"1999","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"S1471068407003195_ref1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"Baader","year":"2003"},{"key":"S1471068407003195_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2003.07.001"},{"key":"S1471068407003195_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45681-3_29"},{"key":"S1471068407003195_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90112-0"},{"key":"S1471068407003195_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90009-9"},{"key":"S1471068407003195_ref27","first-page":"117","volume-title":"Inductive Logic Programming","author":"Kietz","year":"2003"},{"key":"S1471068407003195_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49674-2_16"},{"key":"S1471068407003195_ref18","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":"S1471068407003195_ref55","unstructured":"Xiong H. , Steinbach M. , Ruslim A. , and Kumar V. 2005. Characterizing pattern-based clustering. Technical Report TR 05-015, Dept. of Computer Science and Engineering, University of Minnesota, Minneapolis, USA."},{"key":"S1471068407003195_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0"},{"key":"S1471068407003195_ref37","first-page":"321","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence","author":"Maedche","year":"2000"},{"key":"S1471068407003195_ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30115-8_56"},{"key":"S1471068407003195_ref54","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61286-6_188"},{"key":"S1471068407003195_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF00114263"},{"key":"S1471068407003195_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27769-9_7"},{"key":"S1471068407003195_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90046-5"},{"key":"S1471068407003195_ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009796218281"},{"key":"S1471068407003195_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45628-7_17"},{"key":"S1471068407003195_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30109-7_18"},{"key":"S1471068407003195_ref3","volume-title":"ECAI Workshop on Ontology Learning","author":"Bisson","year":"2000"},{"key":"S1471068407003195_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8"}],"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\/S1471068407003195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T14:36:33Z","timestamp":1557153393000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068407003195\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":56,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["S1471068407003195"],"URL":"https:\/\/doi.org\/10.1017\/s1471068407003195","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}