Skip to main content
SpringerLink
Log in

Datalog Relaunched: Simulation Unification and Value Invention

  • Conference paper
Datalog Reloaded (Datalog 2.0 2010)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6702))

Included in the following conference series:

Abstract

For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with “simulation unification” and “RDFLog”.

Simulation unification is a non-standard unification inspired from regular path queries. Like standard unification, it yields bindings for variables in both terms to unify. Unlike standard unification, it does not try to make the two terms identical but instead to embed the query into the data. Simulation unification is decidable. Without variables, it has polynomial complexity. With variables it is, like standard unification, np-complete. We identify a number of interesting special cases of unification, e.g., in presence or absence of term injectivity. In particular, we show that simulation unification without term injectivity on tree data is linear and in presence of injectivity it is still polynomial even on unordered trees in contrast to the np-complete unordered tree inclusion problem.

RDFLog is Datalog with arbitrary quantifier alternation: Blank nodes, i.e., existentially quantified variables, in rule heads may be governed by universally quantified variables, universally quantified variables by blank nodes. RDFLog’s declarative semantics is defined in terms of RDF entailment; its sound and complete operational semantics, in terms of Skolemization, standard Datalog evaluation, and un-Skolemization. We show that RDFLog limited to ∀ * ∃ * prefixes is (up to unique helper predicates) equivalent to RDFLog with full quantifier alternation. A light-weight implementation points to the efficiency of the approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (1999)

    Google Scholar 

  2. Abiteboul, S., Quass, D., McHugh, J., Widom, J., Wiener, J.L.: The Lorel Query Language for Semistructured Data. Int. J. on Digital Libraries 1(1), 68–88 (1997)

    Article  Google Scholar 

  3. Abiteboul, S., Vianu, V.: Regular Path Queries with Constraints. In: PODS, pp. 122–133 (1997)

    Google Scholar 

  4. Appelt, D.E.: Introduction to Information Extraction. AI Commun. 12(3), 161–172 (1999)

    Google Scholar 

  5. Arocena, G.O., Mendelzon, A.O.: WebOQL: Restructuring Documents, Databases, and Webs. In: ICDE, pp. 24–33. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  6. Baader, F.: Unification in Commutative Theories. In: Unification, pp. 417–435. Academic Press, London (1989)

    Google Scholar 

  7. Bailey, J., Bry, F., Furche, T., Schaffert, S.: Web and Semantic Web Query Languages: A Survey. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 35–133. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS, pp. 1–15. ACM, New York (1986)

    Google Scholar 

  9. Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.): Reasoning Web 2006. LNCS, vol. 4126. Springer, Heidelberg (2006)

    Google Scholar 

  10. Baru, C., Ludäscher, B., Papakonstantinou, Y., Velikhov, P., Vianu, V.: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. In: QL 1998, W3C (1998)

    Google Scholar 

  11. Bassiliades, N., Vlahavas, I.P.: R-DEVICE: A Deductive RDF Rule Language. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 65–80. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. Baumgartner, R., Flesca, S., Gottlob, G.: The Elog Web Extraction Language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 548–560. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Baumgartner, R., Flesca, S., Gottlob, G.: Visual Web Information Extraction with Lixto. In: Apers, P.M.G., Atzeni, P., Ceri, S., Paraboschi, S., Ramamohanarao, K., Snodgrass, R.T. (eds.) VLDB, pp. 119–128. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  14. Beeri, C., Ramakrishnan, R.: On the Power of Magic. In: PODS, pp. 269–284. ACM, New York (1987)

    Google Scholar 

  15. Belleghem, K.V., Denecker, M., Schreye, D.D.: A Strong Correspondence between Description Logics and Open Logic Programming. In: ICLP, pp. 346–360 (1997)

    Google Scholar 

  16. Benedikt, M., Koch, C.: Xpath leashed (2007)

    Google Scholar 

  17. Berglund, A., Boag, S., Chamberlin, D., Fernàndez, M.F., Kay, M., Robie, J., Siméon, J. (eds.): XML Path Language (XPath) Version 2.0. Recommendation. W3C (2007)

    Google Scholar 

  18. Berlea, A., Seidl, H.: fxt – A Transformation Language for XML Documents. J. of Computing and Information Technology (CIT), Special Issue on Domain-Specific Languages (2001)

    Google Scholar 

  19. Boag, S., Chamberlin, D., Fernaàndez, M.F., Robie, J., Siméon, J. (eds.): XQuery 1.0: An XML Query Language. Recommendation. W3C (2007)

    Google Scholar 

  20. Boley, H.: Relationships Between Logic Programming and XML. In: Proc. 14th Workshop Logische Programmierung, Würzburg (January 2000)

    Google Scholar 

  21. Boley, H.: The RuleML Family of Web Rule Languages. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 1–17. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Boley, H.: Are Your Rules Online? Four Web Rule Essentials. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 7–24. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Boley, H., Halmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  24. Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  25. Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  26. Boley, H., Kifer, M., Patranjan, P.-L., Polleres, A.: Rule Interchange on the Web. In: Antoniou, G., Aßmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol. 4636, pp. 269–309. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Boley, H., Mei, J., Sintek, M., Wagner, G.: RDF/RuleML Interoperability. In: Rule Languages for Interoperability (2005)

    Google Scholar 

  28. Boley, H., Tabet, S., Wagner, G.: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001)

    Google Scholar 

  29. Bolzer, O., Bry, F., Furche, T., Kraus, S., Schaffert, S.: Development of Use Cases, Part I. Technical Report PMS-FB-2005-23, Institute for Informatics, University of Munich (2005)

    Google Scholar 

  30. Brügemann-Klein, A., Wood, D.: Regular Tree Languages over Non-ranked Alphabets (1998) (unpublished manuscript)

    Google Scholar 

  31. Bry, F.: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowledge Engineering 5, 289–312 (1990)

    Article  Google Scholar 

  32. Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: RDFLog: It’s like Datalog for RDF. Technical Report PMS-FB-2008-1, Institute for Informatics, University of Munich (2005)

    Google Scholar 

  33. Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: RDFLog: It’s like Datalog for RDF. In: Workshop on (Constraint) Logic Programming, WLP 2008 (2008)

    Google Scholar 

  34. Bry, F., Furche, T., Linse, B.: The perfect match: Rpl and rdf rule languages. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 227–241. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  35. Buneman, P.: Tutorial Semistructured Data. In: PODS, pp. 117–121 (1997)

    Google Scholar 

  36. Buneman, P., Fernandez, M.F., Suciu, D.: Unql: A query language and algebra for semistructured data based on structural recursion. VLDB J. 9(1), 76–110 (2000)

    Article  Google Scholar 

  37. Burkard, R., Dell’Amico, M., Martello, S.: Assignment Problems. SIAM, Philadelphia (2009)

    Book  MATH  Google Scholar 

  38. Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: View-Based Query Answering over Description Logic Ontologies. In: Brewka, G., Lang, J. (eds.) KR, pp. 242–251. AAAI Press, Menlo Park (2008)

    Google Scholar 

  39. Carroll, J.J., Roo, J.D. (eds.): OWL Web Ontology Language Test Cases. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  40. Ceri, S., Gottlob, G., Lavazza, L.: Translation and Optimization of Logic Queries: The Algebraic Approach. In: Chu, W.W., Gardarin, G., Ohsuga, S., Kambayashi, Y. (eds.) VLDB, pp. 395–402. Morgan Kaufmann, San Francisco (1986)

    Google Scholar 

  41. Ceri, S., Gottlob, G., Tanca, L.: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1), 146–166 (1989)

    Article  Google Scholar 

  42. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)

    Book  Google Scholar 

  43. Chamberlin, D., Fankhauser, P., Marchiori, M., Robie, J. (eds.): XML Query Use Cases. W3C Working Group Note. World Wide Web Consortium, W3C (2007)

    Google Scholar 

  44. Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S.A., Tsur, S., Zaniolo, C.: The ldl system prototype. IEEE Trans. Knowl. Data Eng. 2(1), 76–90 (1990)

    Article  Google Scholar 

  45. Clark, J. (ed.): XSL Transformations (XSLT) Version 1.0. Recommendation. W3C (1999)

    Google Scholar 

  46. Clark, J., DeRose, S. (eds.): XML Path Language (XPath) Version 1.0. Recommendation. W3C (1999)

    Google Scholar 

  47. de Bruijn, J. (ed.): RIF RDF and OWL Compatibility. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  48. de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol. 4092, pp. 1–22. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  49. de Sainte Marie, C., Halmark, G., Paschke, A. (eds.): RIF Production Rule Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  50. Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  51. Deutsch, A. (ed.): Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, New York (2004)

    Google Scholar 

  52. Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Maluszynski, J.: Hybrid Reasoning with Rules and Ontologies. In: Bry, F., Małuszyński, J. (eds.) Semantic Techniques for the Web. LNCS, vol. 5500, pp. 1–49. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  53. Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and Ontologies for the Semantic Web. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  54. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with Rules and Ontologies. In: Barahona, et al. (eds.) [9], pp. 93–127

    Google Scholar 

  55. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in Managing Rules and Ontologies. In: Web Intelligence, pp. 411–419. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  56. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207–224. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  57. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  58. Fensel, D., Sycara, K., Mylopoulos, J. (eds.): ISWC 2003. LNCS, vol. 2870. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  59. Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming 37(1-3), 95–138 (1998)

    MathSciNet  MATH  Google Scholar 

  60. Furche, T.: Implementation of Web Query Language Reconsidered: Beyond Tree and Single-Language Algebras at (Almost) No Cost. Dissertation/doctoral thesis, Ludwig-Maxmilians University Munich (2008)

    Google Scholar 

  61. Furche, T., Linse, B., Bry, F., Plexousakis, D., Gottlob, G.: Rdf querying: Language constructs and evaluation methods compared. In: Barahona, et al. (eds.) [9], pp. 1–52

    Google Scholar 

  62. Gallaire, H., Minker, J. (eds.): Logic and Data Bases, Symposium on Logic and Data Bases. Advances in Data Base Theory. Plenum Press, New York (1978)

    MATH  Google Scholar 

  63. Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2), 153–185 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  64. Gallaire, H., Nicolas, J.-M., Minker, J. (eds.): Advances in Data Base Theory, Centre d’Études et de Recherches de l’École Nationale Supérieure de l’Aéronautique et de l’Espace de Toulouse (CERT), France, December 12-14, 1979. Based on the Proceedings of the Workshop on Formal Bases for Data Bases, vol. 1. Plenum Press, New York (1981)

    Google Scholar 

  65. Gallaire, H., Nicolas, J.-M., Minker, J. (eds.): Advances in Data Base Theory, Centre d’études et de recherches de Toulouse, France, December 14-17, 1982. Based on the Proceedings of the Workshop on Logical Data Bases, vol. 2. Plenum Press, New York (1984)

    Google Scholar 

  66. Gottlob, G., Koch, C.: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. In: Popa, L. (ed.) PODS, pp. 17–28. ACM, New York (2002)

    Google Scholar 

  67. Gottlob, G., Koch, C.: Monadic datalog and the expressive power of languages for Web information extraction. J. ACM 51(1), 74–113 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  68. Gottlob, G., Koch, C., Baumgartner, R., Herzog, M., Flesca, S.: The Lixto Data Extraction Project - Back and Forth between Theory and Practice. In: Deutsch (ed.) [51], pp. 1–12

    Google Scholar 

  69. Grahne, G., Lakshmanan, L.V.S.: On the Difference between Navigating Semi-structured Data and Querying It. In: Workshop on Database Programming Languages, pp. 271–296 (1999)

    Google Scholar 

  70. Grishman, R.: Information Extraction. In: The Oxford Handbook of Computational Linguistics, pp. 545–559. Oxford University Press, Oxford (2003)

    Google Scholar 

  71. 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 

  72. Gutiérrez, C., Hurtado, C.A., Mendelzon, A.O.: Foundations of semantic web databases. In: Deutsch (ed.) [51], pp. 95–106

    Google Scholar 

  73. Hayes, P. (ed.): RDF Semantics. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  74. Heflin, J. (ed.): OWL Web Ontology Language Use Cases and Requirements. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  75. Hori, M., Euzenat, J., Patel-Schneider, P.F. (eds.): OWL Web Ontology Language XML Presentation Syntax. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  76. Horrocks, I.: OWL Rules, OK?. In: Rule Languages for Interoperability (2005)

    Google Scholar 

  77. Horrocks, I., Angele, J., Decker, S., Kifer, M., Grosof, B.N., Wagner, G.: Where Are the Rules? IEEE Intelligent Systems 18(5), 76–83 (2003)

    Article  Google Scholar 

  78. Horrocks, I., Patel-Schneider, P.F.: A proposal for an Owl rules language. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 723–731. ACM, New York (2004)

    Google Scholar 

  79. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1), 23–40 (2005)

    Article  Google Scholar 

  80. Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) KR, pp. 152–162. AAAI Press, Menlo Park (2004)

    Google Scholar 

  81. Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3), 351–384 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  82. Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A Rule System for Querying Persistent RDFS Data. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 857–862. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  83. Kilpeläinen, P.: Tree Matching Problems with Applications to Structured Text Databases. PhD thesis, University of Helsinki, Faculty of Science, Department of Computer Science (1992)

    Google Scholar 

  84. Kilpelainen, P., Mannila, H.: Ordered and Unordered Tree Inclusion. SIAM J. Comput. 24(2), 340–356 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  85. Klyne, G.: Representring Facts and Rules in RDF – Bridging Cconventional predicate representation and RDF (2001), http://www.ninebynine.org/RDFNotes/RDFFactsAndRules.html

  86. Kowalski, R.: Computational logic and human life: How to be artificially intelligent. Preprint, Department of Computing, Imperial College London (2010), http://www.doc.ic.ac.uk/~rak/papers/newbook.pdf to be published by Cambridge University Press

  87. Kowalski, R.A.: The Early Years of Logic Programming. Commun. ACM 31(1), 38–43 (1988)

    Article  Google Scholar 

  88. Langville, A.N., Meyer, C.D.: Google’s PageRank and Beyond – The Science of Search Engine Ranking. Princetoon University Press (2006)

    Google Scholar 

  89. Ley, C., Benedikt, M.: How big must complete xml query languages be? In: ICDT 2009: Proceedings of the 12th International Conference on Database Theory, pp. 183–200. ACM, New York (2009)

    Google Scholar 

  90. Linse, B.: Data Integration on the (Semantic) Web with Rules and Rich Unification. PhD thesis, Ludwig-Maximilians-Universität München (2010)

    Google Scholar 

  91. Maier, D.: Communication during the Workshop Datalog 2.0 (2010)

    Google Scholar 

  92. Marx, M.: Conditional xpath. ACM Trans. Database Syst. 30(4), 929–959 (2005)

    Article  Google Scholar 

  93. McGuinness, D.L., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  94. Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Trans. Knowl. Data Eng. 20(3), 397–410 (2008)

    Article  Google Scholar 

  95. Meditskos, G., Bassiliades, N.: Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 277–292. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  96. Miklós, Z., Neumann, G., Zdun, U., Sintek, M.: Querying semantic web resources using triple views. In: Fensel, et al. (eds.) [58], pp. 517–532

    Google Scholar 

  97. Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language Profiles. W3C Recommendation. World Wide Web Consortium, W3C (2009)

    Google Scholar 

  98. Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  99. Motik, B., Volz, R.: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. In: Bry, F., Lutz, C., Sattler, U., Schoop, M. (eds.) KRDB. CEUR Workshop Proceedings, vol. 79. CEUR-WS.org (2003)

    Google Scholar 

  100. Muñoz, S., Pérez, J., Gutierrez, C.: Minimal Deductive Systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 53–67. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  101. Naqvi, S.A., Tsur, S.: A Logical Language for Data and Knowledge Bases. Computer Science Press, Rockville (1989)

    Google Scholar 

  102. Neven, F., Schwentick, T.: Query automata over finite trees. Theoretical Computer Science 275(1-2), 633–674 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  103. Olteanu, D., Meuss, H., Furche, T., Bry, F.: XPath: Looking Forward. In: Chaudhri, A.B., Unland, R., Djeraba, C., Lindner, W. (eds.) EDBT 2002. LNCS, vol. 2490, pp. 109–127. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  104. Patel-Schneider, P.F., Hayes, P., Horrocks, I. (eds.): OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  105. Polleres, A.: From SPARQL to rules (and back). In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) WWW, pp. 787–796. ACM, New York (2007)

    Chapter  Google Scholar 

  106. Polleres, A., Boley, H., Kifer, M. (eds.): RIF Datatypes and Built-Ins 1.0. W3C Recommendation. World Wide Web Consortium, W3C (2010)

    Google Scholar 

  107. Polleres, A., Schindlauer, R.: DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX. In: Polleres, A., Pearce, D., Heymans, S., Ruckhaus, E. (eds.) ALPSWS. CEUR Workshop Proceedings, vol. 287. CEUR-WS.org (2007)

    Google Scholar 

  108. Prud’hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF. W3C Recommendation. World Wide Web Consortium, W3C (2008)

    Google Scholar 

  109. Pührer, J., Heymans, S., Eiter, T.: Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 183–197. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  110. Ramakrishnan, R.: Magic Templates: A Spellbinding Approach to Logic Programs. In: ICLP/SLP, pp. 140–159 (1988)

    Google Scholar 

  111. Ramakrishnan, R., Ullman, J.D.: A survey of deductive database systems. J. Log. Program. 23(2), 125–149 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  112. Rohmer, J., Lescoeur, R., Kerisit, J.-M.: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput. 4(3), 273–285 (1986)

    Article  MATH  Google Scholar 

  113. Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3(1), 61–73 (2005)

    Article  Google Scholar 

  114. Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 50–64. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  115. Rosati, R.: Integrating Ontologies and Rules: Semantic and Computational Issues. In: Barahona, et al. (eds.) [9], pp. 128–151

    Google Scholar 

  116. Rosati, R.: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 13–27. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  117. Saccà, D., Zaniolo, C.: Implementation of recursive queries for a data language based on pure horn logic. In: ICLP, pp. 104–135 (1987)

    Google Scholar 

  118. Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. Dissertation. PhD Thesis, Institute for Informatics, University of Munich (2004)

    Google Scholar 

  119. Schaffert, S., Bry, F.: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Extreme Markup Languages (2004)

    Google Scholar 

  120. Schenk, S., Staab, S.: Networked graphs: a declarative mechanism for SPARQL rules, SPARQL views and RDF data integration on the web. In: Huai, J., Chen, R., Hon, H.-W., Liu, Y., Ma, W.-Y., Tomkins, A., Zhang, X. (eds.) WWW, pp. 585–594. ACM, New York (2008)

    Chapter  Google Scholar 

  121. Sintek, M., Decker, S.: Triple - an rdf query, inference, and transformation language. In: INAP, pp. 47–56 (2001)

    Google Scholar 

  122. Sintek, M., Decker, S.: Triple - a query, inference, and transformation language for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 364–378. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  123. Smith, M.K., Welty, C., McGuinness, D.L. (eds.): OWL Web Ontology Language Guide. W3C Recommendation. World Wide Web Consortium, W3C (2004)

    Google Scholar 

  124. Swift, T.: Deduction in ontologies via asp. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 275–288. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  125. ter Horst, H.J.: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 668–684. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  126. ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Sem. 3(2-3), 79–115 (2005)

    Article  Google Scholar 

  127. Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville (1988)

    Google Scholar 

  128. Wilks, Y., Brewster, C.: Natural Language Processing as a Foundation of the Semantic Web. Foundations and Trends in Web Science 1(3-4), 199–327 (2009)

    Google Scholar 

  129. Wilks, Y., Brewster, C.: Natural Language Processing as a Foundation of the Semantic Web. Now Publishers Inc. (2009)

    Google Scholar 

  130. Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. J. Data Semantics 1, 69–97 (2003)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Informatics, Ludwig-Maximilians-Universität München, Oettingenstr. 67, 80538, München, Germany

    François Bry

  2. Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK

    Tim Furche, Clemens Ley & Bruno Marnette

  3. Thomson Reuters, Landsberger Straße 191a, 80687, München, Germany

    Benedikt Linse

  4. Knowledge and Media Technologies, Salzburg Research, Jakob Haringer Str. 5/III, 5020, Salzburg, Austria

    Sebastian Schaffert

Authors
  1. François Bry
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim Furche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Clemens Ley
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bruno Marnette
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Benedikt Linse
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Sebastian Schaffert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Oxford University, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Oege de Moor

  2. Department of Computer Science, University of Oxford, UK

    Georg Gottlob , Tim Furche  & Andrew Sellers ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bry, F., Furche, T., Ley, C., Marnette, B., Linse, B., Schaffert, S. (2011). Datalog Relaunched: Simulation Unification and Value Invention. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds) Datalog Reloaded. Datalog 2.0 2010. Lecture Notes in Computer Science, vol 6702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24206-9_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24206-9_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24205-2

  • Online ISBN: 978-3-642-24206-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation