Skip to main content
SpringerLink
Log in
Book cover

International Semantic Web Conference

ISWC 2019: The Semantic Web – ISWC 2019 pp 19–35Cite as

VLog: A Rule Engine for Knowledge Graphs

  • Conference paper
  • First Online:

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

Abstract

Knowledge graphs are crucial assets for tasks like query answering or data integration. These tasks can be viewed as reasoning problems, which in turn require efficient reasoning systems to be implemented. To this end, we present VLog, a rule-based reasoner designed to satisfy the requirements of modern use cases, with a focus on performance and adaptability to different scenarios. We address the former with a novel vertical storage layout, and the latter by abstracting the access to data sources and providing a platform-independent Java API. Features of VLog include fast Datalog materialisation, support for reasoning with existential rules, stratified negation, and data integration from a variety of sources, such as high-performance RDF stores, relational databases, CSV files, OWL ontologies, and remote SPARQL endpoints.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.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

Learn about institutional subscriptions

Notes

  1. 1.

    https://github.com/karmaresearch/vlog and https://github.com/knowsys/vlog4j.

  2. 2.

    More information about the disease ontology at http://disease-ontology.org/.

  3. 3.

    See file DoidExample.java in the vlog4j-examples module (VLog4j repository).

  4. 4.

    https://github.com/karmaresearch/vlog/wiki/Web-Interface.

  5. 5.

    Evaluation materials at https://github.com/knowsys/eval-2019-ISWC-VLog.

  6. 6.

    https://www.ebi.ac.uk.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Boston (1994)

    MATH  Google Scholar 

  2. Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215–221. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61660-5_19

    Chapter  Google Scholar 

  3. Baget, J.F., Leclère, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: walking the decidability line. J. Artif. Intell. Res. 175, 1620–1654 (2011)

    Article  MathSciNet  Google Scholar 

  4. Baget, J.-F., Leclère, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Graal: a toolkit for query answering with existential rules. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 328–344. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21542-6_21

    Chapter  Google Scholar 

  5. Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: datalog-based reasoning for knowledge graphs. J. PVLDB 11(9), 975–987 (2018)

    Google Scholar 

  6. Benedikt, M., et al.: Benchmarking the chase. In: Proceedings of the 36th Symposium on Principles of Database Systems (PODS) (2017)

    Google Scholar 

  7. Benedikt, M., Leblay, J., Tsamoura, E.: PDQ: proof-driven query answering over web-based data. J. PVLDB 7, 1553–1556 (2014)

    Google Scholar 

  8. Carral, D., Dragoste, I., Krötzsch, M.: Restricted chase (non)termination for existential rules with disjunctions. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI) (2017)

    Google Scholar 

  9. Carral, D., Dragoste, I., Krötzsch, M.: The combined approach to query answering in Horn-\(\cal{ALCHOIQ}\). In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) (2018)

    Google Scholar 

  10. Carral, D., Feier, C., Hitzler, P.: A practical acyclicity notion for query answering over Horn-\(\cal{SRIQ}\) ontologies. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 70–85. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46523-4_5

    Chapter  Google Scholar 

  11. Carral, D., González, L., Koopmann, P.: From Horn-\(\cal{SRIQ}\) to datalog: a data-independent transformation that preserves assertion entailment. In: Proceedings of the 33rd Conference on Artificial Intelligence (AAAI) (2019)

    Google Scholar 

  12. Cuenca Grau, B., et al.: Acyclicity notions for existential rules and their application to query answering in ontologies. J. Artif. Intell. Res. 47, 741–808 (2013)

    Article  MathSciNet  Google Scholar 

  13. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. J. Theor. Comput. Sci. 336, 89–124 (2005)

    Article  MathSciNet  Google Scholar 

  14. Geerts, F., Mecca, G., Papotti, P., Santoro, D.: That’s all folks! LLUNATIC goes open source. J. PVLDB 7(13), 1565–1568 (2014)

    Google Scholar 

  15. Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: HermiT: an OWL 2 reasoner. J. Autom. Reason. 53(3), 245–269 (2014)

    Article  Google Scholar 

  16. Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: rules to the rescue. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) (2015)

    Google Scholar 

  17. Gottlob, G., Pieris, A., Sallinger, E.: Vadalog: recent advances and applications. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 21–37. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-19570-0_2

    Chapter  Google Scholar 

  18. Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3, 158–182 (2005)

    Article  Google Scholar 

  19. Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. J. Semant. Web 2, 11–21 (2011)

    Article  Google Scholar 

  20. Kazakov, Y.: Consequence-driven reasoning for Horn-\(\cal{SHIQ}\) ontologies. In: Proceedings of the 21st International Joint Conferences on Artificial Intelligence (IJCAI) (2009)

    Google Scholar 

  21. Krötzsch, M.: Efficient rule-based inferencing for OWL EL. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI) (2011)

    Google Scholar 

  22. Krötzsch, M., Maier, F., Krisnadhi, A.A., Hitzler, P.: A better uncle for OWL: nominal schemas for integrating rules and ontologies. In: Proceedings of the 20th International Conference on World Wide Web (WWW) (2011)

    Google Scholar 

  23. Krötzsch, M., Marx, M., Rudolph, S.: The power of the terminating chase (invited talk). In: Proceedings of the 22nd International Conference on Database Theory (ICDT) (2019)

    Google Scholar 

  24. Leone, N., et al.: The DLV system for knowledge representation and reasoning. J. ACM Trans. Comput. Log. 7, 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  25. Leskovec, J., Faloutsos, C.: Sampling from large graphs. In: Proceedings of the 12th International Conference on Knowledge Discovery and Data Mining (ACM SIGKDD) (2006)

    Google Scholar 

  26. Malyshev, S., Krötzsch, M., González, L., Gonsior, J., Bielefeldt, A.: Getting the most out of Wikidata: semantic technology usage in Wikipedia’s knowledge graph. In: Vrandečić, D., et al. (eds.) ISWC 2018. LNCS, vol. 11137, pp. 376–394. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00668-6_23

    Chapter  Google Scholar 

  27. Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: Proceedings of the 28th Conference on Artificial Intelligence (AAAI) (2014)

    Google Scholar 

  28. Motik, B., Sattler, U., Studer, R.: Query answering for OWL DL with rules. J. Web Semant. 3, 41–60 (2005)

    Article  Google Scholar 

  29. Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: RDFox: a highly-scalable RDF store. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 3–20. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_1

    Chapter  Google Scholar 

  30. Pichler, R., Savenkov, V.: Demo: data exchange modeling tool. J. PVLDB 2, 1606–1609 (2009)

    Google Scholar 

  31. Piro, R., et al.: Semantic technologies for data analysis in health care. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9982, pp. 400–417. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46547-0_34

    Chapter  Google Scholar 

  32. Potter, A., Motik, B., Nenov, Y., Horrocks, I.: Dynamic data exchange in distributed RDF stores. J. IEEE Trans. Knowl. Data Eng. 30, 2312–2325 (2018)

    Article  Google Scholar 

  33. Rebele, T., Tanon, T.P., Suchanek, F.: Bash datalog: answering datalog queries with unix shell commands. In: Vrandečić, D., et al. (eds.) ISWC 2018. LNCS, vol. 11136, pp. 566–582. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00671-6_33

    Chapter  Google Scholar 

  34. Seo, J., Guo, S., Lam, M.S.: SociaLite: an efficient graph query language based on datalog. J. IEEE Trans. Knowl. Data Eng. 27, 1824–1837 (2015)

    Article  Google Scholar 

  35. Siow, E., Tiropanis, T., Hall, W.: SPARQL-to-SQL on internet of things databases and streams. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 515–531. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46523-4_31

    Chapter  Google Scholar 

  36. Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78–85 (2014)

    Article  Google Scholar 

  37. Urbani, J., Jacobs, C., Krötzsch, M.: Column-oriented datalog materialization for large knowledge graphs. In: Proceedings of the 30th Conference on Artificial Intelligence (AAAI) (2016)

    Google Scholar 

  38. Urbani, J., Krötzsch, M., Jacobs, C., Dragoste, I., Carral, D.: Efficient model construction for horn logic with VLog: system description. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 680–688. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94205-6_44

    Chapter  Google Scholar 

  39. Vrandečić, D., Krötzsch, M.: Wikidata: a free collaborative knowledge base. J. Commun. ACM 57, 78–85 (2014)

    Article  Google Scholar 

  40. Zhou, Y., Cuenca Grau, B., Nenov, Y., Kaminski, M., Horrocks, I.: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. J. Artif. Intell. Res. 54, 309–367 (2015)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work is partly supported by DFG in projects 389792660 (TRR 248, Center for Perspicuous Systems) and KR 4381/1-1 (DIAMOND).

Author information

Authors and Affiliations

  1. TU Dresden, Dresden, Germany

    David Carral, Irina Dragoste, Larry González & Markus Krötzsch

  2. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Ceriel Jacobs & Jacopo Urbani

Authors
  1. David Carral
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irina Dragoste
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Larry González
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ceriel Jacobs
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Markus Krötzsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jacopo Urbani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jacopo Urbani .

Editor information

Editors and Affiliations

  1. Fondazione Bruno Kessler, Trento, Italy

    Chiara Ghidini

  2. Linköping University, Linköping, Sweden

    Olaf Hartig

  3. University of Bonn, Bonn, Germany

    Maria Maleshkova

  4. University of Economics Prague, Prague, Czech Republic

    Vojtěch Svátek

  5. University of Illinois at Chicago, Chicago, IL, USA

    Isabel Cruz

  6. University of Chile, Santiago, Chile

    Aidan Hogan

  7. Memect Technology, Beijing, China

    Jie Song

  8. Mines Saint-Etienne, Saint-Etienne, France

    Maxime Lefrançois

  9. Inria Sophia Antipolis - Méditerranée, Sophia Antipolis, France

    Fabien Gandon

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Carral, D., Dragoste, I., González, L., Jacobs, C., Krötzsch, M., Urbani, J. (2019). VLog: A Rule Engine for Knowledge Graphs. In: Ghidini, C., et al. The Semantic Web – ISWC 2019. ISWC 2019. Lecture Notes in Computer Science(), vol 11779. Springer, Cham. https://doi.org/10.1007/978-3-030-30796-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-30796-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-30795-0

  • Online ISBN: 978-3-030-30796-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation