Boris Motik

Datalog Reasoning over Compressed RDF Knowledge Bases

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

Figure 2 for Datalog Reasoning over Compressed RDF Knowledge Bases

Figure 3 for Datalog Reasoning over Compressed RDF Knowledge Bases

Figure 4 for Datalog Reasoning over Compressed RDF Knowledge Bases

* CIKM 2019

Access Paper or Ask Questions

Modular Materialisation of Datalog Programs

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

Figure 2 for Modular Materialisation of Datalog Programs

* Accepted at AAAI 2019

Access Paper or Ask Questions

Stratified Negation in Limit Datalog Programs

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

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

Access Paper or Ask Questions

Goal-Driven Query Answering for Existential Rules with Equality

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

Figure 2 for Goal-Driven Query Answering for Existential Rules with Equality

Figure 3 for Goal-Driven Query Answering for Existential Rules with Equality

Access Paper or Ask Questions

Optimised Maintenance of Datalog Materialisations

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

Figure 2 for Optimised Maintenance of Datalog Materialisations

* AAAI 2018

Access Paper or Ask Questions

Foundations of Declarative Data Analysis Using Limit Datalog Programs

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

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

Access Paper or Ask Questions

Stream Reasoning in Temporal Datalog

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

Access Paper or Ask Questions

Extending Consequence-Based Reasoning to SRIQ

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

Figure 2 for Extending Consequence-Based Reasoning to SRIQ

Figure 3 for Extending Consequence-Based Reasoning to SRIQ

Figure 4 for Extending Consequence-Based Reasoning to SRIQ

Access Paper or Ask Questions

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

May 13, 2015
Giorgio Stefanoni, Boris Motik

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

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

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

* 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

1

2

>>