This is an old revision of the document!
Table of Contents
Research School 2014
Foundations and Challenges of Change in Ontologies and Databases
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.
<html>
</html>
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 list of mentors is growing; by now we have:
- 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
Selected Groups
1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer)
- Casini, giovanni.casini@gmail.com, The use of defeasible information to preserve coherence in DL knowledge bases
- Fernandez Gil, fernandez@informatik.uni-leipzig.de, Non-Monotonic Description Logics
- Moodley, kmoodley@csir.co.za, Defeasible Reasoning for Description Logics
- Ahmeti, albin.ahmeti@gmail.com, Short statement
Bibliography
- Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail?. Artificial Intelligence, 55(1), 1-60.
- Casini, G., & Straccia, U. (2010). Rational Closure for Defeasible Description Logics (pp. 77-90). JELIA 2010, Springer-Verlag.
2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano)
- Sanchez Ayte, adam.sanchez-ayte@inria.fr, Ontology alignment and data interlinking evolution on the web of data
- Solimando alessandro.solimando@disi.unige.it, Ontology-based systems co-evolution
- Bona, jpbona@buffalo.edu, Versioning, Updates, and Time in Biomedical Ontology
- Wach, wach@elmarpwach.com, Feedback-Driven Ontology Evolution
- Vescovo, chiaradv@gmail.com, How do changes in an ontology affect its modular structures?
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)
- Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori: ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. SWAT4LS 2009
- Rafael S. Gonçalves, Bijan Parsia, Uli Sattler: Comparing Ontologies with ecco. International Semantic Web Conference (Posters & Demos) 2013: 49-52
3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri)
- Liu, yl12510@imperial.ac.uk, Trigger-based Reasoning of OWL 2 RL Ontologies inside an RDBMS
- Joseph, mathew@fbk.eu, Query Answering over contextualized RDF/OWL Knowledge with Expressive Forall-Existential Bridge Rules
- Ngo, ngo@inf.unibz.it, Getting Unique Solution in Data Exchange
- Savenkov, savenkov@dbai.tuwien.ac.at, Participation application
Bibliography
- The KR-91 & AIJ-91 papers by Katsuno & Mendelson
4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo)
- Sallinger, sallinger@dbai.tuwien.ac.at, Application to the research school on “Change in Ontologies and Databases”
- Ruhroth and Bürger, Thomas.Ruhroth@cs.tu-dortmund.de, Application - Research School: Foundations and Challenges of Change in Ontologies and Databases
- Lieto, lieto@di.unito.it, Towards an unified account of ontological change and categorical shift in Computer Science and Cognitive Science
Bibliography
- The AI-97 & JLP-95 papers by Ray Reiter
5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle)
- Darari, fadirra@gmail.com, Completeness Reasoning with Temporal Feature
- Ceriani, ceriani@di.uniroma1.it, (Temporal) Linked Data and Event-Based Interaction
- Sherkhonov, e.sherkhonov@uva.nl, Changes in schema and data
- Klarman, szymon.klarman@gmail.com, Statement of interest
Bibliography
- Temporal Databases, chapter by Jan Chomicki and David Toman, 2005
- Models and issues in data stream systems by Babcock, Babu, Datar, Motwani, Widom, PODS 2002.
6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev)
- Dell’Aglio, daniele.dellaglio@polimi.it, Ontology-based top-k query answering over massive, heterogeneous, and dynamic data
- Lanti, davide.lanti.sersante@gmail.com, Temporal Logics and OBDA
- Vaira, lucia.vaira@unisalento.it, Lucia Vaira - PhD Student - University of Salento, Lecce, Italy
- Livieri, barbara.livieri@unisalento.it, Barbara Livieri - PhD Student - University of Salento
Bibliography
- Temporalizing description logics by Frank Wolter, Michael Zakharyaschev 1999
- A survey of temporal extensions of description logics by Alessandro Artale, Enrico Franconi 2000
7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese)
- Bagheri Hariri, bagheri@inf.unibz.it, Application Letter to KRDB Research School 2014
- Sanfilippo, emiliosanfilippo@gmail.com, The challenge of ontology in virtual manufacturing
- Storti, e.storti@univpm.it, Process Design and Monitoring in Collaborative and Distributed Environments
- Kohler, jkohler@hs-mannheim.de, Business Process Modeling Repository
- Dell’Aversana, r.dellaversana@gmail.com, Verification of data-aware business processes with semantic annotations
Bibliography
- van der Aalst 'verification of workflow nets’ 1997
- van der Aalst 'workflow patterns' 2003
8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau)
- Mahbub, nahid@fbk.eu
- Muthuri, muthuri.r@gmail.com, The Place of Legal Ontologies in E-commerce Regulatory Compliance
- Scheglmann, schegi@uni-koblenz.de, Concurrent Transactions on Ontologies
- Savkovic, savkovic@inf.unibz.it Process-aware Data Quality Assessment
- Genga, l.genga@univpm.it, Application of Ontologies to Process Mining algorithms
Bibliography
- Deutsch, Sui, Vianu JCSS-2007
- Nigam, Caswell IBM Sys Journ 2003
9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara)
- Rodriguez, A00805445@itesm.mx, Perdurantist Ontological Model to deal with Dynamic KDD process
- Antonini, antonini@di.unito.it, Norms as social products in society
Bibliography
- Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
- 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.
10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer)
- Khan, fahad.khan@ilc.cnr.it, My Research Interests
- Agibetov, asan.agibetov@ge.imati.cnr.it, Multi-scale biological knowledge formalization: definition, properties, and applications
- Banerjee, imon@ge.imati.cnr.it, Semantics-driven annotation of 3D medical data to support information retrieval
Bibliography
- Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
- Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56
Program
TBA
Practical Information
There will be no registration fee to the research school; coffee breaks and lunches are included.
The research school will start at 9am 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 location and the accommodation is available at <http://www.inf.unibz.it/krdb/location.php>; please book your accommodation as soon as possible!
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