Querying incomplete information in RDF with SPARQL

被引:11
作者
Nikolaou, Charalampos [1 ]
Koubarakis, Manolis [1 ]
机构
[1] Univ Athens, Dept Informat & Telecommun, Athens 15784, Greece
关键词
Incomplete information; Semantic Web; RDF; SPARQL; DEDUCTIVE DATABASES; CONCRETE DOMAINS; COMPLEXITY; LOGIC; FRAMEWORK; SEMANTICS;
D O I
10.1016/j.artint.2016.04.005
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Incomplete information has been studied in-depth in relational databases and knowledge representation. In the context of the Web, incomplete information issues have been studied in detail for XML, but very few papers exist that do the same for RDF. In this paper we make the first general proposal for extending RDF with the ability to represent property values that exist but are unknown or partially known using constraints. Following ideas from incomplete information literature, we develop a semantics for this extension of RDF, called RDFi, and study query evaluation for SPARQL. We transfer the concept of representation systems from incomplete information in relational databases to the case of RDFi and identify two very important fragments of SPARQL that can be used to define a representation system for RDFi. The first corresponds to the monotone fragment of graph patterns that uses only the operators AND, UNION, and FILTER. The second corresponds to the well-designed graph patterns, that is, a fragment that uses only operators AND, FILTER, and OPT, and enjoys interesting properties that make query evaluation efficient. We prove that each of the two fragments can be used to define a representation system for CONSTRUCT queries without blank nodes in their templates. We also define the fundamental concept of certain answers to SPARQL queries over RDFi databases and present an algorithm for its computation. Then, we present complexity results for computing certain answers by considering equality, temporal, and spatial constraint languages and the class of CONSTRUCT queries of our representation systems. Finally, we demonstrate the usefulness of RDFi in geospatial Semantic Web applications by giving a number of examples and comparing the modeling capabilities of RDFi with related formalisms found in the literature. (C) 2016 Elsevier B.V. All rights reserved.
引用
收藏
页码:138 / 171
页数:34
相关论文
共 86 条
[1]   ON THE REPRESENTATION AND QUERYING OF SETS OF POSSIBLE WORLDS [J].
ABITEBOUL, S ;
KANELLAKIS, P ;
GRAHNE, G .
THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) :159-187
[2]  
Abiteboul S., 1998, Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS 1998, P254, DOI 10.1145/275487.275516
[3]  
Abiteboul S, 1995, FDN DATABASES
[4]   Representing and querying XML with incomplete information [J].
Abiteboul, Serge ;
Segoufin, Luc ;
Vianu, Victor .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2006, 31 (01) :208-254
[5]   Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues [J].
Alviano, Mario ;
Faber, Wolfgang ;
Leone, Nicola ;
Manna, Marco .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 :701-718
[6]  
Angles R, 2008, LECT NOTES COMPUT SC, V5318, P114, DOI 10.1007/978-3-540-88564-1_8
[7]  
[Anonymous], NUMERICAL METHODS SO, DOI DOI 10.1007/978-1-4612-1984-2_19
[8]  
[Anonymous], 1991, Lecture Notes in Computer Science
[9]  
[Anonymous], 2002, 21 ACM SIGACT SIGMOD, DOI DOI 10.1145/543613.543644
[10]  
[Anonymous], 1977, Handbook of Mathematical Logic