Inductive logic programming in databases: From Datalog to DL+LOG ¬∨

Theory and Practice of Logic Programming

Volumn 10, Issue 3, 2010, Pages 331-359

  Lisi, Francesca A ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

description logics; hybrid Knowledge Representation and reasoning systems; Inductive Logic Programming; ontologies; relational databases

Indexed keywords

APPLICATION SCENARIO; DATABASE COMMUNITY; DATABASE PROBLEMS; DATALOG; DESCRIPTION LOGIC; HYBRID KNOWLEDGE REPRESENTATION; INDUCTIVE LOGIC PROGRAMMING; RELATIONAL DATABASE;

COMPUTER PROGRAMMING; DATA DESCRIPTION; DATABASE SYSTEMS; INDUCTIVE LOGIC PROGRAMMING (ILP); ONTOLOGY; SEMANTIC WEB;

KNOWLEDGE REPRESENTATION;

EID: 77957283011     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000116     Document Type: Article

References (47)

1. 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.
2. BERNERS-LEE, T., HENDLER, J. AND LASSILA, O. 2001. The semantic web. Scientific American May.
3. 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, 59-93.
4. BORGIDA, A. 1996. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82, 1-2, 353-367. (Pubitemid 126374160)
5. BUNTINE, W. 1988. Generalized subsumption and its application to induction and redundancy. Artificial Intelligence 36, 2, 149-176. (Pubitemid 18655802)
6. 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, 385-429. (Pubitemid 47340922)
7. 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.
8. 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, 146-166. (Pubitemid 20607001)
9. CERI, S., GOTTLOB, G. AND TANCA, L. 1990. Logic Programming and Databases. Springer.
10. DE RAEDT, L. AND BRUYNOOGHE, M. 1993. A theory of clausal discovery. In IJCAI. 1058-1063.
11. DE RAEDT, L. AND DEHASPE, L. 1997. Clausal discovery. Machine Learning 26, 2-3, 99-146. (Pubitemid 127507163)
12. DE RAEDT, L. AND DZKEROŠI, S. 1994. First order jk-clausal theories are PAC-learnable. Artificial Intelligence 70, 375-392.
13. DONINI, F., LENZERINI, M., NARDI, D. AND SCHAERF, A. 1998. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10, 3, 227-252. (Pubitemid 128517645)
14. DZKEROŠI, S. AND LAVRAČ, N., Eds. 2001. Relational Data Mining. Springer.
15. EITER, T., GOTTLOB, G. AND MANNILA, H. 1997. Disjunctive Datalog. ACM Transactions on Database Systems 22, 3, 364-418. (Pubitemid 127483103)
16. FLACH, P. 1993. Predicate invention in inductive data engineering. In Machine Learning: ECML-93, P. Brazdil, Ed. Lecture Notes in Computer Science, vol. 667. Springer, 83-94.
17. 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, B. Freitag, H. Decker, M. Kifer and A. Voronkov, Eds. Lecture Notes in Computer Science, vol. 1472. Springer, 356-387. (Pubitemid 128162437)
18. 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.
19. FRISCH, A. AND COHN, A. 1991. Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Magazine 11, 5, 84-87.
20. GLIMM, B., HORROCKS, I., LUTZ, C. AND SATTLER, U. 2008. Conjunctive query answering for the description logic SHIQ. Journal of Artificial Intelligence Research 31, 151-198. (Pubitemid 351761985)
21. GLIMM, B., HORROCKS, I. AND SATTLER, U. 2008. Unions of conjunctive queries in SHOQ. In Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, G. Brewka and J. Lang, Eds. AAAI Press, 252-262.
22. GÓMEZ-PÉREZ, A., FERNÁNDEZ-LÓPEZ, M. AND CORCHO, O. 2004. Ontological Engineering. Springer.
23. GRUBER, T. 1993. A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199-220.
24. HORROCKS, I., PATEL-SCHNEIDER, P. AND VAN HARMELEN, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1, 1, 7-26. (Pubitemid 44914724)
25. HORROCKS, I., SATTLER, U. AND TOBIES, S. 2000. Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8, 3, 239-263.
26. KIETZ, J. 2003. Learnability of description logic programs. In Inductive Logic Programming, S. Matwin and C. Sammut, Eds. Lecture Notes in Artificial Intelligence, vol. 2583. Springer, 117-132. (Pubitemid 36242056)
27. LEVY, A. AND ROUSSET, M.-C. 1998. Combining Horn rules and description logics in CARIN. Artificial Intelligence 104, 165-209. (Pubitemid 128400989)
28. 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, 271-300.
29. LISI, F. A. AND ESPOSITO, F. 2008. Foundations of onto-relational learning. In Inductive Logic Programming, F. Železný and N. Lavrač, Eds. Lecture Notes in Artificial Intelligence, vol. 5194. Springer, 158-175.
30. LISI, F. A. AND MALERBA, D. 2004. Inducing multi-level association rules from multiple relations. Machine Learning 55, 175-210.
31. MICHALSKI, R. 1983. A theory and methodology of inductive learning. In Machine Learning: an artificial intelligence approach, R. Michalski, J. Carbonell and T. Mitchell, Eds. Vol. I. Morgan Kaufmann, San Mateo, CA.
32. MITCHELL, T. 1982. Generalization as search. Artificial Intelligence 18, 203-226.
33. MOTIK, B., SATTLER, U. AND STUDER, R. 2005. Query Answering for OWL-DL with Rules. Journal on Web Semantics 3, 1, 41-60. (Pubitemid 40891658)
34. MUGGLETON, S. 1990. Inductive logic programming. In Proceedings of the 1st Conference on Algorithmic Learning Theory. Ohmsma, Tokyo, Japan.
35. NIENHUYS-CHENG, S. AND DE WOLF, R. 1997. Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, vol. 1228. Springer.
36. PLOTKIN, G. 1970. A note on inductive generalization. Machine Intelligence 5, 153-163.
37. PLOTKIN, G. 1971. A further note on inductive generalization. Machine Intelligence 6, 101-121.
38. QUINLAN, J. 1990. Learning logical definitions from relations. Machine Learning 5, 239-266.
39. REITER, R. 1980. Equality and domain closure in first order databases. Journal of ACM 27, 235-249. (Pubitemid 11428843)
40. ROSATI, R. 2005a. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics 3, 1, 61-73. (Pubitemid 40891659)
41. ROSATI, R. 2005b. Semantic and computational advantages of the safe integration of ontologies and rules. In Principles and Practice of Semantic Web Reasoning, F. Fages and S. Soliman, Eds. Lecture Notes in Computer Science, vol. 3703. Springer, 50-64.
42. ROSATI, R. 2006. DL+log: Tight integration of description logics and disjunctive datalog. In Proc. of Tenth International Conference on Principles of Knowledge Representation and Reasoning, P. Doherty, J. Mylopoulos and C. Welty, Eds. AAAI Press, 68-78.
43. ROUVEIROL, C. AND VENTOS, V. 2000. Towards learning in CARIN-ALN. In Inductive Logic Programming, J. Cussens and A. Frisch, Eds. Lecture Notes in Artificial Intelligence, vol. 1866. Springer, 191-208.
44. SAKAMA, C. 2001. Nonmonotonic inductive logic programming. In Logic Programming and Nonmonotonic Reasoning, T. Eiter, W. Faber and M. Truszczynski, Eds. Lecture Notes in Computer Science, vol. 2173. Springer, 62-80. (Pubitemid 33347397)
45. SAVNIK, I. AND FLACH, P. A. 2000. Discovery of multivalued dependencies from relations. Intelligent Data Analysis 4, 3-4, 195-211.
46. SCHMIDT-SCHAUSS, M. AND SMOLKA, G. 1991. Attributive concept descriptions with complements. Artificial Intelligence 48, 1, 1-26.
47. VAN der LAAG, P. 1995. An analysis of refinement operators in inductive logic programming. PhD thesis, Erasmus University.