Skip to main content
×
Home

Inductive Logic Programming in Databases: From Datalog to

  • FRANCESCA A. LISI (a1)
Abstract
Abstract

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 . We illustrate the application scenarios by means of examples.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Inductive Logic Programming in Databases: From Datalog to
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about sending content to Dropbox.

      Inductive Logic Programming in Databases: From Datalog to
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about sending content to Google Drive.

      Inductive Logic Programming in Databases: From Datalog to
      Available formats
      ×
Copyright
References
Hide All
Baader F., Calvanese D., McGuinness D., Nardi D. and Patel-Schneider P., Eds. 2007. The Description Logic Handbook: Theory, Implementation and Applications, 2nd ed., Cambridge University Press.
Berners-Lee T., Hendler J. and Lassila O. 2001. The semantic web. Scientific American May.
Blockeel H., De Raedt L., Jacobs N. and Demoen B. 1999. Scaling up inductive logic programming by learning from interpretations. Data Mining and Knowledge Discovery 3, 5993.
Borgida A. 1996. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82, 1–2, 353367.
Buntine W. 1988. Generalized subsumption and its application to induction and redundancy. Artificial Intelligence 36, 2, 149176.
Calvanese D., De Giacomo G., Lembo D., Lenzerini M. and Rosati R. 2007. Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39, 3, 385429.
Calvanese D., De Giacomo G. and Lenzerini M. 2008. Conjunctive query containment and answering under description logics constraints. ACM Transactions on Computational Logic 9, 3.
Ceri S., Gottlob G. and Tanca L. 1989. What you always wanted to know about datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering 1, 1, 146166.
Ceri S., Gottlob G. and Tanca L. 1990. Logic Programming and Databases. Springer.
De Raedt L. and Bruynooghe M. 1993. A theory of clausal discovery. In IJCAI. 1058–1063.
De Raedt L. and Dehaspe L. 1997. Clausal discovery. Machine Learning 26, 2–3, 99146.
De Raedt L. and Džeroski S. 1994. First order jk-clausal theories are PAC-learnable. Artificial Intelligence 70, 375392.
Donini F., Lenzerini M., Nardi D. and Schaerf A. 1998. inline-graphic
$\mathcal{AL}$
-log: Integrating datalog and description logics
. Journal of Intelligent Information Systems 10, 3, 227252.
Džeroski S. and Lavrač N., Eds. 2001. Relational Data Mining. Springer.
Eiter T., Gottlob G. and Mannila H. 1997. Disjunctive Datalog. ACM Transactions on Database Systems 22, 3, 364418.
Flach P. 1993. Predicate invention in inductive data engineering. In Machine Learning: ECML-93, Brazdil P., Ed. Lecture Notes in Computer Science, vol. 667. Springer, 8394.
Flach P. 1998. From extensional to intensional knowledge: Inductive logic programming techniques and their application to deductive databases. In Transactions and Change in Logic Databases, Freitag B., Decker H., Kifer M. and Voronkov A., Eds. Lecture Notes in Computer Science, vol. 1472. Springer, 356387.
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–127.
Frisch A. and Cohn A. 1991. Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Magazine 11, 5, 8487.
Glimm B., Horrocks I., Lutz C. and Sattler U. 2008. Conjunctive query answering for the description logic inline-graphic
$\mathcal{SHIQ}$
. Journal of Artificial Intelligence Research 31, 151198.
Glimm B., Horrocks I. and Sattler U. 2008. Unions of conjunctive queries in inline-graphic
$\mathcal{SHOQ}$
. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16–19, 2008, Brewka G. and Lang J., Eds. AAAI Press, 252262.
Gómez-Pérez A., Fernández-López M. and Corcho O. 2004. Ontological Engineering. Springer.
Gruber T. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199220.
Horrocks I., Patel-Schneider P. and van Harmelen F. 2003. From inline-graphic
$\mathcal{SHIQ}$
and RDF to OWL: The making of a web ontology language
. Journal of Web Semantics 1, 1, 726.
Horrocks I., Sattler U. and Tobies S. 2000. Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8, 3, 239263.
Kietz J. 2003. Learnability of description logic programs. In Inductive Logic Programming, Matwin S. and Sammut C., Eds. Lecture Notes in Artificial Intelligence, vol. 2583. Springer, 117132.
Levy A. and Rousset M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104, 165209.
Lisi F. A. 2008. Building rules on top of ontologies for the semantic web with inductive Logic Programming. Theory and Practice of Logic Programming 8, 03, 271300.
Lisi F. A. and Esposito F. 2008. Foundations of onto-relational learning. In Inductive Logic Programming, Železný F. and Lavrač N., Eds. Lecture Notes in Artificial Intelligence, vol. 5194. Springer, 158175.
Lisi F. A. and Malerba D. 2004. Inducing multi-level association rules from multiple relations. Machine Learning 55, 175210.
Michalski R. 1983. A theory and methodology of inductive learning. In Machine Learning: an artificial intelligence approach, Michalski R., Carbonell J. and Mitchell T., Eds. Vol. I. Morgan Kaufmann, San Mateo, CA.
Mitchell T. 1982. Generalization as search. Artificial Intelligence 18, 203226.
Motik B., Sattler U. and Studer R. 2005. Query Answering for OWL-DL with Rules. Journal on Web Semantics 3, 1, 4160.
Muggleton S. 1990. Inductive logic programming. In Proceedings of the 1st Conference on Algorithmic Learning Theory. Ohmsma, Tokyo, Japan.
Nienhuys-Cheng S. and de Wolf R. 1997. Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, vol. 1228. Springer.
Plotkin G. 1970. A note on inductive generalization. Machine Intelligence 5, 153163.
Plotkin G. 1971. A further note on inductive generalization. Machine Intelligence 6, 101121.
Quinlan J. 1990. Learning logical definitions from relations. Machine Learning 5, 239266.
Reiter R. 1980. Equality and domain closure in first order databases. Journal of ACM 27, 235249.
Rosati R. 2005a. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3, 1, 6173.
Rosati R. 2005b. Semantic and computational advantages of the safe integration of ontologies and rules. In Principles and Practice of Semantic Web Reasoning, Fages F. and Soliman S., Eds. Lecture Notes in Computer Science, vol. 3703. Springer, 5064.
Rosati R. 2006. inline-graphic
$\mathcal{DL}$
+log: Tight integration of description logics and disjunctive datalog. In Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning, Doherty P., Mylopoulos J. and Welty C., Eds. AAAI Press, 6878.
Rouveirol C. and Ventos V. 2000. Towards learning in CARIN-inline-graphic
$\mathcal{ALN}$
. In Inductive Logic Programming, Cussens J. and Frisch A., Eds. Lecture Notes in Artificial Intelligence, vol. 1866. Springer, 191208.
Sakama C. 2001. Nonmonotonic inductive logic programming. In Logic Programming and Nonmonotonic Reasoning, Eiter T., Faber W. and Truszczynski M., Eds. Lecture Notes in Computer Science, vol. 2173. Springer, 6280.
Savnik I. and Flach P. A. 2000. Discovery of multivalued dependencies from relations. Intelligent Data Analysis 4, 3-4, 195211.
Schmidt-Schauss M. and Smolka G. 1991. Attributive concept descriptions with complements. Artificial Intelligence 48, 1, 126.
van der Laag P. 1995. An analysis of refinement operators in inductive logic programming. PhD thesis, Erasmus University.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 121 *
Loading metrics...

Abstract views

Total abstract views: 66 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th November 2017. This data will be updated every 24 hours.