Conference Program Overview

  Monday,
3rd August
(pre-conference day)
Tuesday,
4th August
Wednesday,
5th August
8am   Registration at the conference hotel  
9am RR Opening
Keynote
Lora Aroyo: Truth is Lie: Rules & Semantics from a Crowd Perspectives
Keynote
Benny Kimelfeld: Extending Datalog Intelligence
10am
10:30 coffee break 10:30 coffee break
11am Session 1: Full paper presentations Session 2: Full paper presentations
12am Doctoral Consortium paper presentations

12:30-2pm Lunch
1pm 1-2:30pm Doctoral Consortium Lunch
2pm Keynote
Riccardo Rosati: Analysis and debugging of ontology-based data access specifications
2:30-3:45-Joint DC poster teasers presentations (RR, RuleML, RW)
3pm Address from the chairs
3:45pm Walk to keynote and Coffee Break 3:30 coffee break
4pm Registration at the conference hotel Keynote
Michael Genesereth: The Herbrand Manifesto - Thinking Inside the Box
Session 3: Presentations of technical communications
5pm

Get-together and Joint Poster Session (RR DC, RuleML, CADE)

18:30 - 19:00 Joint Business Meeting with OC chairs of RR, RuleML, RW in seminar room SR006

Closing remarks
6pm   Transfer to Dinner
7pm Joint Reception at the Botanic Garden   Joint Dinner at Restaurant "Fischerhuette"

 

Tuesday, 4th August

RR15 Sessions Tuesday 4th August
08:00-09:00   RR Registration at Seminaris Campus Hotel
 
09:00-09:30 Opening Alessandra Mileo, Balder Ten Cate
09:30-10:30 Keynote Truth is a Lie: Rules & Semantics from a Crowd Perspectives - Lora Aroyo
Chair: Alessandra Mileo
10:30-11:00 Coffee Break  
11:00-12:00 Research Session 1 Chair: TBA
11:00-11:30   Mario Alviano and Wolfgang Faber. Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms
11:30-12-00   Carmine Dodaro, Nicola Leone, Barbara Nardi and Francesco Ricca. Allotment problem in travel industry: A solution based on ASP
12:00-13:00 DC papers presentations Chair: Marco Montali
12:00-12:15   Stefan Bischof (Vienna University of Economics and Business, Austria): Improving Practical Reasoning on top of SPARQL
12:15-12:30   Davide Lanti (Free University of Bozen-Bolzano, Italy): Benchmark and Optimization of OBDA Systems
12:30-12:45   Lukas Schweizer (TU Dresden, Germany). Bounded Model Reasoning for the Semantic Web
12:45-13:00   Valentina Franzoni and Alfredo Milani (University of Perugia, Italy). Context Extraction by Multi-path Traces in Semantic Networks
13:00-14:30 Lunch Doctoral Consortium Lunch
Mentors: Magdalena Ortiz and Riccardo Rosati
14:30-15:45 DC poster teasers (RR, RuleML, RW) Chair: Marco Montali, Gregorz
15:45-16:00 Coffee Break Walk to Keynote and Coffee Break
16:00-17:00 Joint Keynote The Herbrandt Manifesto - Thinking Inside the box - Michael Genesereth (in lecture hall of Computer Science building, Takustraße 9)
17:00-19:30 Joint Poster Session  
18:30 - 19:00 Joint Business Meeting with RR / RuleML / RW organization chairs (in seminar room SR006, Computer Science building, Takustraße 9)
19:00 - 19:30 RR Steering Committee meeting   (closed, in SR 005)

 

Wednesday, 5th August

08:00-09:30   RR Registration at Seminaris Campus Hotel
09:30-10:30   Extending Datalog Intelligence - Benny Kimelfeld
Chair: Balder ten Cate
10:30-11:00 Coffee Break  
11:00-12:30 Research Session 2 Chair: TBA
11:00-11:30   Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria. Web ontology representation and reasoning via fragments of set theory
11:30-12-00   Reza Basseda and Michael Kifer. Planning with Regression Analysis in Transaction Logic
12:00-12:30   Ana Sofia Gomes and Jose Julio Alferes. A procedure for an Event-Condition-Transaction language
12:30-14:00 Lunch  
14:00-15:00 Keynote Analysis and debugging of ontology-based data access specifications - Riccardo Rosati
Chair: Alessandra Mileo
15:00-15:30 Announcements Alessandra Mileo, Balder ten Cate
15:30-16:00 Coffee Break Coffee Break
16:00-17:00 TC Session Chair: Francesco Ricca
16:00-16:15   Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus and Guohui Xiao. A Rule-based Framework for Creating Instance Data from OpenStreetMap
16:15-16:30   Stefano Germano, Thu-Le Pham and Alessandra Mileo. Web Stream Reasoning in Practice: on the Expressivity vs. Scalability tradeoff
16:30-16:45   Weronika Adrian, Nicola Leone and Marco Manna. Semantic Views of Homogeneous Unstructured Data
16:45-17:00   Giovanni Adorni, Marco Maratea, Laura Pandolfo and Luca Pulina. An Ontology for Historical Research Documents
17:30-18:00 Closing Facts and Figures - Alessandra Mileo, Balder ten Cate
18:00 Transfer to Dinner  
19:00 Dinner Dinner at Restaurant Fischerhuette

 

Additional Pre-Program

Saturday, Aug. 1st

18:30-        Social Event: Berlin Downtown Tour

Sunday, Aug. 2nd

9:00-17:30 Reasoning Web and RuleML Tutorial Day (can be freely attended by RR participants)

19:30-22:30 Social Event: Sightseeing Boat Tour

 

Accepted papers

Full Papers:

Mario Alviano and Wolfgang Faber. Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms

Reza Basseda and Michael Kifer. Planning with Regression Analysis in Transaction Logic

Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria. Web ontology representation and reasoning via fragments of set theory

Carmine Dodaro, Nicola Leone, Barbara Nardi and Francesco Ricca. Allotment problem in travel industry: A solution based on ASP

Ana Sofia Gomes and Jose Julio Alferes. A procedure for an Event-Condition-Transaction language

Technical Communications:

Giovanni Adorni, Marco Maratea, Laura Pandolfo and Luca Pulina. An Ontology for Historical Research Documents

Weronika Adrian, Nicola Leone and Marco Manna. Semantic Views of Homogeneous Unstructured Data

Thomas Eiter, Jeff Z. Pan, Patrik Schneider, Mantas Simkus and Guohui Xiao. A Rule-based Framework for Creating Instance Data from OpenStreetMap

Stefano Germano, Thu-Le Pham and Alessandra Mileo. Web Stream Reasoning in Practice: on the Expressivity vs. Scalability tradeoff

Doctoral Consortium

Stefan Bischof. Improve Practical Reasoning on top of SPARQL   

Davide Lanti. Benchmark and Optimization of OBDA Systems

Lukas Schweizer. Knowledge Representation Formalisms under Non-standard Semantics -- Computational Properties and Practical Reasoning

Thinh Dong. Dynamic revision of ontologies

Valentina Franzoni and Alfredo Milani. Context Extraction by Multi-path Traces in Semantic Networks

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