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
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.
8:00- 9:00 Registration
9:00-10:30 Session (2L+3S)
10:30-11:00 Coffee break
11:00-12:30 Session (2L+3S)
14:00-16:00 Session (2L+6S)
16:00-16:30 Coffee break
16:30-17:30 Session (panel)
9:00-10:30 Poster session
10:30-11:00 Coffee break
14:00-15:30 Tutorial (part 1)
15:30-16:00 Coffee break
16:00-17:30 Tutorial (part 2)
19:00-... Reception at Weingalerie