Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Datalog Reasoning over Compressed RDF Knowledge Bases


Aug 29, 2019
Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks

Add code

* CIKM 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Modular Materialisation of Datalog Programs


Nov 13, 2018
Pan Hu, Boris Motik, Ian Horrocks

Add code

* Accepted at AAAI 2019 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Stratified Negation in Limit Datalog Programs


Apr 25, 2018
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

Add code

* 14 pages; full version of a paper accepted at IJCAI-18 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Goal-Driven Query Answering for Existential Rules with Equality


Nov 20, 2017
Michael Benedikt, Boris Motik, Efthymia Tsamoura

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Optimised Maintenance of Datalog Materialisations


Nov 20, 2017
Pan Hu, Boris Motik, Ian Horrocks

Add code

* AAAI 2018 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Foundations of Declarative Data Analysis Using Limit Datalog Programs


Nov 12, 2017
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

Add code

* 23 pages; full version of a paper accepted at IJCAI-17; v2 fixes some typos and improves the acknowledgments 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Stream Reasoning in Temporal Datalog


Nov 10, 2017
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Extending Consequence-Based Reasoning to SRIQ


Feb 23, 2016
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks

Add code


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles


May 13, 2015
Giorgio Stefanoni, Boris Motik

Add code

* Extended version of a paper to appear on AAAI-15. In this version of the report, we fixed a few typos; all the results are unchanged 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>