Bridging the gap between horn clausal logic and description logics in inductive learning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2829, Issue , 2003, Pages 53-65

  Lisi, Francesca A ^a   Malerba, Donato ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; FORMAL LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FORMAL LOGIC; FUNCTIONS;

CLAUSAL LOGIC; DATALOG; DESCRIPTION LOGIC; HYBRID LANGUAGES; INDUCTIVE LEARNING; OBJECT IDENTITY; QUASI-ORDERING; TYPE CONSTRAINTS;

DATA DESCRIPTION; ARTIFICIAL INTELLIGENCE;

CLAUSAL LOGIC; FUNCTION-FREE HORN CLAUSAL LANGUAGE; GENERALIZED SUBSUMPTION; HYBRID LANGUAGES;

EID: 7444259548     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39853-0_5     Document Type: Conference Paper

References (20)

1. [1] Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2002)
2. [2] Badea, L., Nienhuys-Cheng, S.-W.: A Refinement Operator for Description Logics. In: Cussens, J., Frisch, A.: Inductive Logic Programming. Lecture Notes in Artificial Intelligence, Vol. 1866. Springer-Verlag (2000) 40–59
3. [3] Buntine, W.: Generalized Subsumption and its Application to Induction and Redundancy. Artificial Intelligence 36 (1988) 149–176
4. [4] Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer (1990)
5. [5] Cohen, W.W., Borgida, A., Hirsh, H.: Computing Least Common Subsumers in Description Logics. In: Swartout, W.R. (ed.): Proc. of the 10th National Conf. on Artificial Intelligence. The AAAI Press/The MIT Press (1992) 754–760
6. [6] Cohen, W. W., Hirsh, H.: Learning the CLASSIC description logic: Thoretical and experimental results. In: Doyle, J., Sandewall, E., Torasso, P. (eds.): Proc. of the 4th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR’94). Morgan Kaufmann (1994) 121-133
7. [7] Donini, F. M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems 10 (1998) 227–252
8. [8] De Raedt, L., Dehaspe, L.: Clausal Discovery. Machine Learning 26 (1997) 99–146
9. [9] Helft, N.: Inductive Generalization: A Logical Framework. In Bratko, I., Lavrač, N. (eds.): Progress in Machine Learning-Proceedings of EWSL87: 2nd European Working Session on Learning. Sigma Press, Wilmslow, U.K. (1987) 149–157
10. [10] Kietz, J.-U., Morik, K.: A Polynomial Approach to the Constructive Induction of Structural Knowledge. Machine Learning 14 (1994) 193–217
11. [11] Levy, A.Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104 (1998) 165–209
12. [12] Lisi, F.A., Ferilli, S., Fanizzi, N.: Object Identity as Search Bias for Pattern Spaces. In van Harmelen, F. (ed.): ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence. IOS Press, Amsterdam (2002) 375–379
13. [13] Lisi, F.A.: An ILP Setting for Object-Relational Data Mining. Ph.D. Thesis, Department of Computer Science, University of Bari, Italy (2002)
14. [14] Mannila, H., Toivonen, H.: Levelwise Search and Borders of Theories in Knowledge Discovery. Data Mining and Knowledge Discovery 1 (1997) 241–258
15. [15] Mitchell, T. M.: Generalization as Search. Artificial Intelligence 18 (1982) 203–226
16. [16] Nienhuys-Cheng, S.-H. and de Wolf, R.: Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, Vol. 1228. Springer (1997)
17. [17] Reiter, R.: Equality and Domain Closure in First Order Databases. Journal of ACM 27 (1980) 235–249
18. [18] Rouveirol, C., Ventos, V.: Towards Learning in CARIN-ALN. In: Cussens, J., Frisch, A. (eds.): Inductive Logic Programming. Lecture Notes in Artificial Intelligence, Vol. 1866. Springer-Verlag (2000) 191–208
19. [19] Schmidt-Schauss, M., Smolka, G.: Attributive Concept Descriptions with Complements. Artificial Intelligence 48 (1991) 1–26
20. [20] Semeraro, G., Esposito, F., Malerba, D., Fanizzi, N., Ferilli, S.: A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. In Fuchs, N.E. (ed.): Proc. of 7th Int. Workshop on Logic Program Synthesis and Transformation. Lecture Notes in Computer Science Vol. 1463. Springer (1998) 300–321