FranconiSpace

User Tools

Site Tools

You are here: FranconiSpace » Organisation » sakt » 2013 » Foundations and Challenges of Change in Ontologies and Databases
Trace: • Foundations and Challenges of Change in Ontologies and Databases
organisation:sakt:2013:main_sakt

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 mentors are:






The school will be also supported by local mentors:








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 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!







Program






TBA







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. http://www.cs.huji.ac.il/~lehmann/papers/AI/LM.ps
    

    • 

  •  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)









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,N.Olivetti,V.Gliozzi,and G.L.Pozzato. A non-monotonic description logic for reasoning about typicality. Artificial Intelligence, 195:165-202, 2013.
    

    • 







3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri)









Bibliography




    

  •  H Katsuno, AO Mendelzon: Propositional knowledge base revision and minimal change. Artificial Intelligence Journal, 52(3): 263-294 (1991)
    

    • 

  •  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)









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)









Bibliography




    

  •  David Toman, Jan Chomicki, In Handbook of Temporal Reasoning in Artificial Intelligence, Michael Fisher, Dov Gabbay, and Lluis Vila, eds., Elsevier 2005, 429-467.
    

    • 

  •  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)









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.
    

    • 

  •  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)









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, Alistair P. Barros: Workflow Patterns. Distributed and Parallel Databases 14(1): 5-51 (2003)
    

    • 







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)
    

    • 

  •  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)









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)









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 
    

    • 





                    
                                    


                
organisation/sakt/2013/main_sakt.1389950854.txt.gz · Last modified:  (external edit)


                
                

            


            
            
        


        



    
    

                Donate
        Powered by PHP
        Valid HTML5
        Valid CSS
        Driven by DokuWiki