This shows you the differences between two versions of the page.
organisation:sakt:2013:main_sakt [2014/02/06 12:27] Franconi Enrico |
organisation:sakt:2013:main_sakt [2017/08/22 10:30] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Foundations and Challenges of Change in Ontologies and Databases ====== | ||
- | === Research School - 29-31 January 2014, in Bozen-Bolzano, | ||
- | |||
- | PhD students and PostDoc fellows are invited to apply to the research school on the " | ||
- | |||
- | This is the follow-up of a successful [[http:// | ||
- | |||
- | {{ : | ||
- | 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 < | ||
- | 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, < | ||
- | * Stefano Ceri, < | ||
- | * Bernardo Cuenca Grau, < | ||
- | * Emanuele Della Valle, < | ||
- | * Laura Giordano, < | ||
- | * Michael Kifer, < | ||
- | * Tommie Meyer, < | ||
- | * Katia Sycara, < | ||
- | * Misha Zakharyaschev, | ||
- | * Carlo Zaniolo, < | ||
- | |||
- | The school will be also supported by local mentors: | ||
- | |||
- | |||
- | * Liang Chang, < | ||
- | * Daniele Theseider Dupré, < | ||
- | * Matthias Thimm, < | ||
- | * Ivan Varzinczak, < | ||
- | * Renata Wassermann, < | ||
- | |||
- | ===== The organisers ===== | ||
- | |||
- | * Jim Delgrande < | ||
- | * Enrico Franconi < | ||
- | * Tommie Meyer < | ||
- | * Uli Sattler < | ||
- | * Ivan Varzinczak < | ||
- | |||
- | ===== 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 [[http:// | ||
- | |||
- | Information about the accommodation is available at < | ||
- | |||
- | ===== Program ===== | ||
- | |||
- | === Wednesday 29 January morning === | ||
- | |||
- | * 8:30 - Registration | ||
- | * 9:00 - Keynote: [[http:// | ||
- | * The logic of updates, active rules, and triggers in databases {{: | ||
- | * 10:00 - Presentation by Group 3 (1h) | ||
- | * 11:00 - Coffee break | ||
- | * 11:30 - Presentation by Group 4 (1h) {{: | ||
- | * 12:30 - Talk by local mentor - Matthias Thimm (30 min): " | ||
- | * 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 | ||
- | * 14:30 - Presentation by Group 1 (1h) | ||
- | * 15:30 - Presentation by Group 2 (1h) {{: | ||
- | * 16:30 - Coffee break | ||
- | * 17:00 - Talk by local mentor - Renata Wassermann (30 min): " | ||
- | * 17:30 - Discussion led by local mentor - Renata Wassermann (30 min) | ||
- | |||
- | === Thursday 30 January morning === | ||
- | |||
- | * 9:00 - Keynote: [[http:// | ||
- | * Foundations and challenges in temporal and stream data {{: | ||
- | * 10:00 - Presentation by Group 5 (1h) {{: | ||
- | * 11:00 - Coffee break | ||
- | * 11:30 - Presentation by Group 6 (1h) {{: | ||
- | * 12:30 - Talk by local mentor - Liang Chang (30 min): " | ||
- | * 13:00 - Discussion led by local mentor - Liang Chang (30 min) | ||
- | * 13:30 - Lunch | ||
- | |||
- | === Thursday 30 January afternoon === | ||
- | |||
- | * Actions representation and reasoning in ontology languages | ||
- | * 14:30 - Presentation by Group 9 (1h) {{: | ||
- | * 15:30 - Presentation by Group 10 (1h) {{: | ||
- | * 16:30 - Coffee break | ||
- | * 17:00 - Talk by local mentor - Ivan Varzinczak (30 min): " | ||
- | * 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) | ||
- | * 10:00 - Presentation by Group 8 (1h) | ||
- | * 11:00 - Coffee break | ||
- | * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): " | ||
- | * 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, < | ||
- | * ✔ Oliver Fernandez Gil, < | ||
- | * ✔ Chiara Del Vescovo, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail?. Artificial Intelligence, | ||
- | * Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180 (1995). {{: | ||
- | |||
- | |||
- | === 2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano) === | ||
- | |||
- | * ✔ Adam Sanchez Ayte, < | ||
- | * ✔ Alessandro Solimando < | ||
- | * ✔ Jonathan Bona, < | ||
- | * ✔ Elmar Wach, < | ||
- | |||
- | == 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). {{: | ||
- | * L.Giordano, | ||
- | |||
- | |||
- | === 3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri) === | ||
- | |||
- | * ✔ Yu Liu, < | ||
- | * ✔ Mathew Joseph, < | ||
- | * ✔ Nhung Ngo, < | ||
- | * ✔ Vadim Savenkov, < | ||
- | * ✔ Albin Ahmeti, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * Francois Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575 (1981). {{: | ||
- | * Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394. {{: | ||
- | |||
- | === 4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo) === | ||
- | |||
- | * ✔ Emanuel Sallinger, < | ||
- | * ✔ Thomas Ruhroth, < | ||
- | * ✔ Jens Bürger, < | ||
- | * ✘ Antonio Lieto, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * Fangzhen Lin, Raymond Reiter: How to Progress a Database. Artif. Intell. 92(1-2): 131-167 (1997). {{: | ||
- | * Raymond Reiter: On Specifying Database Updates. J. Log. Program. 25(1): 53-91 (1995). {{: | ||
- | |||
- | === 5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle) === | ||
- | |||
- | * ✔ Miguel Ceriani, < | ||
- | * ✔ Evgeny Sherkhonov, < | ||
- | * ✔ Szymon Klarman, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * David Toman, Jan Chomicki, Time in Database Systems. In Handbook of Temporal Reasoning in Artificial Intelligence, | ||
- | * Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev Motwani, Jennifer Widom: Models and Issues in Data Stream Systems. PODS 2002: 1-16. {{: | ||
- | |||
- | === 6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev) === | ||
- | |||
- | * ✔ Daniele Dell’Aglio, | ||
- | * ✔ Davide Lanti, < | ||
- | * ✔ Fariz Darari, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * F. Wolter and M. Zakharyaschev: | ||
- | * 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. {{: | ||
- | |||
- | === 7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese) === | ||
- | |||
- | * ✔ Babak Bagheri Hariri, < | ||
- | * ✔ Emilio Sanfilippo, < | ||
- | * ✔ Emanuele Storti, < | ||
- | * ✔ Jens Kohler, < | ||
- | * ✔ Raffaele Dell’Aversana, | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * Wil M. P. van der Aalst: Verification of Workflow Nets. ICATPN 1997: 407-426. {{: | ||
- | * Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, | ||
- | |||
- | === 8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau) === | ||
- | (winner of the best student group award) | ||
- | |||
- | {{: | ||
- | * ✔ Nahid Mahbub, < | ||
- | * ✔ Robert Muthuri, < | ||
- | * ✔ Stefan Scheglmann, < | ||
- | * ✔ Ognjen Savkovic, < | ||
- | * ✔ Laura Genga, < | ||
- | |||
- | == Bibliography == | ||
- | |||
- | * Alin Deutsch, Liying Sui, Victor Vianu: Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007). {{: | ||
- | * Anil Nigam, Nathan S. Caswell: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3): 428-445 (2003). {{: | ||
- | |||
- | === 9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara) === | ||
- | |||
- | * ✔ Manuel Rodriguez, < | ||
- | * ✔ Alessio Antonini, < | ||
- | * ✔ Giuseppe Rizzo, < | ||
- | |||
- | == 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) === | ||
- | |||
- | * ✔ Fahad Khan, < | ||
- | * ✔ Asan Agibetov, < | ||
- | * ✔ Imon Banerjee, < | ||
- | |||
- | == 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. {{: | ||
- | |||
- | ===== Pictures ===== | ||
- | |||
- | * Best presentation award: {{: | ||
- | * If you have any other pictures taken during the event that you would like to see here, please send them to Ivan. |