Quelltext der Seite Ensuring Soundness for SPARQL with Negation Using Completeness Statements

{{Veranstaltung
|Titel EN=Ensuring Soundness for SPARQL with Negation Using Completeness Statements
|Beschreibung EN=As RDF generally follows the Open-World Assumption, the use of negation in SPARQL queries might lead to unsound answers. Completeness statements have been proposed as metadata specifying that certain kinds of information are entirely recorded in an RDF data set. In this work, we leverage completeness statements to check whether we can guarantee soundness of query answering even when negation is used in SPARQL. We distinguish between the soundness of a specific answer of a graph pattern and the soundness of a graph pattern as a whole. We provide a formalization and characterize the problem of soundness checking via reduction to completeness checking. We also conduct an experimental evaluation to demonstrate the feasibility of our framework.
|Veranstaltungsart=Vortrag
|Start=2016/04/27 14:50:00
|Ende=2016/04/27 15:50:00
|Raum=APB 3027
|Vortragender=Fariz Darari
|Forschungsgruppe=Computational Logic, Wissensbasierte Systeme
|Event series=KBS Seminar
|In News anzeigen=1
}}