A SPARQL semantics based on datalog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4667 LNAI, Issue , 2007, Pages 160-174

  Schenk, Simon ^a  

^a University of Koblenz ^*

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONFORMAL MAPPING; DATA REDUCTION; FORMAL LANGUAGES; QUERY LANGUAGES;

DATALOG; FORMAL SEMANTICS; QUERY ANSWERING;

SEMANTIC WEB;

EID: 38149114169     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74565-5_14     Document Type: Conference Paper

References (14)

1. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Owl web ontology language reference (2004), http://www.w3.org/TR/owl-ref/
2. Berners-Lee, T.: Notation 3 (2006), http://www.w3.org/DesignIssues/ Notation3
3. Carroll, J.J., Bizer, C., Hayes, P., Stickler, P.: Named graphs, provenance and trust. In: WWW05, pp. 613-622. ACM Press, New York (2005)
4. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing. Surveys. 33(3), 374-425 (2001)
5. de Bruijn, J., Franconi, E., Tessaris, S.: Logical reconstruction of normative RDF. In: OWL: Experiences and Directions Workshop, Galway, Ireland, November 2005. CEUR Workshop Proceedings (2005), http://www.debruijn.net/ publications/owl-05.pdf
6. Decker, S.: Semantic Web Methods for Knowledge Management. Phd thesis, University of Karlsruhe (February 2002)
7. Lloyd, J.W., Topor, R.W.: Making Prolog more expressive. Journal of Logic Programming 1(3), 225-240 (1984)
8. Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH) (2006)
9. Hayes, P.: Rdf semantics, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/
10. Pérez, J., Arenas, M., Gutierrez, C.: Semantics and Complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 30-43. Springer, Heidelberg (2006)
11. Polleres, A.: From SPARQL to rules (and back). Technical report (December 2006), http://www.polleres.net/publications/GIA-TR-2006-11-28.pdf
12. Prud'hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF (2007), http://www.w3.org/TR/rdf-sparql-query/
13. Schenk, S., Staab, S.: Networked RDF Graphs. Technical report (December 2006) http://uni-koblenz.de/~sschenk/publications/2006/ngtr.pdf
14. van Gelder, A., Ross, K., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3), 620-650 (1991)