The Logic of Extensional RDFS

  • Enrico Franconi
  • Claudio Gutierrez
  • Alessandro Mosca
  • Giuseppe Pirrò
  • Riccardo Rosati
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8218)


The normative version of RDF Schema (RDFS) gives non-standard (intensional) interpretations to some standard notions such as classes and properties, thus departing from standard set-based semantics. In this paper we develop a standard set-based (extensional) semantics for the RDFS vocabulary while preserving the simplicity and computational complexity of deduction of the intensional version. This result can positively impact current implementations, as reasoning in RDFS can be implemented following common set-based intuitions and be compatible with OWL extensions.


Inference Rule Resource Description Framework Proof System Rule System Resource Description Framework Data 
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.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)Google Scholar
  2. 2.
    Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Cuenca Grau, B.: A possible simplification of the semantic web architecture. In: WWW, pp. 704–713. ACM (2004)Google Scholar
  4. 4.
    De Bruijn, J., Franconi, E., Tessaris, S.: Logical reconstruction of normative RDF. In: OWL: Experiences and Directions Workshop (OWLED 2005), Galway, Ireland (2005)Google Scholar
  5. 5.
    Franconi, E., Gutierrez, C., Mosca, A., Pirrò, G., Rosati, R.: A Refutation System for Extensional RDFS. Technical report, KRDB, Free University of Bozen-Bolzano (2013),
  6. 6.
    Gutierrez, C., Hurtado, C.A., Mendelzon, A.O., Pérez, J.: Foundations of semantic web databases. Journal of Computer and System Sciences 77(3), 520–541 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Hayes, P., McBride, B.: RDF semantics. W3C Reccomandation (2004),
  8. 8.
    Heath, T., Bizer, C.: Linked data: Evolving the web into a global data space. Synthesis Lectures on the Semantic Web: Theory and Technology 1(1), 1–136 (2011)CrossRefGoogle Scholar
  9. 9.
    Klyne, G., Carroll, J.J., McBride, B.: Resource description framework (RDF): Concepts and abstract syntax. W3C Recommendation 10 (2004)Google Scholar
  10. 10.
    Marin, D.: A formalization of rdf. Technical report, Technical Report TR/DCC-2006-8, TR Dept. Computer Science, Universidad de Chile (2006)Google Scholar
  11. 11.
    Muñoz, S., Pérez, J., Gutierrez, C.: Simple and efficient minimal RDFS. Journal of Web Semantics 7(3), 220–234 (2009)CrossRefGoogle Scholar
  12. 12.
    ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF schema and a semantic extension involving the OWL vocabulary. Web Semantics: Science, Services and Agents on the World Wide Web 3(2), 79–115 (2005)CrossRefGoogle Scholar
  13. 13.
    Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Claudio Gutierrez
    • 2
  • Alessandro Mosca
    • 1
  • Giuseppe Pirrò
    • 1
  • Riccardo Rosati
    • 3
  1. 1.KRDBFree University of Bozen-BolzanoBolzanoItaly
  2. 2.Department of Computer ScienceUniversity of ChileSantiagoChile
  3. 3.University of Rome La SapienzaRomeItaly

Personalised recommendations