Motik, Boris

24 publications

ICLR 2022 Explainable GNN-Based Models over Knowledge Graphs David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik

AAAI 2019 Modular Materialisation of Datalog Programs Pan Hu, Boris Motik, Ian Horrocks

JAIR 2018 Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks

AAAI 2018 Goal-Driven Query Answering for Existential Rules with Equality Michael Benedikt, Boris Motik, Efthymia Tsamoura

AAAI 2018 Optimised Maintenance of Datalog Materialisations Pan Hu, Boris Motik, Ian Horrocks

IJCAI 2018 Stratified Negation in Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

AAAI 2018 Stream Reasoning in Temporal Datalog Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

IJCAI 2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

AAAI 2015 Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles Giorgio Stefanoni, Boris Motik

IJCAI 2015 Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks

AAAI 2015 Handling Owl: sameAs via Rewriting Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

AAAI 2015 Incremental Update of Datalog Materialisation: The Backward/Forward Algorithm Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

AAAI 2014 Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu

JAIR 2014 The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph

JAIR 2013 Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang

IJCAI 2013 Computing Datalog Rewritings Beyond Horn Ontologies Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

AAAI 2013 Introducing Nominals to the Combined Query Answering Approaches for EL Giorgio Stefanoni, Boris Motik, Ian Horrocks

JAIR 2012 Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

JAIR 2012 Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach Bernardo Cuenca Grau, Boris Motik

JAIR 2009 Hypertableau Reasoning for Description Logics Boris Motik, Robert D. C. Shearer, Ian Horrocks

IJCAI 2009 Import-by-Query: Ontology Reasoning Under Access Limitations Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov

AAAI 2008 Metalevel Information in Ontology-Based Applications Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks

IJCAI 2007 A Faithful Integration of Description Logics with Logic Programming Boris Motik, Riccardo Rosati

IJCAI 2005 Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt, Boris Motik, Ulrike Sattler