Principles of inductive reasoning on the semantic web: A framework for learning in Aℒ-log

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

Volumn 3703 LNCS, Issue , 2005, Pages 118-132

  Lisi, Francesca A ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; LEARNING SYSTEMS; WORLD WIDE WEB;

Aℒ-LOG; DATALOG; INDUCTIVE REASONING; SEMANTIC WEB; SWRL;

SEMANTICS;

EID: 33646199426     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11552222_12     Document Type: Conference Paper

References (26)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P.F. Patel-Schneicler, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
2. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May, 2001.
3. H. Blocked, L. De Raedt, N. Jacobs, and B. Demoen. Scaling Up Inductive Logic Programming by Learning from Interpretations. Data Mining and Knowledge Discovery, 3:59-93, 1999.
4. A. Borgida. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence, 82(1-2):353-367, 1996.
5. W. Buntine. Generalized snbsumption and its application to induction and redundancy. Artificial Intelligence, 36(2):149-176, 1988.
6. S. Ceri, G. Gottlob, and L. Tanea. Logic Programming and Databases. Springer, 1990.
7. L. De Raedt and L. Dehaspe. Clausal Discovery. Machine Learning, 26(2-3):99-146, 1997.
8. P.M. Donini, M: Lenzcrini, D. Nardi, and A. Schaerf. Aℒ-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10(3):227-252, 1998.
9. P. Flach. Conjectures: An Inquiry concerning the Logic of Induction. Phd thesis, Tilburg University, 1995.
10. P. Flach and N. Lavrač. Learning in Clausal Logic: A Perspective on Inductive Logic Programming. In A.C. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, pages 437-471. Springer, 2002.
11. A.M. Frisch. The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning. Artificial Intelligence, 49:161-198, 1991.
12. A.M. Frisch. Sorted downward refinement: Building background knowledge into a refinement operator for inductive logic programming. In S. Dzeroski and P. Flach, editors, Inductive Logic Programming, volume 1634 of Lecture Notes in Artificial Intelligence, pages 104-115. Springer, 1999.
13. A.M. Frisch and A.G. Cohn. Thoughts and afterthoughts on the 1988 workshop on principles of hybrid reasoning. AI Magazine, 11(5):84-87, 1991.
14. I. Horrocks, P.F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7-26, 2003.
15. J.-U. Kietz. Learnability of description logic programs. In S. Matwin and C. Sammut, editors, Inductive Logic Programming, volume 2583 of Lecture Notes in Artificial Intelligence, pages 117-132. Springer, 2003.
16. A.Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104:165-209, 1998.
17. F.A. Lisi and F. Esposito. Efficient Evaluation of Candidate Hypotheses in Aℒ-log. In R. Camacho, R. King, and A. Srinivasan, editors, Inductive Logic Programming, volume 3194 of Lecture Notes in Artificial Intelligence, pages 216-233. Springer, 2004.
18. F.A. Lisi and D. Malerba. Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, volume 2829 of Lecture Notes in Artificial Intelligence, pages 49-60. Springer, 2003.
19. F.A. Lisi and D. Malerba. Ideal Refinement of Descriptions in Aℒ-log. In T. Horvath and A. Yamamoto, editors, Inductive Logic Programming, volume 2835 of Lecture Notes in Artificial Intelligence, pages 215-232. Springer, 2003.
20. F.A. Lisi and D. Malerba. Inducing Multi-Level Association Rules from Multiple Relations. Machine Learning, 55:175-210, 2004.
21. H. Mannila and H. Toivonen. Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery, 1(3):241-258, 1997.
22. R. Reiter. Equality and domain closure in first order databases. Journal of ACM, 27:235-249, 1980.
23. R. Rosati. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, 2005. to appear.
24. C. Rouveirol and V. Ventos. Towards Learning in CARIN-AℒN. In J. Cussens and A. Frisch, editors, Inductive Logic Programming, volume 1866 of Lecture Notes in Artificial Intelligence, pages 191-208. Springer, 2000.
25. M. Schmidt-Schauss and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1-26, 1991.
26. G. Semeraro, F. Esposito, D. Malerba, N. Fanizzi, and S. Ferilli. A logic framework for the incremental inductive synthesis of Datalog theories. In N.E. Fuchs, editor, Proceedings of 7th International Workshop on Logic Program Synthesis and Transformation, volume 1463 of Lecture Notes in Computer Science, pages 300-321. Springer, 1998.