RDFS and OWL Reasoning for Linked Data

  • Axel Polleres
  • Aidan Hogan
  • Renaud Delbru
  • Jürgen Umbrich

Abstract

Linked Data promises that a large portion of Web Data will be usable as one big interlinked RDF database against which structured queries can be answered. In this lecture we will show how reasoning – using RDF Schema (RDFS) and the Web Ontology Language (OWL) – can help to obtain more complete answers for such queries over Linked Data. We first look at the extent to which RDFS and OWL features are being adopted on the Web. We then introduce two high-level architectures for query answering over Linked Data and outline how these can be enriched by (lightweight) RDFS and OWL reasoning, enumerating the main challenges faced and discussing reasoning methods that make practical and theoretical trade-offs to address these challenges. In the end, we also ask whether or not RDFS and OWL are enough and discuss numeric reasoning methods that are beyond the scope of these standards but that are often important when integrating Linked Data from several, heterogeneous sources.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Allemang, D., Hendler, J.A.: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL. Morgan Kaufmann/Elsevier (2008)Google Scholar
  2. 2.
    Auer, S., Lehmann, J., Ngonga Ngomo, A.-C., Zaveri, A.: Introduction to Linked Data and its Lifecycle on the Web. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Web 2013. LNCS, vol. 8067, pp. 1–90. Springer, Heidelberg (2013)Google Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press (2002)Google Scholar
  4. 4.
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference. W3C Recommendation, W3C (February 2004)Google Scholar
  5. 5.
    Beckett, D., Berners-Lee, T.: Turtle – Terse RDF Triple Language. W3C Team Submission (January 2008), http://www.w3.org/TeamSubmission/turtle/
  6. 6.
    Beckett, D., Berners-Lee, T., Prud’hommeaux, E., Carothers, G.: Turtle – Terse RDF Triple Language. W3C Candidate Recommendation (February 2013), http://www.w3.org/TR/2013/CR-turtle-20130219/
  7. 7.
    Berners-Lee, T.: Linked Data. W3C Design Issues (July 2006), http://www.w3.org/DesignIssues/LinkedData.html (retr. October 27, 2010)
  8. 8.
    Berners-Lee, T., Fielding, R.T., Masinter, L.: Uniform Resource Identifier (URI): Generic Syntax. RFC 3986 (January 2005), http://tools.ietf.org/html/rfc3986
  9. 9.
    Berners-Lee, T., Fischetti, M.: Weaving the Web: The Original Design and Ultimate Destiny of the World Wide Web by its Inventor. Harper (1999)Google Scholar
  10. 10.
    Bischof, S., Polleres, A.: RDFS with attribute equations via SPARQL rewriting. In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 335–350. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  11. 11.
    Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Semantic Web 2(1), 33–42 (2011)Google Scholar
  12. 12.
    Bonatti, P.A., Hogan, A., Polleres, A., Sauro, L.: Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. J. Web Sem. 9(2), 165–201 (2011)CrossRefGoogle Scholar
  13. 13.
    Brickley, D., Guha, R.: RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-schema/
  14. 14.
    Calvanese, D., De Giacomo, G., 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)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Cheng, G., Qu, Y.: Integrating lightweight reasoning into class-based query refinement for object search. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol. 5367, pp. 449–463. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    de Bruijn, J., Heymans, S.: Logical foundations of (e)RDF(S): Complexity and reasoning. In: Aberer, K., et al. (eds.) ISWC/ASWC 2007. LNCS, vol. 4825, pp. 86–99. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  17. 17.
    Delbru, R., Tummarello, G., Polleres, A.: Context-dependent OWL reasoning in Sindice – experiences and lessons learnt. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol. 6902, pp. 46–60. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  18. 18.
    Emmons, I., Collier, S., Garlapati, M., Dean, M.: RDF literal data types in practice. In: Proceedings of Workshop on Scalable Semantic Web Systems (SSWS). LNCS, vol. 5947, Springer (2011)Google Scholar
  19. 19.
    Fielding, R.T., Gettys, J., Mogul, J.C., Frystyk, H., Masinter, L., Leach, P.J., Berners-Lee, T.: Hypertext Transfer Protocol – HTTP/1.1. RFC 2616 (June 1999), http://www.ietf.org/rfc/rfc2616.txt
  20. 20.
    Fischer, F., Unel, G., Bishop, B., Fensel, D.: Towards a scalable, pragmatic knowledge representation language for the Web. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol. 5947, pp. 124–134. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  21. 21.
    Glimm, B.: Using SPARQL with RDFS and OWL entailment. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 137–201. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  22. 22.
    Glimm, B., Hogan, A., Krötzsch, M., Polleres, A.: OWL: Yet to arrive on the Web of Data? In: LDOW, vol. 937. CEUR-WS.org (2012)Google Scholar
  23. 23.
    Glimm, B., Ogbuji, C.: SPARQL 1.1 Entailment Regimes. W3C Recommendation (March 2013), http://www.w3.org/TR/sparql11-entailment/
  24. 24.
    Gottlob, G., Schwentick, T.: Rewriting ontological queries into small nonrecursive datalog programs. In: 13th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy. AAAI Press (2012)Google Scholar
  25. 25.
    Grau, B.C., Motik, B., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-profiles/
  26. 26.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48–57 (2003)Google Scholar
  27. 27.
    Guha, R.V.: Contexts: a formalization and some applications. PhD thesis, Stanford University, Stanford, CA, USA (1992)Google Scholar
  28. 28.
    Guha, R., McCool, R., Fikes, R.: Contexts for the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 32–46. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  29. 29.
    Halpin, H., Hayes, P.J., McCusker, J.P., McGuinness, D.L., Thompson, H.S.: When owl:sameAs Isn’t the Same: An Analysis of Identity in Linked Data. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 305–320. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  30. 30.
    Harris, S., Seaborne, A.: SPARQL 1.1 Query Language. W3C Recommendation (March 2013), http://www.w3.org/TR/sparql11-query/
  31. 31.
    Harth, A., Kinsella, S., Decker, S.: Using Naming Authority to Rank Data and Ontologies for Web Search. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 277–292. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  32. 32.
    Hartig, O.: SPARQL for a Web of Linked Data: Semantics and computability. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 8–23. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  33. 33.
    Hartig, O., Bizer, C., Freytag, J.-C.: Executing SPARQL queries over the Web of Linked Data. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 293–309. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  34. 34.
    Hartig, O., Freytag, J.-C.: Foundations of traversal based query execution over linked data. In: HT, pp. 43–52. ACM (2012)Google Scholar
  35. 35.
    Hayes, P.: RDF Semantics. W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-mt/
  36. 36.
    Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space, 1st edn. Synthesis Lectures on the Semantic Web: Theory and Technology, vol. 1. Morgan & Claypool (2011), http://linkeddatabook.com/editions/1.0/
  37. 37.
    Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 Web Ontology Language Primer. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-primer/
  38. 38.
    Hogan, A.: Exploiting RDFS and OWL for Integrating Heterogeneous, Large-Scale, Linked Data Corpora. PhD thesis, Digital Enterprise Research Institute, National University of Ireland, Galway (2011), http://aidanhogan.com/docs/thesis/
  39. 39.
    Hogan, A., Harth, A., Decker, S.: Performing Object Consolidation on the Semantic Web Data Graph. In: 1st I3 Workshop: Identity, Identifiers, Identification Workshop. CEUR Workshop Proceedings, vol. 249. CEUR-WS.org (2007)Google Scholar
  40. 40.
    Hogan, A., Harth, A., Umbrich, J., Kinsella, S., Polleres, A., Decker, S.: Searching and browsing Linked Data with SWSE: The Semantic Web Search Engine. J. Web Sem. 9(4), 365–401 (2011)CrossRefGoogle Scholar
  41. 41.
    Hogan, A., Pan, J.Z., Polleres, A., Decker, S.: SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 337–353. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  42. 42.
    Hogan, A., Zimmermann, A., Umbrich, J., Polleres, A., Decker, S.: Scalable and distributed methods for entity matching, consolidation and disambiguation over linked data corpora. J. Web Sem. 10, 76–110 (2012)CrossRefGoogle Scholar
  43. 43.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. W3C member submission, W3C (2004)Google Scholar
  44. 44.
    Hu, W., Qu, Y., Sun, X.: Bootstrapping object coreferencing on the Semantic Web. J. Comput. Sci. Technol. 26(4), 663–675 (2011)CrossRefMATHGoogle Scholar
  45. 45.
    Käfer, T., Abdelrahman, A., Umbrich, J., O’Byrne, P., Hogan, A.: Observing Linked Data dynamics. In: Cimiano, P., Corcho, O., Presutti, V., Hollink, L., Rudolph, S. (eds.) ESWC 2013. LNCS, vol. 7882, pp. 213–227. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  46. 46.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to ontology-based data access. In: 22nd Int’l Joint Conf. on Artificial Intelligence (IJCAI 2011), Barcelona, Catalonia, Spain, pp. 2656–2661. IJCAI/AAAI (2011)Google Scholar
  47. 47.
    Kontchakov, R., Rodríguez-Muro, M., Zakharyaschev, M.: Ontology-based data access with databases: A short course. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Web 2013. LNCS, vol. 8067, pp. 194–229. Springer, Heidelberg (2013)Google Scholar
  48. 48.
    Mallea, A., Arenas, M., Hogan, A., Polleres, A.: On Blank Nodes. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 421–437. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  49. 49.
    Manola, F., Miller, E., McBride, B.: RDF Primer. W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-primer/
  50. 50.
    Mayfield, J., Finin, T.: Information retrieval on the Semantic Web: Integrating inference and retrieval. In: Proceedings of the SIGIR Workshop on the Semantic Web (August 2003)Google Scholar
  51. 51.
    Miles, A., Baker, T., Swick, R.: Best Practice Recipes for Publishing RDF Vocabularies. W3C working group note, W3C (2008)Google Scholar
  52. 52.
    Motik, B., Patel-Schneider, P.F., Grau, B.C.: OWL 2 Web Ontology Language Direct Semantics. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-direct-semantics/
  53. 53.
    Muñoz, S., Pérez, J., Gutierrez, C.: Simple and Efficient Minimal RDFS. J. Web Sem. 7(3), 220–234 (2009)CrossRefGoogle Scholar
  54. 54.
    Oren, E., Delbru, R., Catasta, M., Cyganiak, R., Stenzhorn, H., Tummarello, G.: Sindice.com: a document-oriented lookup index for open linked data. IJMSO 3(1), 37–52 (2008)CrossRefGoogle Scholar
  55. 55.
    Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank Citation Ranking: Bringing Order to the Web. Technical report, Stanford Digital Library Technologies Project (1998)Google Scholar
  56. 56.
    Patel-Schneider, P.F., Motik, B., Cuenca Grau, B., Horrocks, I., Parsia, B., Ruttenberg, A., Schneider, M.: OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-mapping-to-rdf/
  57. 57.
    Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Transactions on Database Systems 34(3):Article 16 (45 pages) (2009)Google Scholar
  58. 58.
    Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. Journal of Applied Logic 8(2), 186–209 (2010)MathSciNetCrossRefMATHGoogle Scholar
  59. 59.
    Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  60. 60.
    Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (January 2008), http://www.w3.org/TR/rdf-sparql-query/
  61. 61.
    Rosati, R.: Prexto: Query rewriting under extensional constraints in DL-Lite. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 360–374. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  62. 62.
    Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: 12th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)Google Scholar
  63. 63.
    Rudolph, S.: Foundations of Description Logics. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 76–136. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  64. 64.
    Schneider, M.: OWL 2 Web Ontology Language RDF-Based Semantics. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-rdf-based-semantics/
  65. 65.
    ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics 3(2-3), 79–115 (2005)CrossRefGoogle Scholar
  66. 66.
    Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press (1989)Google Scholar
  67. 67.
    Umbrich, J., Hogan, A., Polleres, A., Decker, S.: Improving the recall of live linked data querying through reasoning. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 188–204. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  68. 68.
    Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.E.: WebPIE: A Web-scale Parallel Inference Engine using MapReduce. J. Web Sem. 10, 59–75 (2012)CrossRefGoogle Scholar
  69. 69.
    Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F.: Scalable distributed reasoning using MapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 634–649. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  70. 70.
    Volz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, AIFB, Karlsruhe, Germany (2004)Google Scholar
  71. 71.
    Vrandečíc, D., Krötzsch, M., Rudolph, S., Lösch, U.: Leveraging Non-Lexical Knowledge for the Linked Open Data Web. Review of Fool’s day Transactions (RAFT) 5, 18–27 (2010)Google Scholar
  72. 72.
    Weaver, J., Hendler, J.A.: Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 682–697. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  73. 73.
    Yardeni, E., Shapiro, E.Y.: A Type System for Logic Programs. J. Log. Program. 10(1/2/3&4), 125–153 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Axel Polleres
    • 1
  • Aidan Hogan
    • 2
  • Renaud Delbru
    • 2
  • Jürgen Umbrich
    • 2
    • 3
  1. 1.Siemens AG ÖsterreichViennaAustria
  2. 2.Digital Enterprise Research InstituteNational University of IrelandGalwayIreland
  3. 3.Fujitsu (Ireland) LimitedCo. DublinIreland

Personalised recommendations