For the detailed program with the paper presentations schedule, please download the program brochure here.
October 25
09:00-10:30 Session 1: Invited talk (Chair: Terry Swift)
Robert Kowalski10: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)12:30-14:00 Lunch (provided)
14:00-15:30 Session 3: Invited Tutorial (Chair: Axel Polleres)
Thomas Lukasiewicz15: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 Grossof10: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)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-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)17:30-18:00 Closing and Best Paper Award