Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Semantics and complexity of SPARQL
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Embedding SPARQL into XQuery/XSLT
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 17th international conference on World Wide Web
A Novel Approach for Practical Semantic Web Data Management
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Rules and Ontologies for the Semantic Web
Reasoning Web
MashQL: a query-by-diagram topping SPARQL
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Taming Existence in RDF Querying
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The Expressive Power of SPARQL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
RDFS Reasoning and Query Answering on Top of DHTs
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
On the Semantics of Trust and Caching in the Semantic Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Proceedings of the 2009 ACM symposium on Applied Computing
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
A Rule System for Querying Persistent RDFS Data
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Semantics and complexity of SPARQL
ACM Transactions on Database Systems (TODS)
Semantics preserving SPARQL-to-SQL translation
Data & Knowledge Engineering
Querying for provenance, trust, uncertainty and other meta knowledge in RDF
Web Semantics: Science, Services and Agents on the World Wide Web
ANGIE: active knowledge for interactive exploration
Proceedings of the VLDB Endowment
Agent Inferencing Meets the Semantic Web
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
The Perfect Match: RPL and RDF Rule Languages
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Enabling ontology evolution in data integration
Proceedings of the 2010 EDBT/ICDT Workshops
SPARQL++ for mapping between RDF vocabularies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Enabling advanced and context-dependent access control in RDF stores
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Logical foundations of (e)RDF(S): complexity and reasoning
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
XSPARQL: traveling between the XML and RDF worlds - and avoiding the XSLT pilgrimage
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Foundations of SPARQL query optimization
Proceedings of the 13th International Conference on Database Theory
Active knowledge: dynamically enriching RDF knowledge bases by web services
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
ECDL'09 Proceedings of the 13th European conference on Research and advanced technology for digital libraries
RDFProv: A relational RDF store for querying and managing scientific workflow provenance
Data & Knowledge Engineering
Technically approaching the semantic web bottleneck
International Journal of Web Engineering and Technology
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
Learning the emergent knowledge from annotated blog postings
Web Semantics: Science, Services and Agents on the World Wide Web
SPARQL1.1: new features and friends (OWL2, RIF)
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Analyzing the AIR language: a semantic web (production) rule language
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Modelling probabilistic inference networks and classification in probabilistic datalog
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Loop-separable programs and their first-order definability
Artificial Intelligence
Querying semantic web data with SPARQL
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
What are real SPARQL queries like?
Proceedings of the International Workshop on Semantic Web Information Management
Pushing efficient evaluation of HEX programs by modular decomposition
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Answer set programming at a glance
Communications of the ACM
Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Static analysis and optimization of semantic web queries
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Foundational aspects of semantic web optimization
PhD '12 Proceedings of the on SIGMOD/PODS 2012 PhD Symposium
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
Assembling rule mashups in the semantic web
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
How (well) do datalog, SPARQL and RIF interplay?
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Static analysis and optimization of semantic web queries
ACM Transactions on Database Systems (TODS) - Invited papers issue
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
A variant of earley deduction with partial evaluation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
An integrated environment for reasoning over ontologies via logic programming
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Data & Knowledge Engineering
| Hi-index | 0.02 |
As the data and ontology layers of the Semantic Web stack have achieved a certain level of maturity in standard recommendations such as RDF and OWL, the current focus lies on two related aspects. On the one hand, the definition of a suitable query language for RDF, SPARQL, is close to recommendation status within the W3C. The establishment of the rules layer on top of the existing stack on the other hand marks the next step to be taken, where languages with their roots in Logic Programming and Deductive Databases are receiving considerable attention. The purpose of this paper is threefold. First, we discuss the formal semantics of SPARQLextending recent results in several ways. Second, weprovide translations from SPARQL to Datalog with negation as failure. Third, we propose some useful and easy to implement extensions of SPARQL, based on this translation. As it turns out, the combination serves for direct implementations of SPARQL on top of existing rules engines as well as a basis for more general rules and query languages on top of RDF.