Program

 

The RW 2015 Summer School will take place from July 31st to August 4th, 2015.

 

Friday, July 31st

9:00-10:30 All About Fuzzy Description Logics and Applications (Umberto Straccia)

10:30-11:00 Coffee Break

11:00-12:30 All About Fuzzy Description Logics and Applications (Umberto Straccia)

12:30-14:00 Lunch Break

14:00-15:30 Modal Higher Order Logic (Christoph Benzmüller and Bruno Woltzenlogel Paleo)

15:30-16:00 Coffee Break

16:00-17:30 Modal Higher Order Logic (Christoph Benzmüller and Bruno Woltzenlogel Paleo)

 

Saturday, Aug. 1st

9:00-10:30  Stream Reasoning (Alessandra Mileo)

10:30-11:00 Coffee Break

11:00-12:30  Stream Reasoning (Alessandra Mileo)

12:30-14:00 Lunch Break

14:00-15:30 Recommender Systems and Linked Open Data (Tommaso Di Noia)

15:30-16:00 Coffee Break

16:00-17:30 Recommender Systems and Linked Open Data (Tommaso Di Noia)

18:30-        Social Event: Berlin Downtown Tour
Start Point: Königin-Luise-Str. 24 (next to the gas station) Map Location 

21:30 Arrival at Prater Biergarten Map Location

 

Sunday, Aug. 2nd

9:00-10:30 The TPTP World of Automated Theorem Proving (Geoff Sutcliffe)

10:30-11:00 Coffee Break

11:00-12:30 PSOA RuleML: Integrated Object-Relational Data and Rules (Harold Boley)

12:30-14:00 Lunch Break

14:00-15:30  Powerful Practical Semantic Rules in Rulelog: Fundamentals and Recent Progress (Benjamin Grosof, Michael Kifer, Paul Fodor)

15:30-16:00 Coffee Break

16:00-17:30 Legal Norms Modelling with OASIS LegalRuleML (Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner)

19:30-22:30 Social Event: Sightseeing Boat Tour (click for more information)

 

Monday, Aug. 3rd

9:00-10:30 Recent Advances in Datalog +/- (Georg Gottlob, Michael Morak and Andreas Pieris)

10:30-11:00 Coffee Break

11:00-12:30 Recent Advances in Datalog +/- (Georg Gottlob, Michael Morak and Andreas Pieris)

12:30-14:00 Lunch Break

14:00-15:30 Ontology-Mediated Query Answering With Data-Tractable Description Logics (Meghyn Bienvenu and Magdalena Ortiz)

15:30-16:00 Coffee Break

16:00-17:30 Ontology-Mediated Query Answering With Data-Tractable Description Logics (Meghyn Bienvenu and Magdalena Ortiz)

19:00-21:00 Social Event: Reception at the Botanic Garden

 

Tuesday, Aug. 4th

9:00-10:30  Towards Embedded Answer Set Solving (Torsten Schaub)

10:30-10:45 Coffee Break

10:45-11:45 Towards Embedded Answer Set Solving (Torsten Schaub)

11:45-12:30 Lunch Break

12:30-14:30  Answer Set Programming: A tour from the basics to advanced development tools and industrial applications (Nicola Leone and Francesco Ricca)

14:30-15:45            Poster Teasers

15:45-16:00 Coffee Break

16:00-17:00   FOL Herbrand Semantics / Herbrand Manifesto (Michael Genesereth)

17:00-19:30 Social Event: Get-together Poster Session with drinks and snacks

18:30-19:00 Joint RR / RuleML / RW Open Business Meeting with the chairs and participants (in seminar room SR 006 - parallel to the poster session)

 

 

Wednesday, Aug. 5th (not part of the Summer School)

9:00-18:00 RuleMLRR and FOMI program

If you want to attend the conference and workshop program you can buy a one day (FOMI) ticket for 150 EUR, which gives you access to all three co-located events RuleML, RR and FOMI.

12:30-18:00 Additional Excursions

If you want to attend the additional excursions you can buy excursion tickets at the CADE registration.

19:30-        Joint Conference Dinner

If you want to attend the conference dinner you can buy a dinner ticket for 75,- EUR at the CADE registration.

 

Joint Poster Session (RuleML 2015, Reasoning Web Summer School 2015 and RR 2015)

Alexei Morozov, Alexander Polupanov and Olga Sushkova. An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language
Tara Athan, Harold Boley and Adrian Paschke. RuleML 1.02: Deliberation, Reaction and Consumer Families
Joao Moreira, Luís Ferreira Pires, Marten Van Sinderen and Patrícia Dockhorn Costa. Developing Situation-Aware Applications for Disaster Management with a Distributed Rule-Based platform
Dumitru Roman. DataGraft
Christopher Krauss Time-dependent User Preference Data for Context-sensitive Recommendation Engines
Nikoleta Tsabanaki: Le Sommelier - A prioritised Multi-Criteria Recommendation System for Wine Matching Using ASP
Lukas Schweizer Bounded Model Reasoning for the Semantic Web
Valentina Franzoni Semantic Extraction Models for Collaborative Multimedia
Davide Lanti Benchmark and Optimization of OBDA Systems
Le Thi Anh Thu Pham A scalable adaptive method for complex reasoning over semantic data streams
Yasser EL MADANI EL ALAMI Towards an effective collaborative filtering approach based on experts in social networks
Jaroslaw Bak Querying Relational Databases with RuQAR
Jalil ELHASSOUNI Integration of risk management data based ontologies
Tuan Anh PHAM Rule-BasedBusiness Logic Layer Development
Ludwig Ostermayer Seamless Cooperation of Java and Prolog with CAPJA
Gen Zou Formalizing the CLIPS Car Problem in Positional-Slotted Object-Applicative RuleML and Transforming it to Horn Logic
Stefan Bischof Improving Practical Reasoning on top of SPARQL
Fahad Khan Using Ontologies to Model Polysemy in Lexical Resources