PROGRAM
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.
TIMETABLE
Wednesday, 22nd of September (overlap with SWAP)
|
11:00
|
Evren Sirin (keynote) - Data Validation with OWL Integrity Constraints |
|
12:30
|
Lunch |
|
14:00
|
Axel Polleres (tutorial) - SPARQL 1.1: new features and friends (OWL2, RIF) – part 1 |
|
15:30
|
Coffee break |
|
16:00
|
Axel Polleres (tutorial) - SPARQL 1.1: new features and friends (OWL2, RIF) – part 2 |
|
17:30
|
End |
|
19:00
|
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 |
INVITED TALKS
Georg Gottlob, Oxford University, UK.
Date: September 23, 14:00-15:30
Abstract: 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.
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.
TUTORIALS
Axel Polleres, Digital Enterprise Research Institute, National University of Ireland, Galway
Date: September 22, 14:00-17:30
Abstract: 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.