Claudio Gutierrez
ABSTRACT
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework (RDF). RDF resembles a subset of binary first-order logic including the ability to refer to anonymous objects. Its extended version, RDFS, supports reification, typing and inheritance. These features introduce new challenges into the formal study of sets of RDF/RDFS statements and languages for querying them. Although several such query languages have been proposed, there has been little work on foundational aspects. We investigate these, including computational aspects of testing entailment and redundancy. We propose a query language with well-defined semantics and study the complexity of query processing, query containment, and simplification of answers.
- A. V. Aho, M. R. Garey, J. D. Ullman, The transitive reduction of a directed graph, SIAM J. Comput. 1 (1972) 131--137.Google Scholar
Digital Library
- S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley Publishing Co., 1995. Google ScholarDigital Library
- F. Baader, T. Nipkow, Term Rewriting and All That, Cambridge Univ. Press, 1998. Google ScholarCross Ref
- J. Broeskstra, A. Kampman, SeRQL: A Second Generation RDF Query Language, SWAD-Europe Workshop on Semantic Web Storage and Retrieval, 13--14 November 2003, Vrije Universiteit, Amsterdam, Netherlands.Google Scholar
- A. Bonner, Hypothetical Datalog: Complexity and Expressibility. Proceedings ICDT 1988, 144--160. Google ScholarDigital Library
- Y. Kanza, W. Nutt, Y. Sagiv, Queries with incomplete answers over semistructured data, Proceedings PODS 1999, 227--236. Google ScholarDigital Library
- R. Fagin, Ph. G. Kolaitis, Data Exchange: Getting to the Core, Proceedings PODS 2003, 90--101. Google ScholarDigital Library
- D. M. Gabbay, U. Reyle, N-Prolog: an Extension of Prolog with Hypothetical Implications. I, Journal of Logic Programming (JLP), 1(4):319--355, 1984.Google ScholarCross Ref
- A. Gomez-Perez, M. C. Suarez-Figueroa, Results of Taxonomic Evaluation of RDF(S) and DAML+OIL Ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platforms Import Services, II ISWC Workshop on Evaluation of Ontology-based Tools, EON2003, CEUR Workshop Proc. Vol 87.Google Scholar
- R, V. Guha, rdfDB Query Language, in http://www.guha.com/rdfdb/query.htmlGoogle Scholar
- C. Gutierrez, Normal forms for connectedness in categories, Annals of Pure and Applied Logic 108 (2001) 237--247.Google ScholarCross Ref
- P. Hell, J. Nesetril, The core of a graph, Discrete Math. 109 (1992), 117--126. Google ScholarDigital Library
- G. Karvounarakis, S. Alexaki, V. Christophides, D. Plexousakis, M. Scholl, RQL: A Declarative Query Language for RDF, Proceedings WWW 2002, 592--603. Google ScholarDigital Library
- A. Magkanaraki et al. Ontology Storage and Querying, Technical Report No. 308, April 2002, Foundation for Research and Technology Hellas, Institute of Computer Science, Information System Laboratory.Google Scholar
- L. Miller, A. Seaborne, A. Reggiori, Three Implementations of SquishQL, a Simple RDF Query Language, Proc. 1st, International Semantic Web Conference, 2002, 399--403. Google ScholarDigital Library
- RDF Query Exchange Language (QEL), Edit. M. Nilsson, W. Siberski, http://edutella.jxta.org/spec/qel.htmlGoogle Scholar
- OWL, Web Ontology Language Reference, W3C Candidate Recommendation 18 August 2003, Editors: M. Dean, G. Schreiber.Google Scholar
- E. Prud'hommeaux, B. Grosof, RDF Query and Rules: A Framework and Survey, http://www.w3.org/2001/11/13-RDF-Query-Rules/Google Scholar
- M. Sintek, S. Decker, TRIPLE---A Query, Inference, and Transformation Language for the Semantic Web, Proc. 1st International Semantic Web Conference, 2002, 364--378. Google ScholarDigital Library
- G. Yang, M. Kifer, On the Semantics of Anonymous Identity and Reification Proc. First International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), 2002, 1047--1066. Google ScholarDigital Library
- DAML Query Language (DQL), April 2003, Abstract Specification. DAML Joint Committee, R. Fikes, P. Hayes, I. Horrocks, Ed.Google Scholar
- Resource description framework (RDF) model and syntax specification, Edit. O. Lassila, R. Swick, Working draft, W3C, 1998.Google Scholar
- RDF Semantics, W3C Working Draft, 1 October 2003 Edit. Patrick HayesGoogle Scholar
- RDF Vocabulary Description Language 1.0: RDF Schema, W3C Working Draft 23 January 2003, Edit. Dan Brickley, R. V. Guha.Google Scholar
- RDF Concepts and Abstract Syntax, Edit. G. Klyne, J. J. Carroll. W3C Working Draft 10 October 2003.Google Scholar
- RDF Primer, Edit. F. Manola, E. Miller, W3C Working Draft 10 October 2003.Google Scholar
Recommendations
Foundations of Semantic Web databases
The Semantic Web is based on the idea of a common and minimal language to enable large quantities of existing data to be analyzed and processed. This triggers the need to develop the database foundations of this basic language, which is the Resource ...
Semantic web reasoners and languages
Semantic web reasoners and languages enable the semantic web to function. Some of the latest reasoning models developed in the last few years are: DLP, FaCT, RACER, Pellet, MSPASS, CEL, Cerebra Engine, QuOnto, KAON2, HermiT and others. Some software ...
Comments