User Tools

Site Tools


organisation:sakt:2013:main_sakt

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
organisation:sakt:2013:main_sakt [2014/01/27 10:31]
Thomas Meyer
organisation:sakt:2013:main_sakt [2017/08/22 10:30] (current)
Line 60: Line 60:
 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://​maps.google.com/​maps/​ms?​f=q&​hl=en&​geocode=&​num=20&​ie=UTF8&​msa=0&​msid=102778020508544394485.0004577c02a316da0e2a7&​ll=46.496945,​11.355615&​spn=0.008715,​0.020921&​z=16|main University building]] of the Free University of Bozen-Bolzano,​ room **C2-06**. ​ 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://​maps.google.com/​maps/​ms?​f=q&​hl=en&​geocode=&​num=20&​ie=UTF8&​msa=0&​msid=102778020508544394485.0004577c02a316da0e2a7&​ll=46.496945,​11.355615&​spn=0.008715,​0.020921&​z=16|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 **[[http://​www.suedtirol.info/​en/​Book-Your-Holiday/​Search-Accomodations.html|book your accommodation]]** as soon as possible!+Information about the accommodation is available at <​http://​www.inf.unibz.it/​krdb/​location.php>;​ please **[[http://​www.suedtirol.info/​en/​Book-Your-Holiday/​Search-Accomodations.html|book your accommodation]]** as soon as possible!
  
 ===== Program ===== ===== Program =====
Line 66: Line 66:
 === Wednesday 29 January morning === === Wednesday 29 January morning ===
  
-  * 8:30 AM - Registration +  * 8:30 - Registration 
-  * 9:00 AM - Keynote: [[http://​www.inf.unibz.it/​~artale/​|Alessandro Artale]] (1h)+  * 9:00 - Keynote: [[http://​www.inf.unibz.it/​~artale/​|Alessandro Artale]] (1h) {{:​organisation:​sakt:​2013:​Keynote1.pdf|Slides}}
   * The logic of updates, active rules, and triggers in databases ​   * The logic of updates, active rules, and triggers in databases ​
-    * Presentations ​by Groups ​and 4 (2h+    * 10:00 - Presentation ​by Group (1h) {{:​organisation:​sakt:​2013:​Group3b.pdf|Slides (part 1)}} {{:​organisation:​sakt:​2013:​Group3a.pdf|Slides (part 2)}} 
-    * Talk by local mentor - Matthias Thimm (30 min) +    * 11:00 - Coffee break 
-    * Discussion led by local mentor - Matthias Thimm (30 min)+    * 11:30 - Presentation by Group 4 (1h{{:​organisation:​sakt:​2013:​Group4.pdf|Slides}} 
 +    * 12:30 - Talk by local mentor - Matthias Thimm (30 min): "​Locking for Concurrent Transactions on Ontologies"​ {{:​organisation:​sakt:​2013:​Mentor3.pdf|Slides}} 
 +    * 13:00 - Discussion led by local mentor - Matthias Thimm (30 min) 
 +    * 13:30 - Lunch
  
 === Wednesday 29 January afternoon === === Wednesday 29 January afternoon ===
  
   * Ontology revisions, versioning, diffs, and non-monotonic aspects   * Ontology revisions, versioning, diffs, and non-monotonic aspects
-    * Presentations ​by Groups ​and 2 (2h+    * 14:30 - Presentation ​by Group (1h)  
-    * Talk by local mentor - Renata Wassermann (30 min) +    * 15:30 - Presentation by Group 2 (1h{{:​organisation:​sakt:​2013:​Group2.pdf|Slides}} 
-    * Discussion led by local mentor - Renata Wassermann (30 min)+    * 16:30 - Coffee break 
 +    * 17:00 - Talk by local mentor - Renata Wassermann (30 min): "​Belief Revision in Description Logics"​ {{:​organisation:​sakt:​2013:​Mentor5.pdf|Slides}} 
 +    * 17:30 - Discussion led by local mentor - Renata Wassermann (30 min)
  
 === Thursday 30 January morning === === Thursday 30 January morning ===
  
-  * Keynote: [[http://​www.inf.unibz.it/​~calvanese/​|Diego Calvanese]] (1h) +  * 9:00 - Keynote: [[http://​www.inf.unibz.it/​~calvanese/​|Diego Calvanese]] (1h) {{:​organisation:​sakt:​2013:​Keynote2.pdf|Slides}} 
-  * Foundations and challenges in temporal and stream data +  * Foundations and challenges in temporal and stream data  
-    * Presentations ​by Groups ​and 6 (2h+    * 10:00 - Presentation ​by Group (1h) {{:​organisation:​sakt:​2013:​Group5.pdf|Slides}} 
-    * Talk by local mentor - Liang Chang (30 min) +    * 11:00 - Coffee break 
-    * Discussion led by local mentor - Liang Chang (30 min)+    * 11:30 - Presentation by Group 6 (1h{{:​organisation:​sakt:​2013:​Group6.pdf|Slides}} 
 +    * 12:30 - Talk by local mentor - Liang Chang (30 min): "​Temporal Dynamic Description Logic" {{:​organisation:​sakt:​2013:​Mentor1.pdf|Slides}} 
 +    * 13:00 - Discussion led by local mentor - Liang Chang (30 min) 
 +    * 13:30 - Lunch
  
 === Thursday 30 January afternoon === === Thursday 30 January afternoon ===
  
   * Actions representation and reasoning in ontology languages   * Actions representation and reasoning in ontology languages
-    * Presentations ​by Groups ​and 10 (2h+    * 14:30 - Presentation ​by Group (1h) {{:​organisation:​sakt:​2013:​Group9.pdf|Slides}} 
-    * Talk by local mentor - Ivan Varzinczak (30 min) +    * 15:30 - Presentation by Group 10 (1h{{:​organisation:​sakt:​2013:​Group10.pdf|Slides}} 
-    * Discussion led by local mentor - Ivan Varzinczak (30 min)+    * 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" {{:​organisation:​sakt:​2013:​Mentor4.pdf|Slides}} 
 +    * 17:30 - Discussion led by local mentor - Ivan Varzinczak (30 min)
  
 === Friday 31 January morning === === Friday 31 January morning ===
  
   * Modelling and reasoning with business processes and workflows ​   * Modelling and reasoning with business processes and workflows ​
-    * Presentations ​by Groups ​and 8 (2h+    * 9:00 - Presentation ​by Group (1h) {{:​organisation:​sakt:​2013:​Group7.pdf|Slides}} 
-    * Talk by local mentor - Daniele Theseider Dupré (30 min) +    * 10:00 - Presentation by Group 8 (1h{{:​organisation:​sakt:​2013:​Group8.pdf|Slides}} 
-    * Discussion led by local mentor - Daniele Theseider Dupré (30 min) +    * 11:00 - Coffee break 
-  * General discussion and wrapup (1 h) +    * 11:30 - Talk by local mentor - Daniele Theseider Dupré (30 min): "​Compliance Verification of Business Processes with (Constraint) Answer Set Programming"​ {{:​organisation:​sakt:​2013:​Mentor2.pdf|Slides}} 
 +    * 12:00 - Discussion led by local mentor - Daniele Theseider Dupré (30 min) 
 +  * 12:30 - General discussion and wrapup (1 h)
  
 ===== Selected Groups ===== ===== Selected Groups =====
Line 108: Line 119:
 === 1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer) === === 1. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Tommie Meyer) ===
  
-  * Giovanni Casini, <​giovanni.casini@gmail.com> ​{{unicode|✔}} +  * ✔ Giovanni Casini, <​giovanni.casini@gmail.com>​ 
-  * Oliver Fernandez Gil, <​fernandez@informatik.uni-leipzig.de>​ +  * ✔ Oliver Fernandez Gil, <​fernandez@informatik.uni-leipzig.de>​ 
-  * Chiara Del Vescovo, <​chiaradv@gmail.com>​+  * ✔ Chiara Del Vescovo, <​chiaradv@gmail.com>​
  
 == Bibliography == == Bibliography ==
Line 120: Line 131:
 === 2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano) === === 2. Ontology revisions, versioning, diffs, and non-monotonic aspects (mentor: Laura Giordano) ===
  
-  * Adam Sanchez Ayte, <​adam.sanchez-ayte@inria.fr>​ +  * ✔ Adam Sanchez Ayte, <​adam.sanchez-ayte@inria.fr>​ 
-  * Alessandro Solimando <​alessandro.solimando@disi.unige.it>​ +  * ✔ Alessandro Solimando <​alessandro.solimando@disi.unige.it>​ 
-  * Jonathan Bona, <​jpbona@buffalo.edu>​ +  * ✔ Jonathan Bona, <​jpbona@buffalo.edu>​ 
-  * Elmar Wach, <​wach@elmarpwach.com>​+  * ✔ Elmar Wach, <​wach@elmarpwach.com>​
  
 == Bibliography == == Bibliography ==
Line 133: Line 144:
 === 3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri) === === 3. The logic of updates, active rules, and triggers in databases (mentor: Stefano Ceri) ===
  
-  * Yu Liu, <​yl12510@imperial.ac.uk>​ +  * ✔ Yu Liu, <​yl12510@imperial.ac.uk>​ 
-  * Mathew Joseph, <​mathew@fbk.eu>​ +  * ✔ Mathew Joseph, <​mathew@fbk.eu>​ 
-  * Nhung  Ngo, <​ngo@inf.unibz.it>​ +  * ✔ Nhung  Ngo, <​ngo@inf.unibz.it>​ 
-  * Vadim Savenkov, <​savenkov@dbai.tuwien.ac.at>​ +  * ✔ Vadim Savenkov, <​savenkov@dbai.tuwien.ac.at>​ 
-  * Albin Ahmeti, <​albin.ahmeti@gmail.com>​+  * ✔ Albin Ahmeti, <​albin.ahmeti@gmail.com>​
  
 == Bibliography == == Bibliography ==
Line 146: Line 157:
 === 4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo) === === 4. The logic of updates, active rules, and triggers in databases (mentor: Carlo Zaniolo) ===
  
-  * Emanuel Sallinger, <​sallinger@dbai.tuwien.ac.at>​ +  * ✔ Emanuel Sallinger, <​sallinger@dbai.tuwien.ac.at>​ 
-  * Thomas Ruhroth, <​Thomas.Ruhroth@cs.tu-dortmund.de>​ +  * ✔ Thomas Ruhroth, <​Thomas.Ruhroth@cs.tu-dortmund.de>​ 
-  * Jens Bürger, <​jens.buerger@cs.tu-dortmund.de>​ +  * ✔ Jens Bürger, <​jens.buerger@cs.tu-dortmund.de>​ 
-  * Antonio Lieto, <​lieto@di.unito.it>​+  * ✘ Antonio Lieto, <​lieto@di.unito.it>​
  
 == Bibliography == == Bibliography ==
Line 158: Line 169:
 === 5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle) === === 5. Foundations and challenges in temporal and stream data (mentor: Emanuele Della Valle) ===
  
-  * Miguel Ceriani, <​ceriani@di.uniroma1.it>​ +  * ✔ Miguel Ceriani, <​ceriani@di.uniroma1.it>​ 
-  * Evgeny Sherkhonov, <​e.sherkhonov@uva.nl>​ +  * ✔ Evgeny Sherkhonov, <​e.sherkhonov@uva.nl>​ 
-  * Szymon Klarman, <​szymon.klarman@gmail.com>​+  * ✔ Szymon Klarman, <​szymon.klarman@gmail.com>​
  
 == Bibliography == == Bibliography ==
Line 169: Line 180:
 === 6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev) === === 6. Foundations and challenges in temporal and stream data (mentor: Misha Zakharyaschev) ===
  
-  * Daniele Dell’Aglio,​ <​daniele.dellaglio@polimi.it>​ +  * ✔ Daniele Dell’Aglio,​ <​daniele.dellaglio@polimi.it>​ 
-  * Davide Lanti, <​davide.lanti.sersante@gmail.com>​ +  * ✔ Davide Lanti, <​davide.lanti.sersante@gmail.com>​ 
-  * Fariz Darari, <​fadirra@gmail.com>​+  * ✔ Fariz Darari, <​fadirra@gmail.com>​
  
 == Bibliography == == Bibliography ==
Line 180: Line 191:
 === 7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese) === === 7. Modelling and reasoning with business processes and workflows (mentor: Diego Calvanese) ===
  
-  * Babak Bagheri Hariri, <​bagheri@inf.unibz.it>​ +  * ✔ Babak Bagheri Hariri, <​bagheri@inf.unibz.it>​ 
-  * Emilio Sanfilippo, <​emiliosanfilippo@gmail.com>​ +  * ✔ Emilio Sanfilippo, <​emiliosanfilippo@gmail.com>​ 
-  * Emanuele Storti, <​e.storti@univpm.it>​ +  * ✔ Emanuele Storti, <​e.storti@univpm.it>​ 
-  * Jens Kohler, <​jkohler@hs-mannheim.de>​ +  * ✔ Jens Kohler, <​jkohler@hs-mannheim.de>​ 
-  * Raffaele Dell’Aversana,​ <​r.dellaversana@gmail.com>​+  * ✔ Raffaele Dell’Aversana,​ <​r.dellaversana@gmail.com>​
  
 == Bibliography == == Bibliography ==
Line 192: Line 203:
  
 === 8. Modelling and reasoning with business processes and workflows (mentor: Bernardo Cuenca Grau) === === 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>​ +{{:​organisation:​sakt:​2013:​award2.jpg?​200 |}} 
-  * Robert Muthuri, <​muthuri.r@gmail.com>​ +{{:​organisation:​sakt:​2013:​best-award.png?​nolink&​100 |}} 
-  * Stefan Scheglmann, <​schegi@uni-koblenz.de>​ +  ​✔ Nahid Mahbub, <​nahid@fbk.eu>​ 
-  * Ognjen Savkovic, <​savkovic@inf.unibz.it>​ +  * ✔ Robert Muthuri, <​muthuri.r@gmail.com>​ 
-  * Laura Genga, <​l.genga@univpm.it>​+  * ✔ Stefan Scheglmann, <​schegi@uni-koblenz.de>​ 
 +  * ✔ Ognjen Savkovic, <​savkovic@inf.unibz.it>​ 
 +  * ✔ Laura Genga, <​l.genga@univpm.it>​
  
 == Bibliography == == Bibliography ==
Line 206: Line 220:
 === 9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara) === === 9. Actions representation and reasoning in ontology languages (mentor: Katia Sycara) ===
  
-  * Manuel Rodriguez, <​A00805445@itesm.mx>​ +  * ✔ Manuel Rodriguez, <​A00805445@itesm.mx>​ 
-  * Alessio Antonini, <​antonini@di.unito.it>​ +  * ✔ Alessio Antonini, <​antonini@di.unito.it>​ 
-  * Giuseppe Rizzo, <​giuseppe.rizzo1@uniba.it>​+  * ✔ Giuseppe Rizzo, <​giuseppe.rizzo1@uniba.it>​
  
 == Bibliography == == Bibliography ==
Line 217: Line 231:
 === 10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer) === === 10. Actions representation and reasoning in ontology languages (mentor: Michael Kifer) ===
  
-  * Fahad Khan, <​fahad.khan@ilc.cnr.it>​ +  * ✔ Fahad Khan, <​fahad.khan@ilc.cnr.it>​ 
-  * Asan Agibetov, <​asan.agibetov@ge.imati.cnr.it>​ +  * ✔ Asan Agibetov, <​asan.agibetov@ge.imati.cnr.it>​ 
-  * Imon Banerjee, <​imon@ge.imati.cnr.it>​+  * ✔ Imon Banerjee, <​imon@ge.imati.cnr.it>​
  
 == Bibliography == == Bibliography ==
Line 225: Line 239:
   * Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. {{:​organisation:​sakt:​2013:​19.pdf|PDF}}   * Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577. {{:​organisation:​sakt:​2013:​19.pdf|PDF}}
   * Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{:​organisation:​sakt:​2013:​20.pdf|PDF}}   * Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. KR 2006: 46-56. {{:​organisation:​sakt:​2013:​20.pdf|PDF}}
 +
 +===== Pictures =====
 +
 +(if you have any other picture, please send them to Ivan)
 +
 +{{gallery>​organisation:​sakt:​2013}}
organisation/sakt/2013/main_sakt.1390815062.txt.gz · Last modified: 2017/08/22 10:30 (external edit)