RR2010 will start on September 22 at 11:00, and will end on September 24 at 14:00 after lunch. The detailed conference program will be available soon.



Wednesday, 22nd of September (overlap with SWAP)

Evren Sirin (keynote) - Data Validation with OWL Integrity Constraints
Axel Polleres (tutorial) - SPARQL 1.1: new features and friends (OWL2, RIF) – part 1
Coffee break
Axel Polleres (tutorial) - SPARQL 1.1: new features and friends (OWL2, RIF) – part 2
Welcome reception

Thursday, 23rd of September

09:00 Hui Wan, Michael Kifer and Benjamin Grosof - Defeasibility in Answer Set Programs via Argumentation Theories
09:30 Frederick Maier - Extending Paraconsistent SROIQ
10:00 Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi and Domenico Fabio Savo - Inconsistency-tolerant Semantics for Description Logics
10:30 Coffee break
11:00 Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stuehmer, Nenad Stojanovic and Rudi Studer - A Rule-Based Language for Complex Event Processing and Reasoning
11:30 Ankesh Khandelwal, Jie Bao, Lalana Kagal, Ian Jacobi, Li Ding and James Hendler - Analyzing the AIR Language: A Semantic Web (Production) Rules Language
12:00 Markus Krötzsch, Sebastian Rudolph and Peter Schmitt - On the Semantic Relationship between Datalog and Description Logics
12:30 Lunch
14:00 Georg Gottlob (keynote) - Query Answering under Non-Guarded Rules in Datalog+/-
15:30 Short break
15:35 Stefano Bragaglia, Davide Sottara, Federico Chesani and Paola Mello - A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules
15:45 Carsten Keßler - A RESTful SWRL Rule Editor
15:55 Loris Bozzato and Mauro Ferrari - Composition of Semantic Web Services in a Constructive Description Logic
16:05 Giacomo Fiumara, Massimo Marchi, ROSAMARIA PAGANO and Alessandro Provetti - A rule-based system for end-user e-mail annotations
16:15 Michael Meier - Phd Proposal: On the Termination of the Chase Algorithm
16:25 Harald Zauner, Benedikt Linse, Tim Furche and François Bry - A RPL through RDF: Expressive Navigation in RDF Graphs
16:30 Philipp Obermeier, Marco Marano and Axel Polleres - Processing RIF and OWL2RL within DLVHEX
16:35 Coffee break + Poster session
17:30 End
17:40 Sightseeing in Bressanone
19:30 Social dinner

Friday, 24th of September

09:00 Martin Knechtel and Heiner Stuckenschmidt - Query-Based Access Control for Ontologies
09:30 Nicola Fanizzi, Claudia d'Amato and Floriana Esposito - Learning to Rank Individuals in Description Logics Using Kernel Perceptrons
09:50 Carlos Viegas Damásio, Anastasia Analyti and Grigoris Antoniou - Embeddings of Simple Modular Extended RDF
10:10 Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski and Michael Wessel - A Probabilistic Abduction Engine for Media Interpretation based on Ontologies
10:30 Coffee break
11:00 Reinhard Pichler, Axel Polleres, Sebastian Skritek and Stefan Woltran - Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries
11:30 Fernando Naufel do Amaral - Usability of a Visual Language for DL Concept Descriptions
12:00 Klara Weiand, Steffen Hausmann, Tim Furche and François Bry - KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
12:20 Jorge Coelho, Besik Dundua, Mário Florido and Temur Kutsia - A Rule-Based Approach to XML Processing and Web Reasoning
12:40 Jia Tao, Giora Slutzki and Vasant Honavar - Secrecy-preserving Query Answering for EL
13:00 Lunch



Datalog±: Rule-Based Languages for Ontological Reasoning and Query Answering

Georg Gottlob, Oxford University, UK.
Date: September 23, 14:00-15:30

I shall report on a recently introduced family of Datalog-based languages, called Datalog±, which is a new framework for tractable ontology querying, and for a variety of other applications. Datalog± extends plain Datalog by features such as existentially quantified rule heads, and, at the same time, restricts the rule bodies so to achieve decidability and tractability. I will review a number of theoretical results and show how Datalog± relates to both Database Dependency Theory and the Guarded Fragment of first order logic. I will show that popular tractable description logics translate into Datalog± and illustrate how this formalism can be used in the context of web data extraction, data exchange, and other applications.

Short Bio: Georg Gottlob is a Professor of Computing Science at Oxford University and an Adjunct Professor at TU Wien. His interests include data extraction, database theory, graph decomposition techniques, AI, knowledge representation, logic and complexity. Gottlob has received the Wittgenstein Award from the Austrian National Science Fund, is an ACM Fellow, an ECCAI Fellow, a Fellow of the Royal Society  and a member of the Austrian Academy of Sciences, the German National Academy of Sciences, and the Academia Europaea. He chaired the Program Committees of IJCAI 2003 and ACM PODS 2000, was the Editor in Chief of the Journal Artificial Intelligence Communications, and is currently a member of the editorial boards of journals, such as CACM and JCSS. He is the main founder of Lixto, a company that provides tools and services for web data extraction.

Data Validation with OWL Integrity Constraints

Evren Sirin, Clark & Parsia, USA.
Date: September 22, 11:00-12:30

Abstract: Data validation is an important part of data integration and analysis tasks. In this talk, I will describe how Web Ontology Language (OWL) can be used as an expressive language for representing constraints that must be satisfied by instance data. Specifically, the talk will focus on the issues caused by the Open World Assumption (OWA) and the absence of the Unique Name Assumption (UNA). I will present an Integrity Constraint (IC) semantics for OWL axioms and discuss how it relates to other similar proposals and epistemic Description Logics. A constraint validation algorithm based on reduction to conjunctive queries will also be presented. With the IC semantics approach, ontology modelers can choose which axioms will be interpreted with IC semantics rather than standard OWL semantics and thus combine open world reasoning with closed world constraint validation in a flexible way.

Short Bio: Dr. Evren Sirin is the Chief Tecnical Officer of Clark & Parsia, LLC. He is responsible for the ongoing design, maintenance, and implementation of the OWL 2 Description Logic Reasoner, Pellet. His areas of expertise
include automated reasoning for Web ontologies, Description Logic (DL) reasoning, and AI planning. Before joining C&P, Dr. Sirin was a graduate research assistant at the MINDSWAP research group directed by Prof. Jim Hendler and received his PhD thesis in Computer Science from University of Maryland, College Park in 2006. He authored many publications in top-tier journals and conferences about the Semantic Web and contributed to the standardization efforts for OWL and OWL-S.


SPARQL1.1: new features and friends (OWL2, RIF)

Axel Polleres, Digital Enterprise Research Institute, National University of Ireland, Galway
Date: September 22, 14:00-17:30

In this Tutorial we will give an overview of new features in SPARQL 1.1 which the W3C is currently working on, as well as on the interplay with its "neighbour standards", OWL2 and RIF. We will also give a rough overview of existing implementations to play around with.

Short Bio:
Axel Polleres obtained his doctorate in Computer Science at the Vienna University of Technology in 2003. He worked at University Innsbruck from 2003-2006; at Universidad Rey Juan Carlos, Madrid from 2006-2007; and joined the National Univeristy of Ireland, Galway, in 2007 where he leads DERI’s Semantic Search research stream and heads the research unit for reasoning and querying. His research is focused on querying and reasoning about Ontologies, rules languages, logic programming, Semantic Web technologies and their applications. Axel has published more than 70 articles in journals, books, conference and workshop contributions on these topics. He actively contributes to international standardisation efforts such as the W3C’s Rule Interchange Format (RIF) working group and the W3C SPARQL working group, which he co-chairs.