Table of Contents
Foundations and Challenges of Change in Ontologies and Databases
Research School - 29-31 January 2014, in Bozen-Bolzano, Italy
PhD students and PostDoc fellows are invited to apply to the research school on the “Foundations and Challenges of Change in Ontologies and Databases”, to be held on 29-31 January 2014 in Bozen-Bolzano, Italy.
This is the follow-up of a successful Dagstuhl seminar held last year. This year the event will be oriented towards students and postdocs. There will be five half-day sessions (listed below). The students/postdocs will be split in small groups, and each group will be responsible to organise a survey talk within a specific session; each group will be given appropriate reading material in advance. In the rest of each session there will be survey/tutorial/advanced presentations by some of the seniors and many discussions.
The five sessions are:
- Ontology revisions, versioning, diffs, and non-monotonic aspects;
- The logic of updates, active rules, and triggers in databases;
- Foundations and challenges in temporal and stream data;
- Modelling and reasoning with business processes and workflows;
- Actions representation and reasoning in ontology languages.
Please apply by submitting (i) a short statement (as an abstract with a title, showing how your research matches the topics of the school), (ii) your CV (in PDF), and (iii) the chosen topic(s), via EasyChair at <https://www.easychair.org/conferences/?conf=fccod2013> by 24 December 2013; late applications may be considered subject to the availability of space. The acceptance to the research school will be notified shortly after, together with the composition of the groups and the preparation material (consisting of few papers). Before the beginning of the school, each group is required to develop a presentation using the preparation material. During the preparation phase, groups will be supported by high-quality mentors from the committee of the school: each mentor will advise the groups she/he is assigned to about the quality of their presentation while they prepare it before coming to the school.
The mentors are:
- Diego Calvanese, calvanese@inf.unibz.it
- Stefano Ceri, ceri@elet.polimi.it
- Bernardo Cuenca Grau, Bernardo.Cuenca.Grau@comlab.ox.ac.uk
- Emanuele Della Valle, emanuele.dellavalle@polimi.it
- Laura Giordano, laura.giordano@mfn.unipmn.it
- Michael Kifer, michael.kifer@stonybrook.edu
- Tommie Meyer, tmeyer@csir.co.za
- Katia Sycara, katia@cs.cmu.edu
- Misha Zakharyaschev, michael@dcs.bbk.ac.uk
- Carlo Zaniolo, zaniolo@cs.ucla.edu
The school will be also supported by local mentors:
- Liang Chang, changl.guet@gmail.com (Foundations and challenges in temporal and stream data group)
- Daniele Theseider Dupré, dtd@di.unipmn.it (Modelling and reasoning with business processes and workflows group)
- Matthias Thimm, thimm@uni-koblenz.de (The logic of updates, active rules, and triggers in databases group)
- Ivan Varzinczak, ijv@acm.org (Actions representation and reasoning in ontology languages group)
- Renata Wassermann, renata@ime.usp.br (Ontology revisions, versioning, diffs, and non-monotonic aspects group)
The organisers
- Jim Delgrande jim@cs.sfu.ca
- Enrico Franconi franconi@inf.unibz.it
- Tommie Meyer tmeyer@csir.co.za
- Uli Sattler sattler@cs.man.ac.uk
- Ivan Varzinczak ijv@acm.org
Practical Information
There will be no registration fee to the research school; coffee breaks and lunches are included.
The research school will start at 8:30am on the 29th of January 2014 and will finish at 1pm on the 31st of January 2014, and it will take place at the main University building of the Free University of Bozen-Bolzano, room C2-06.
Information about the accommodation is available at <http://www.inf.unibz.it/krdb/location.php>; please book your accommodation as soon as possible!
Program
Wednesday 29 January morning
- 8:30 - Registration
- 9:00 - Keynote: Alessandro Artale (1h) Slides
- The logic of updates, active rules, and triggers in databases
- 10:00 - Presentation by Group 3 (1h) Slides (part 1) Slides (part 2)
- 11:00 - Coffee break
- 11:30 - Presentation by Group 4 (1h) Slides
- 12:30 - Talk by local mentor - Matthias Thimm (30 min): “Locking for Concurrent Transactions on Ontologies” Slides
- 13:00 - Discussion led by local mentor - Matthias Thimm (30 min)
- 13:30 - Lunch
Wednesday 29 January afternoon
- Ontology revisions, versioning, diffs, and non-monotonic aspects
Thursday 30 January morning
- 9:00 - Keynote: Diego Calvanese (1h) Slides
- Foundations and challenges in temporal and stream data
Thursday 30 January afternoon
- Actions representation and reasoning in ontology languages
- 14:30 - Presentation by Group 9 (1h) Slides
- 15:30 - Presentation by Group 10 (1h) Slides
- 16:30 - Coffee break
- 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): “Multifarious Uncertainty in Ontologies: Where we are and where we might go” Slides
- 17:30 - Discussion led by local mentor - Ivan Varzinczak (30 min)
Friday 31 January morning
- Modelling and reasoning with business processes and workflows
- 9:00 - Presentation by Group 7 (1h) Slides
- 10:00 - Presentation by Group 8 (1h) Slides
- 11:00 - Coffee break
- 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): “Compliance Verification of Business Processes with (Constraint) Answer Set Programming” Slides
- 12:00 - Discussion led by local mentor - Daniele Theseider Dupré (30 min)
- 12:30 - General discussion and wrapup (1 h)
Selected Groups
1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer)
- ✔ Giovanni Casini, giovanni.casini@gmail.com
- ✔ Oliver Fernandez Gil, fernandez@informatik.uni-leipzig.de
- ✔ Chiara Del Vescovo, chiaradv@gmail.com
Bibliography
2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano)
- ✔ Adam Sanchez Ayte, adam.sanchez-ayte@inria.fr
- ✔ Alessandro Solimando alessandro.solimando@disi.unige.it
- ✔ Jonathan Bona, jpbona@buffalo.edu
- ✔ Elmar Wach, wach@elmarpwach.com
Bibliography
- Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter: The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. (JAIR) 44: 633-708 (2012). PDF
- L.Giordano,N.Olivetti,V.Gliozzi,and G.L.Pozzato. A non-monotonic description logic for reasoning about typicality. Artificial Intelligence, 195:165-202, 2013. PDF
3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri)
- ✔ Yu Liu, yl12510@imperial.ac.uk
- ✔ Mathew Joseph, mathew@fbk.eu
- ✔ Nhung Ngo, ngo@inf.unibz.it
- ✔ Vadim Savenkov, savenkov@dbai.tuwien.ac.at
- ✔ Albin Ahmeti, albin.ahmeti@gmail.com
Bibliography
4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo)
- ✔ Emanuel Sallinger, sallinger@dbai.tuwien.ac.at
- ✔ Thomas Ruhroth, Thomas.Ruhroth@cs.tu-dortmund.de
- ✔ Jens Bürger, jens.buerger@cs.tu-dortmund.de
- ✘ Antonio Lieto, lieto@di.unito.it
Bibliography
5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle)
- ✔ Miguel Ceriani, ceriani@di.uniroma1.it
- ✔ Evgeny Sherkhonov, e.sherkhonov@uva.nl
- ✔ Szymon Klarman, szymon.klarman@gmail.com
Bibliography
- David Toman, Jan Chomicki, Time in Database Systems. In Handbook of Temporal Reasoning in Artificial Intelligence, Michael Fisher, Dov Gabbay, and Lluis Vila, eds., Elsevier 2005, 429-467. PDF
- Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev Motwani, Jennifer Widom: Models and Issues in Data Stream Systems. PODS 2002: 1-16. PDF
6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev)
- ✔ Daniele Dell’Aglio, daniele.dellaglio@polimi.it
- ✔ Davide Lanti, davide.lanti.sersante@gmail.com
- ✔ Fariz Darari, fadirra@gmail.com
Bibliography
- F. Wolter and M. Zakharyaschev: Temporalizing description logics, Frontiers of Combining Systems, editor: D. Gabbay and M. de Rijke, 379 - 402, Studies Press/Wiley, 1999. PDF
- Alessandro Artale and Enrico Franconi (2001). A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 30 No. 1-4, 2001, Kluwer Academic Publishers. PDF
7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese)
- ✔ Babak Bagheri Hariri, bagheri@inf.unibz.it
- ✔ Emilio Sanfilippo, emiliosanfilippo@gmail.com
- ✔ Emanuele Storti, e.storti@univpm.it
- ✔ Jens Kohler, jkohler@hs-mannheim.de
- ✔ Raffaele Dell’Aversana, r.dellaversana@gmail.com
Bibliography
8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau)
(winner of the best student group award)
- ✔ Nahid Mahbub, nahid@fbk.eu
- ✔ Robert Muthuri, muthuri.r@gmail.com
- ✔ Stefan Scheglmann, schegi@uni-koblenz.de
- ✔ Ognjen Savkovic, savkovic@inf.unibz.it
- ✔ Laura Genga, l.genga@univpm.it
Bibliography
9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara)
- ✔ Manuel Rodriguez, A00805445@itesm.mx
- ✔ Alessio Antonini, antonini@di.unito.it
- ✔ Giuseppe Rizzo, giuseppe.rizzo1@uniba.it
Bibliography
- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602. PDF
- Berardi, Daniela, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella. Automatic service composition based on behavioral descriptions. International Journal of Cooperative Information Systems 14, no. 04 (2005): 333-376. PDF
10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer)
- ✔ Fahad Khan, fahad.khan@ilc.cnr.it
- ✔ Asan Agibetov, asan.agibetov@ge.imati.cnr.it
- ✔ Imon Banerjee, imon@ge.imati.cnr.it
Bibliography
Pictures
(if you have any other picture, please send them to Ivan)
 | |  |  |  |
 |  |  |