Minimal Deductive Systems for RDF

  • Sergio Muñoz
  • Jorge Pérez
  • Claudio Gutierrez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4519)


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.


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.


  1. 1.
    Ben-Or, M.: Lower bounds for algebraic computation trees. In: Proc. 15th Annual Symposium on Theory of Computing, pp. 80–86 (1983)Google Scholar
  2. 2.
    Berners-Lee, T.: Principles of Design. Personal Notes,
  3. 3.
    Brickley, D., Miller, L.: FOAF Vocabulary Specification (July 2005),
  4. 4.
    de Bruijn, J., Franconi, E., Tessaris, S.: Logical Reconstruction of normative RDF. In: OWLED 2005, Galway, Ireland (November 2005)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Carroll, J.J., Bizer, C., Hayes, P., Stickler, P.: Named graphs. Journal of Web Semantics 3, 247–267 (2005)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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),
  11. 11.
    Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Working Draft (October 2006),
  12. 12.
    van Assem, M., Gangemi, A., Schreiber, G. (eds.): RDF/OWL Representation of WordNet. Working Draft (April 2006),
  13. 13.
    Lassila, O., Swick, R. (eds.): Resource Description Framework (RDF) Model and Syntax Specification. Working draft, W3C (1998)Google Scholar
  14. 14.
    Beckett, D. (ed.): RDF/XML Syntax Specification (Revised) W3C Recommendation 10 February (2004)Google Scholar
  15. 15.
    Hayes, P. (ed.): RDF Semantics, W3C Recommendation 10 February (2004)Google Scholar
  16. 16.
    Brickley, D., Guha, R.V. (eds.): RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation 10 February (2004)Google Scholar
  17. 17.
    Klyne, G., Carroll, J.J. (eds.): RDF Concepts and Abstract Syntax, W3C Recommendation 10 February (2004)Google Scholar
  18. 18.
    Manola, F., Miller, E. (eds.): RDF Primer, W3C Recommendation 10 February (2004)Google Scholar
  19. 19.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Sergio Muñoz
    • 1
  • Jorge Pérez
    • 2
    • 3
  • Claudio Gutierrez
    • 4
  1. 1.Universidad Católica de la Santísima ConcepciónChile
  2. 2.Pontificia Universidad Católica de Chile 
  3. 3.Universidad de TalcaChile
  4. 4.Universidad de Chile 

Personalised recommendations