skip to main content
10.1145/1242572.1242679acmconferencesArticle/Chapter ViewAbstractPublication PagesthewebconfConference Proceedingsconference-collections
Article

From SPARQL to rules (and back)

Published: 08 May 2007 Publication History

Abstract

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.

References

[1]
C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambr.Univ. Press, 2003.
[2]
D. Beckett. Turtle - Terse RDF Triple Language. Tech. Report, 4 Apr. 2006.
[3]
J. de Bruijn, A. Polleres, R. Lara, D. Fensel. OWL DL vs. OWL Flight: Conceptual modeling and reasoning for the semantic web. In Proc. WWW-2005, 2005.
[4]
J. Carroll, C. Bizer, P. Hayes, P. Stickler. Named graphs. Journal of Web Semantics, 3(4), 2005.
[5]
R. Cyganiak. A relational algebra for sparql. Tech. Report HPL-2005-170, HP Labs, Sept. 2005.
[6]
J. de Bruijn, E. Franconi, S. Tessaris. Logical reconstruction of normative RDF. OWL: Experiences and Directions Workshop (OWLED-2005), 2005.
[7]
T. Eiter, G. Ianni, A. Polleres, R. Schindlauer, H. Tompits. Reasoning with rules and ontologies. Reasoning Web 2006, 2006. Springer
[8]
T. Eiter, G. Ianni, R. Schindlauer, H. Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. Int.l Joint Conf. on Art. Intelligence (IJCAI), 2005.
[9]
W. Faber, N. Leone, G. Pfeifer. Recursive aggregates in disjunctive logic programs: Semantics and complexity. Proc. of the 9th European Conf. on Art. Intelligence (JELIA 2004), 2004. Springer.
[10]
A. V. Gelder, K. Ross, J. Schlipf. Unfounded sets and well-founded semantics for general logic programs. 7th ACM Symp. on Principles of Database Systems, 1988.
[11]
M. Gelfond, V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365--385, 1991.
[12]
B. N. Grosof, I. Horrocks, R. Volz, S. Decker. Description logic programs: Combining logic programs with description logics. Proc. WWW-2003, 2003.
[13]
P. Hayes. RDF semantics. W3C Recommendation, 10 Feb. 2004. http://www.w3.org/TR/rdf-mt/
[14]
H. J. ter Horst. Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics, 3(2), July 2005.
[15]
J. W. Lloyd, R. W. Topor. Making prolog more expressive. Journal of Logic Programming, 1(3):225--240, 1984.
[16]
J. Pérez, M. Arenas, C. Gutierrez. Semantics and complexity of SPARQL. The Semantic Web - ISWC 2006, 2006. Springer.
[17]
A. Polleres, C. Feier, A. Harth. Rules with contextually scoped negation. Proc. 3rd European Semantic Web Conf. (ESWC2006), 2006. Springer.
[18]
E. Prud'hommeaux, A. S. (ed.). SPARQL Query Language for RDF, W3C Working Draft, 4 Oct. 2006. http://www.w3.org/TR/rdf-sparql-query/
[19]
R. Rosati. Reasoning with Rules and Ontologies. Reasoning Web 2006, 2006. Springer.
[20]
SQL-99. Information Technology - Database Language SQL- Part 3: Call Level Interface (SQL/CLI). Technical Report INCITS/ISO/IEC 9075-3, INCITS/ISO/IEC, Oct. 1999. Standard specification.
[21]
J. D. Ullman. Principles of Database and Knowledge Base Systems. Computer Science Press, 1989.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
WWW '07: Proceedings of the 16th international conference on World Wide Web
May 2007
1382 pages
ISBN:9781595936547
DOI:10.1145/1242572
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. SPARQL
  2. datalog
  3. rules

Qualifiers

  • Article

Conference

WWW'07
Sponsor:
WWW'07: 16th International World Wide Web Conference
May 8 - 12, 2007
Alberta, Banff, Canada

Acceptance Rates

Overall Acceptance Rate 1,899 of 8,196 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)47
  • Downloads (Last 6 weeks)11
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Semantics and canonicalisation of SPARQL 1.1Semantic Web10.3233/SW-21287113:5(829-893)Online publication date: 18-Aug-2022
  • (2021)Computing how-provenance for SPARQL queries via query rewritingProceedings of the VLDB Endowment10.14778/3484224.348423514:13(3389-3401)Online publication date: 28-Oct-2021
  • (2020)Pruning external minimality checking for answer set programs using semantic dependenciesArtificial Intelligence10.1016/j.artint.2020.103402(103402)Online publication date: Oct-2020
  • (2020)The Virtual Knowledge Graph System OntopThe Semantic Web – ISWC 202010.1007/978-3-030-62466-8_17(259-277)Online publication date: 2-Nov-2020
  • (2019)An Efficient Index for RDF Query ContainmentProceedings of the 2019 International Conference on Management of Data10.1145/3299869.3319864(1499-1516)Online publication date: 25-Jun-2019
  • (2019)Tuning Fuzzy SPARQL Queries in a Fuzzy Logic Programming Environment2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ-IEEE.2019.8858958(1-7)Online publication date: Jun-2019
  • (2018)On the satisfiability problem of patterns in SPARQL 1.1Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence10.5555/3504035.3504285(2054-2061)Online publication date: 2-Feb-2018
  • (2018)Semantic data integration on the web of thingsProceedings of the 8th International Conference on the Internet of Things10.1145/3277593.3277609(1-8)Online publication date: 15-Oct-2018
  • (2018)Expressive Languages for Querying the Semantic WebACM Transactions on Database Systems10.1145/323830443:3(1-45)Online publication date: 16-Nov-2018
  • (2018)DatalogDeclarative Logic Programming10.1145/3191315.3191317(3-100)Online publication date: 1-Sep-2018
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media