For the detailed program with the paper presentations schedule, please download the program brochure here.

October 25

08:15-08:45 Breakfast (provided)
08:45-09:00 Welcome and Opening (Michael Kifer, Terry Swift, Axel Polleres)

09:00-10:30 Session 1: Invited talk (Chair: Terry Swift)

Robert Kowalski
Integrating Logic Programming and Production Systems with Abductive Logic Programming Agents (PPT)

10:30-11:00 Coffee Break

11:00-12:30 Session 2: Proof/Deduction procedures (Chair: Pascal Hitzler)

11:00-11:30 Stephan Grimm and Pascal Hitzler. A Preferential Tableaux Calculus for Circumscriptive ALCO (PPT)
11:30-12:00 Stijn Heymans, Cristina Feier and Thomas Eiter. A Reasoner for Simple Conceptual Logic Programs (PPT)
12:00-12:30 Simon Brodt, Francois Bry and Norbert Eisinger. Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered (PPT)

12:30-14:00 Lunch (provided)

14:00-15:30 Session 3: Invited Tutorial (Chair: Axel Polleres)

Thomas Lukasiewicz
Uncertainty Reasoning for the Semantic Web (PPT)

15:30-16:00 Coffee Break

16:00-17:30 Session 4: Scalability (Chair: Jeff Pan)

16:00-16:30 Anne Schlicht and Heiner Stuckenschmidt. Distributed Resolution for Expressive Ontology Networks (PPT)
16:30-17:00 Gergely Luk√°csy and Peter Szeredi. Scalable Web Reasoning using Logic Programming Techniques (PPT)
17:00-17:30 Aidan Hogan and Stefan Decker. On the ostensibly silent 'W' in OWL RL

October 26

08:15-09:00 Breakfast (provided)

09:00-10:30 Session 1: Invited Talk (Chair: Michael Kifer)

Benjamin Grossof
SILK: Higher Level Rules with Defaults and Semantic (PPT)

10:30-11:00 Coffee Break

11:00-12:30 Session 2: Uncertainty (Chair: Thomas Lukasiewicz)

11:00-11:30 Steven Schockaert, Jeroen Janssen, Dirk Vermeir and Martine De Cock. Answer Sets in a Fuzzy Equilibrium Logic (PPT)
11:30-12:00 Hui Wan. Belief Logic Programming with Cyclic Dependencies (PPT)
12:00-12:30 Umberto Straccia. A Minimal Deductive System for General Fuzzy RDF (PPT)

12:30-14:00 Lunch (provided)

14:00-15:30 Session 3: Knowledge Amalgamation & Querying(Chair: Georg Lausen)

14:00-14:30 Christian Meilicke and Heiner Stuckenschmidt. An Efficient Method for Computing Alignment Diagnoses (PPT)
15:30-15:00 Yue Ma and Pascal Hitzler. Paraconsistent reasoning for OWL 2 (PPT)
15:00-15:30 Anastasia Analyti, Grigoris Antoniou and Carlos Viegas Damasio. A Formal Theory for Modular ERDF Ontologies

15:30-16:00 Coffee Break

16:00-17:30 Session 4: Knowledge Querying, Rules for Decision Support, Production Systems (Chair: Axel Polleres)

16:00-16:30 Franois Bry, Benedikt Linse and Tim Furche. The Perfect Match: RPL and RDF Rule Languages (PPT)
16:30-17:00 Matt Mouley Bouamrane, Alan Rector and Martin Hurrell. A Hybrid Architecture for a Preoperative Decision Support System using a Rule Engine and a Reasoner on a Clinical Ontology
17:00-17:30 Martin Rezk and Jos de Bruijn. A Logic Based Approach to the Static Analysis of Production Systems (PPT)

17:30-18:00 Closing and Best Paper Award