Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
- 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.
References
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)
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)
Cuenca Grau, B.: A possible simplification of the semantic web architecture. In: WWW, pp. 704–713. ACM (2004)
De Bruijn, J., Franconi, E., Tessaris, S.: Logical reconstruction of normative RDF. In: OWL: Experiences and Directions Workshop (OWLED 2005), Galway, Ireland (2005)
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), http://www.inf.unibz.it/krdb/pub/tech-rep.php
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)
Hayes, P., McBride, B.: RDF semantics. W3C Reccomandation (2004), http://www.w3.org/tr/rdf-mt
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)
Klyne, G., Carroll, J.J., McBride, B.: Resource description framework (RDF): Concepts and abstract syntax. W3C Recommendation 10 (2004)
Marin, D.: A formalization of rdf. Technical report, Technical Report TR/DCC-2006-8, TR Dept. Computer Science, Universidad de Chile (2006)
Muñoz, S., Pérez, J., Gutierrez, C.: Simple and efficient minimal RDFS. Journal of Web Semantics 7(3), 220–234 (2009)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franconi, E., Gutierrez, C., Mosca, A., Pirrò, G., Rosati, R. (2013). The Logic of Extensional RDFS. In: Alani, H., et al. The Semantic Web – ISWC 2013. ISWC 2013. Lecture Notes in Computer Science, vol 8218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41335-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-41335-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41334-6
Online ISBN: 978-3-642-41335-3
eBook Packages: Computer ScienceComputer Science (R0)