Research Publications Professional service Teaching Short CV LACAM		Dr. Francesca A. Lisi Ricercatore / Assistant Professor Dipartimento di Informatica Università degli Studi di Bari "Aldo Moro" Campus Universitario "E. Quagliariello" Via E. Orabona, 4 • I-70125 Bari • Italy Phone: +39 080 5442296 Fax: +39 080 5443196 E-mail: lisi(a)di.uniba.it NEWS: CILC 2012 • ILP 2010 MLj special issue • ILP 2010 Springer LNAI proceedings

Research

Publications

Professional service

Teaching

Short CV

LACAM

Dr. Francesca A. Lisi

Ricercatore / Assistant Professor
Dipartimento di Informatica
Università degli Studi di Bari "Aldo Moro"

Campus Universitario "E. Quagliariello"
Via E. Orabona, 4 • I-70125 Bari • Italy

Phone: +39 080 5442296
Fax: +39 080 5443196
E-mail: lisi(a)di.uniba.it

NEWS: CILC 2012 • ILP 2010 MLj special issue •
ILP 2010 Springer LNAI proceedings

Research

Areas • Interests • Publications • Awards • Invited Seminars • Invited Participations • Projects

Areas

Machine Learning (Inductive Logic Programming, Relational Learning, Conceptual Clustering)
Data Mining (Multi-relational Data Mining, Semantic Web Mining, Spatial Data Mining, Frequent Pattern Discovery)
Knowledge Representation (Description Logics, Logic Programming, Fuzzy Logic, Ontologies, Deductive Databases, Semantic Web)

Interests

I am active in the research field of Inductive Logic Programming (ILP) for more than 10 years. Since the times of my PhD studies, I have been working on frameworks for inductive inference which extend the methodological apparatus of ILP, originally conceived for learning in Clausal Logics, to the so-called hybrid Knowledge Representation (KR) systems that integrate Description Logics (DLs) and Clausal Logics (CLs). More precisely, I have considered two such KR systems: AL-log (Donini et al., 1998) and DL+log (Rosati, 2006). The former integrates safely the DL ALC and the function-free CL fragment Datalog, whereas the latter is a weakly-safe integration of any DL and Disjunctive Datalog.

In the ILP framework for learning in AL-log (Lisi, 2008), hypotheses are represented as AL-log rules. The framework is general, meaning that it is valid whatever the scope of induction (prediction/description) is. Therefore the literal in the head of hypotheses represents a concept to be either discriminated from others or characterized. The generality relation for one such hypothesis language is an adaptation of the well-known ILP technique of generalized subsumption to the AL-log KR framework. It gives raise to a quasi-order and can be checked with a decidable procedure based on constrained SLD-resolution. Coverage relations for both ILP settings of learning from interpretations and learning from entailment have been defined on the basis of query answering in AL-log. The framework has been partially implemented in an ILP system that supports a variant of a very popular data mining task - frequent pattern discovery - where rich prior conceptual knowledge is taken into account during the discovery process in order to find patterns at multiple levels of description granularity (Lisi & Malerba, 2004).

The ILP framework for learning in DL+log (Lisi, 2010) represents hypotheses as DL+log rules and organizes them according to a generality ordering inspired by relative subsumption. Analogously to (Lisi, 2008), this framework encompasses both scopes of induction but, differently from (Lisi, 2008), it assumes the ILP setting of learning from entailment only. Both the coverage relation and the generality relation have been reformulated as satisfiability problems in DL+log. Compared to (Lisi, 2008), this framework shows an added value which can be summarized as follows. First, it can deal with incomplete information because disjunctive rules and default negation are allowed in DL+log . Second, it can induce rule-based definitions for new DL concepts because DL literals are allowed in DL+log rule heads.

Besides studying the theoretical aspects of these frameworks, I have been also investigating their applicability in Semantic Web Mining, Ontology Evolution, Data Integration, Data Engineering.

Awards

2006 Cyc Prize for Best Research Proposal

Invited Seminars

2011, July 29: "Onto-Relational Learning: A Possible Dialogue between Knowledge Representation and Machine Learning" (host: Prof. S. Muggleton, Department of Computing, Imperial College London, United Kingdom)
2010, March 23: "Onto-Relational Learning: A Possible Dialogue between Knowledge Representation and Machine Learning" (host: Prof. P. Frasconi, Dipartimento di Sistemi ed Informatica, Università degli Studi di Firenze, Italy)
2008, March 6-7: "Combining Description Logics and Horn Clausal Logic: The perspective of Knowledge Representation (I) and The perspective of Machine Learning (II)" (host: Prof. N. Leone, Dipartimento di Matematica, Università della Calabria, Italy)
2008, Jan. 21: "Learning Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming" (host: Prof. M. Gori, Dipartimento di Ingegneria dell'Informazione, Università degli Studi di Siena, Italy)
2005, Dec. 19: "Learning Rules on top of Ontologies: An Inductive Logic Programming Approach" (host: Prof. E. Franconi, Free University of Bozen, Italy)
2004, Dec. 6: "Learning in AL-log: Theory, Implementation and Applications" (host: Prof. C. Vrain, L.I.F.O., Université d'Orléans, France)
2004, Dec. 3: "Learning in AL-log: Theory, Implementation and Applications" (host: Prof. M.-C. Rousset, L.R.I., Université Paris-Sud, and UR Futurs INRIA, France)
2004, March 1: "Description Logics: Basics, Extensions and Applications" (host: Prof. A. Salibra, Dipartimento di Informatica, Università Ca' Foscari, Italy)
2003, Dec. 3: "Description Logics: Basics, Extensions and Applications" (host: Prof. G. Pani, Centro Interdipartimentale di Logica ed Applicazioni, Università degli Studi di Bari, Italy)

Invited Participations

Dagstuhl Seminar 05371 on "Principles and Practices of Semantic Web Reasoning", in September 2005

Projects

European

IST-1999-10536: "SPIN! - Spatial Mining on Data of Public Interest", 2000-2002
ESPRIT 20821: "SODAS - Symbolic Official Data Analysis", 1998-2000
MLNet II: Network of Excellence on Machine Learning
ILPNet: Network of Excellence on Inductive Logic Programming

National

MIUR PRIN 2006: “Sintesi automatica di modelli astratti a partire da dati temporali o spaziali” (Automated synthesis of abstract models from temporal or spatial data), 2007-2008
MIUR PRIN 2003: "Tecniche di Intelligenza Artificiale per il Reperimento di Informazione di Qualità sul Web" (Artificial Intelligence Techniques for Quality Information Retrieval on the Web), 2004-2005
MURST PRIN 2001: "Metodi di estrazione, di validazione e di rappresentazione dell'informazione statistica in un contesto decisionale" (Methods of knowledge discovery, validation and representation of the statistical information in decision tasks), 2002-2003
MURST COFIN 1999: "Modelli Statistici di Classificazione e di Segmentazione per l'Analisi di Dati Strutturati in Forma Complessa: Metodologie, Software e Applicazioni" (Statistical Models for Classification and Segmentation of Complex Data Structures: Methodologies, Software and Applications), 2000-2001
MURST COFIN 1998: "Agenti Intelligenti: Interazione e Acquisizione di Conoscenza" (Intelligent Agents: Interaction and Knowledge Acquisition), 1999-2000

Regional

P.O.R. "DiPIS - Distributed Production as Innovative System", 2006-2009.

Publications

Journal Articles • Books • Book Chapters • Conference Papers • All

Selected from the production of the last 10 years.

Journal Articles

P. Frasconi & F.A. Lisi (2012).
Guest Editors' introduction - Special issue on inductive logic programming (ILP 2010).
Machine Learning, 86(1): 1-2.
F.A. Lisi (2011).
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining.
International Journal on Semantic Web and Information Systems, 7(3): 1-22.
F.A. Lisi (2010).
Inductive Logic Programming in Databases: From Datalog to DL+log.
Theory and Practice of Logic Programming, 10(3): 331-359.
F.A. Lisi (2008).
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming.
Theory and Practice of Logic Programming, 8(3): 271-300.
F.A. Lisi & D. Malerba (2004).
Inducing Multi-Level Association Rules from Multiple Relations.
Machine Learning, 55:175-210.

Books

P. Frasconi & F.A. Lisi (Eds.): Inductive Logic Programming, 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers, Series: Lecture Notes in Computer Science, Vol. 6489, Springer, 2011.

Book Chapters

S. Greco & F.A. Lisi (2010).
Logic Programming Languages for Databases and the Web.
In: A. Dovier & E. Pontelli (Eds.): A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP, Series: Lecture Notes in Computer Science, Vol. 6125, 183-203, Springer.
F.A. Lisi & F. Esposito (2009).
On Ontologies as Prior Conceptual Knowledge in Inductive Logic Programming.
In: B. Berendt, D. Mladenic, M. de Gemmis, G. Semeraro, M. Spiliopoulou, G. Stumme, V. Svatek, & F. Zelezny (Eds.): Knowledge Discovery Enhanced with Semantic and Social Information, Series: Studies in Computational Intelligence, Vol. 220, 3-17, Springer.

Conference Papers

F.A. Lisi & U. Straccia (2011).
Towards Learning Fuzzy DL Inclusion Axioms.
In: A.M. Fanelli, W. Pedrycz, A. Petrosino (Eds.): Fuzzy Logic and Applications, Series: Lecture Notes in Computer Science, Vol. 6857, 58–66, Springer.
F.A. Lisi & F. Esposito (2008).
Foundations of Onto-Relational Learning.
In: F. Zelezny & N. Lavrac (Eds.): Inductive Logic Programming, Series: Lecture Notes in Computer Science, Vol. 5194, 158–175, Springer.
F.A. Lisi & F. Esposito (2007).
On the Missing Link between Frequent Pattern Discovery and Concept Formation.
In: S. Muggleton, R. Otero & A. Tamaddoni-Nezhad (Eds.), Inductive Logic Programming, Series: Lecture Notes in Computer Science, Vol. 4455, 305-319, Springer.
F.A. Lisi & F. Esposito (2006).
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement.
In: G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.): ECAI 2006, Proceedings of the 17^th European Conference on Artificial Intelligence, 765-766, IOS Press: Amsterdam.
F.A. Lisi (2006).
A Methodology for Building Semantic Web Mining Systems.
In: F. Esposito & Z. Ras (Eds.), Foundations of Intelligent Systems, Series: Lecture Notes in Computer Science, Vol. 4203, 306-311, Springer.
F.A. Lisi (2006).
A Pattern-based Approach to Conceptual Clustering in FOL.
In: H. Schaerfe, P. Hitzler and P. Ohrstrom (Eds.), Conceptual Structures: Inspiration and Application, Series: Lecture Notes in Computer Science, Vol. 4068, 346-359, Springer.
F.A. Lisi (2006).
Practice of Inductive Reasoning on the Semantic Web: A System for Semantic Web Mining.
In: J.J. Alferes, J. Bailey, W. May, and U. Schwertel (Eds.), Principles and Practice of Semantic Web Reasoning, Series: Lecture Notes in Computer Science, Vol. 4187, 242-256, Springer.

F.A. Lisi (2005).
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in AL-Log.
In: F. Fages and S. Soliman (Eds.), Principles and Practice of Semantic Web Reasoning, Series: Lecture Notes in Computer Science, Vol. 3703, 118-132, Springer.

F.A. Lisi & F. Esposito (2005).
ILP meets Knowledge Engineering: A Case Study.
In: S. Kramer and B. Pfahringer (Eds.), Inductive Logic Programming, Series: Lecture Notes in Computer Science, Vol. 3625, 209-226, Springer.

F.A. Lisi & F. Esposito (2005).
Mining the Semantic Web: A Logic-based Methodology.
In: M.S. Hacid, N. Murray, Z.W. Ras, and S. Tsumoto (Eds.), Foundations of Intelligent Systems, Series: Lecture Notes in Computer Science, Vol. 3488, 102-111, Springer.

F.A. Lisi & F. Esposito (2004).
Efficient Evaluation of Candidate Hypotheses in AL-log.
In: R. Camacho, R. King, and A. Srinivasan (Eds.), Inductive Logic Programming, Series: Lecture Notes in Computer Science, Vol. 3194, 216-233, Springer.

F.A. Lisi & D. Malerba (2003).
Ideal Refinement of Descriptions in AL-log.
In: T. Horvath and A. Yamamoto (Eds.), Inductive Logic Programming, Series: Lecture Notes in Computer Science, Vol. 2835, 215-232, Springer.

F.A. Lisi & D. Malerba (2003).
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.
In: A. Cappelli and F. Turini (Eds.), AI*IA 2003: Advances in Artificial Intelligence, Series: Lecture Notes in Computer Science, Vol. 2829, 53-64, Springer.

F.A. Lisi, S. Ferilli, & N. Fanizzi (2002).
Object Identity as Search Bias for Pattern Spaces.
In: Frank van Harmelen (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence, ECAI 2002, 375-379, IOS Press.

Professional service

Editing • Conferencing • Reviewing • Tutoring • Associations

Editing

Editorial Board member of the Machine Learning journal (since 2011)
Guest co-editor of the Machine Learning journal's special issue on Inductive Logic Programming (ILP 2010)
Co-editor of the Volume 6489 of the Springer’s Lecture Notes in Artificial Intelligence series (2011)

Conferencing

Chair

PC Co-chair of the 20th International Conference on Inductive Logic Programming (ILP 2010)
PC Chair of the 9th Italian Convention on Computational Logic (CILC 2012)

PC member

International Semantic Web Conference (ISWC 2009)
International Conference on Inductive Logic Programming (ILP 2004, ILP 2005, ILP 2006, ILP 2007, ILP 2008, ILP 2009, ILP 2011, ILP 2012)
International Conference on Web Reasoning and Rule Systems (RR 2008, RR 2009, RR 2010, RR 2011, RR 2012)
International Symposium on Rules (RuleML@IJCAI 2011, RuleML@BRF 2011, RuleML 2012)
IEEE International Conference on Engineering of Intelligent Systems (ICEIS 2006)
International Conference on Logic Programming - Doctoral Consortium (ICLP-DC 2012)
European Conference on Artificial Intelligence (ECAI 2010, ECAI 2012)
European Conference on Machine Learning/European Conference on Principles and Practice of Knowledge Discovery and Databases (ECML/PKDD 2007, ECML/PKDD 2012)
European Semantic Web Conference (ESWC 2007, ESWC 2008, ESWC 2009, ESWC 2012)
Starting Artificial Intelligence Research Symposium (STAIRS 2012)
Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006)
International Workshop on Inductive Reasoning and Machine Learning on the Semantic Web (IRMLeS 2009, IRMLeS 2010)
Italian Convention on Computational Logic (CILC 2007, CILC 2011)

Reviewing

Journals:

Journal of Artificial Intelligence Research
Machine Learning
IEEE Transactions on Knowledge and Data Engineering
Data and Knowledge Engineering
Knowledge and Information Systems
Journal of Logic and Computation
The Computer Journal
Fundamenta Informaticae
International Journal of Geographical Information Systems
International Journal of Pattern Recognition and Artificial Intelligence

Books:

Encyclopedia of Data Warehousing and Mining (2nd ed.)

Conferences/workshops:

ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2009, KDD 2011)
IEEE International Conference on Data Mining (ICDM 2006)
International Conference on Machine Learning (ICML 1999)
International Conference on Logic Programming (ICLP 2008)
International Conference on Inductive Logic Programming (ILP 2002)
International Symposium on Methodologies for Intelligent Systems (ISMIS 2002, ISMIS 2006)
SIAM Conference on Data Mining (SDM 2003, SDM 2005, SDM 2006)
IAPR International Conference on Machine Learning and Data Mining (MLDM 2003)
International Conference on Parallel and Distributed Computing (EuroPar 2003)
International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE 2005, IEA/AIE 2008)

European Conference on Artificial Intelligence (ECAI 2004)
European Conference on Machine Learning (ECML/PKDD 2001, ECML/PKDD 2003, ECML/PKDD 2004, ECML/PKDD 2005)
European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2006)

Congress of the Italian Association for Artificial Intelligence (AI*IA 2003, AI*IA 2005)
Italian Symposium on Advanced Database Systems (SEBD 2002)
Congress of the Italian Group of Users of Logic Programming (CILC 2005)

Tutoring

AAAI-10 Tutorial Forum: "Machine Learning meets Knowledge Representation in the Semantic Web"
IEEE ICSC 2008: "Inductive Logic Programming for the Semantic Web"
SWAP 2007: "Inductive Reasoning on Ontologies and Rules for the Semantic Web" (jointly with C.d'Amato and N. Fanizzi)
ECML/PKDD 2007: "The challenges of the Semantic Web to Machine Learning and Data Mining"
ESWC 2007: "Inductive Logic Programming Approaches to Ontology and Rule Acquisition for the Semantic Web"
CILC 2006: "Learning Rules on top of Ontologies: An Inductive Logic Programming Approach"

Associations

Member of IEEE Computer Society (2010)
Member of AAAI (Association for the Advancement of Artificial Intelligence) (2010)
Member of AI*IA (Italian Association for Artificial Intelligence affiliated to ECCAI) (since 2010)
Board Member of GULP (Group of Users of Logic Programming affiliated to ALP) (since 2009)
Member of Consorzio CINI

Teaching

BSc in Computer Science (Laurea di I livello in Informatica) - University of Bari

Programmazione in Rete (Network Programming)
Laboratorio di Basi di Dati (Lab of Databases)
Laboratorio di Linguaggi di Programmazione (Lab of Programming Languages)

BSc in Computer Science and Software Production Technologies (Laurea di I livello in Informatica e Tecnologie per la Produzione del Software) - University of Bari

Reti di Calcolatori: Internet, Intranet e Mobile Computing (Computer Networks: Internet, Intranet and Mobile Computing)
Programmazione per il Web (Web Programming)
Progettazione di Basi di Dati (Database Design)

MSc in Computer Science (Laurea Magistrale in Informatica) - University of Bari

Apprendimento Automatico (Machine Learning)
Rappresentazione della Conoscenza (Knowledge Representation)

Short CV

Academic positions

Feb. 2002 – present: Ricercatore (equivalent to Assistant Professor) at Università degli Studi di Bari, Dipartimento di Informatica.
Sept. 1999 – Aug. 2001: Assegnista di ricerca (equivalent to Research Associate) at Università degli Studi di Bari, Dipartimento di Informatica.
1998: Professore a contratto (equivalent to Contract Professor), Università degli Studi di Bari.

Education

2003: Dottorato di Ricerca in Informatica (equivalent to the degree of PhD in Computer Science), awarded by Università degli Studi di Bari – Dipartimento di Informatica.

Thesis: “An ILP Setting for Object-Relational Data Mining” (written in English)
Supervisor: Prof. F. Esposito

2002: Summer School on Relational Data Mining
1999, April – June: Research student at the Database and Information Systems Group (Prof. Dr. G. Lausen), Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Germany.

1999, Jan. – March: Research student at the Database and Artificial Intelligence Group (Prof. Dr. G. Gottlob), Institut für Informationssysteme, Technische Universität Wien, Austria.

1998: International Summer School on Logic Programming Perspectives in Hot Research Areas.

1997: Laurea in Scienze dell’Informazione (equivalent to the degree of MSc in Information Science), full marks with honour, awarded by Università degli Studi di Bari – Dipartimento di Informatica

Thesis: “F-logic in Inductive Learning: An Object-oriented Implementation” (written in Italian)
Supervisors: Prof. F. Esposito, Prof. D. Malerba

1991: Diploma di Maturità Classica (equivalent to the degree of Secondary School diploma in Classics), full marks, awarded by Liceo-Ginnasio Statale “C. Sylos”, Bitonto (Bari), Italy.