User Tools

Site Tools


organisation:sakt:2013:main_sakt

This is an old revision of the document!


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:

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

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)
  • The logic of updates, active rules, and triggers in databases Slides
    • 10:00 - Presentation by Group 3 (1h)
    • 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”
    • 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) Slides
    • 16:30 - Coffee break
    • 17:00 - Talk by local mentor - Renata Wassermann (30 min): “Belief Revision in Description Logics”
    • 17:30 - Discussion led by local mentor - Renata Wassermann (30 min)

Thursday 30 January morning

  • 9:00 - Keynote: Diego Calvanese (1h)
  • Foundations and challenges in temporal and stream data Slides
    • 10:00 - Presentation by Group 5 (1h) Slides
    • 11:00 - Coffee break
    • 11:30 - Presentation by Group 6 (1h) Slides
    • 12:30 - Talk by local mentor - Liang Chang (30 min): “Temporal Dynamic Description Logic”
    • 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) Slides
    • 15:30 - Presentation by Group 10 (1h)
    • 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”
    • 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): “Compliance Verification of Business Processes with (Constraint) Answer Set Programming”
    • 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)

Bibliography
  • Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail?. Artificial Intelligence, 55(1), 1-60. PDF
  • Franz Baader, Bernhard Hollunder: Embedding Defaults into Terminological Knowledge Representation Formalisms. J. Autom. Reasoning 14(1): 149-180 (1995). PDF

2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano)

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)

Bibliography
  • Francois Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575 (1981). PDF
  • Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394. PDF

4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo)

Bibliography
  • Fangzhen Lin, Raymond Reiter: How to Progress a Database. Artif. Intell. 92(1-2): 131-167 (1997). PDF
  • Raymond Reiter: On Specifying Database Updates. J. Log. Program. 25(1): 53-91 (1995). PDF

5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle)

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)

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)

Bibliography
  • Wil M. P. van der Aalst: Verification of Workflow Nets. ICATPN 1997: 407-426. PDF
  • Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Bartek Kiepuszewski, Alistair P. Barros: Workflow Patterns. Distributed and Parallel Databases 14(1): 5-51 (2003). PDF

8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau)

Bibliography
  • Alin Deutsch, Liying Sui, Victor Vianu: Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3): 442-474 (2007). PDF
  • Anil Nigam, Nathan S. Caswell: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3): 428-445 (2003). PDF

9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara)

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)

Bibliography
  • Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. PDF
  • Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. PDF

Pictures

  • Best presentation award: Pic1, Pic2, Pic3, Pic4
  • If you have any other pictures taken during the event that you would like to see here, please send them to Ivan.
organisation/sakt/2013/main_sakt.1391542271.txt.gz · Last modified: 2017/08/22 10:30 (external edit)