Abstract
This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler language which preserves the original semantics. This approach is beneficial in at least two directions: (a) To have a simple abstract fragment of RDFS easy to formalize and to reason about, which captures the essence of RDFS; (b) To obtain algorithmic properties of deduction and optimizations that are relevant for particular fragments. Among our results are: the identification of a simple fragment of RDFS; the proof that it encompasses the main features of RDFS; a formal semantics and a deductive system for it; sound and complete deductive systems for their sub-fragments; and an \({\cal O}(n \log n)\) complexity bound for ground entailment in this fragment.
Chapter PDF
Similar content being viewed by others
Keywords
- Resource Description Framework
- Proof System
- Deductive System
- Resource Description Framework Data
- Resource Description Framework Graph
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ben-Or, M.: Lower bounds for algebraic computation trees. In: Proc. 15th Annual Symposium on Theory of Computing, pp. 80–86 (1983)
Berners-Lee, T.: Principles of Design. Personal Notes, http://www.w3.org/DesignIssues/Principles.html
Brickley, D., Miller, L.: FOAF Vocabulary Specification (July 2005), http://xmlns.com/foaf/0.1/
de Bruijn, J., Franconi, E., Tessaris, S.: Logical Reconstruction of normative RDF. In: OWLED 2005, Galway, Ireland (November 2005)
Dalmau, V., Kolaitis, P.G., Vardi, M.Y.: Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, p. 310. Springer, Heidelberg (2002)
Carroll, J.J., Bizer, C., Hayes, P., Stickler, P.: Named graphs. Journal of Web Semantics 3, 247–267 (2005)
Gutierrez, C., Hurtado, C., Mendelzon, A.O.: Foundations of Semantic Web Databases. In: Proceedings ACM Symposium on Principles of Database Systems (PODS), Paris, France, June 2004, pp. 95–106 (2004)
ter Horst, H.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics 3 (2005)
Baget, J.-F.: RDF Entailment as a Graph Homomorphism. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 82–96. Springer, Heidelberg (2005)
Marin, D.: A Formalization of RDF (Applications de la Logique á la sémantique du web), École Polytechnique – Universidad de Chile, Technical Report Dept. Computer Science, Universidad de Chile, TR/DCC-2006-8 (2004), http://www.dcc.uchile.cl/cgutierr/ftp/draltan.pdf
Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Working Draft (October 2006), http://www.w3.org/TR/rdf-sparql-query/
van Assem, M., Gangemi, A., Schreiber, G. (eds.): RDF/OWL Representation of WordNet. Working Draft (April 2006), http://www.w3.org/2001/sw/BestPractices/WNET/wn-conversion
Lassila, O., Swick, R. (eds.): Resource Description Framework (RDF) Model and Syntax Specification. Working draft, W3C (1998)
Beckett, D. (ed.): RDF/XML Syntax Specification (Revised) W3C Recommendation 10 February (2004)
Hayes, P. (ed.): RDF Semantics, W3C Recommendation 10 February (2004)
Brickley, D., Guha, R.V. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation 10 February (2004)
Klyne, G., Carroll, J.J. (eds.): RDF Concepts and Abstract Syntax, W3C Recommendation 10 February (2004)
Manola, F., Miller, E. (eds.): RDF Primer, W3C Recommendation 10 February (2004)
Gene Ontology, http://www.geneontology.org/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Muñoz, S., Pérez, J., Gutierrez, C. (2007). Minimal Deductive Systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds) The Semantic Web: Research and Applications. ESWC 2007. Lecture Notes in Computer Science, vol 4519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72667-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-72667-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72666-1
Online ISBN: 978-3-540-72667-8
eBook Packages: Computer ScienceComputer Science (R0)