| 2024 | ICALP | Decidability of Graph Neural Networks via Logical Characterizations. | Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan |
| 2023 | KR | On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. | David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev |
| 2022 | ICLR | Explainable GNN-Based Models over Knowledge Graphs. | David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik |
| 2022 | KR | Faithful Approaches to Rule Learning. | David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik |
| 2019 | AAAI | Modular Materialisation of Datalog Programs. | Pan Hu, Boris Motik, Ian Horrocks |
| 2019 | CIKM | Datalog Reasoning over Compressed RDF Knowledge Bases. | Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks |
| 2018 | AAAI | Goal-Driven Query Answering for Existential Rules With Equality. | Michael Benedikt, Boris Motik, Efthymia Tsamoura |
| 2018 | AAAI | Optimised Maintenance of Datalog Materialisations. | Pan Hu, Boris Motik, Ian Horrocks |
| 2018 | AAAI | Stream Reasoning in Temporal Datalog. | Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks |
| 2018 | IJCAI | Stratified Negation in Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2018 | WWW | Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. | Giorgio Stefanoni, Boris Motik, Egor V. Kostylev |
| 2017 | IJCAI | Foundations of Declarative Data Analysis Using Limit Datalog Programs. | Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks |
| 2017 | PODS | Benchmarking the Chase. | Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura |
| 2016 | KR | Extending Consequence-Based Reasoning to SRIQ. | Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simanck, Ian Horrocks |
| 2015 | AAAI | Handling Owl: sameAs via Rewriting. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | AAAI | Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. | Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks |
| 2015 | AAAI | Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. | Giorgio Stefanoni, Boris Motik |
| 2015 | IJCAI | Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks |
| 2014 | AAAI | Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. | Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu |
| 2013 | AAAI | Introducing Nominals to the Combined Query Answering Approaches for EL. | Giorgio Stefanoni, Boris Motik, Ian Horrocks |
| 2013 | IJCAI | Computing Datalog Rewritings Beyond Horn Ontologies. | Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks |
| 2012 | CADE | Building an Efficient OWL 2 DL Reasoner. | Boris Motik |
| 2012 | KR | Acyclicity Conditions and their Application to Query Answering in Description Logics. | Bernardo Cuenca Grau, Ian Horrocks, Markus Krtzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| 2012 | LPAR | Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. | Boris Motik |
| 2012 | WWW | Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. | Boris Motik, Ian Horrocks, Su Myeon Kim |
| 2010 | CADE | Optimized Description Logic Reasoning via Core Blocking. | Birte Glimm, Ian Horrocks, Boris Motik |
| 2010 | ICCS | Combining Description Logics, Description Graphs, and Rules. | Boris Motik |
| 2010 | KR | Pushing the Limits of Reasoning over Ontologies with Hidden Content. | Bernardo Cuenca Grau, Boris Motik |
| 2009 | IJCAI | Import-by-Query: Ontology Reasoning under Access Limitations. | Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov |
| 2008 | AAAI | Metalevel Information in Ontology-Based Applications. | Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks |
| 2008 | CADE | Individual Reuse in Description Logic Reasoning. | Boris Motik, Ian Horrocks |
| 2008 | KR | Representing Structured Objects using Description Graphs. | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
| 2008 | WWW | Structured objects in owl: representation and reasoning. | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
| 2007 | CADE | Optimized Reasoning in Description Logics Using Hypertableaux. | Boris Motik, Robert D. C. Shearer, Ian Horrocks |
| 2007 | IJCAI | A Faithful Integration of Description Logics with Logic Programming. | Boris Motik, Riccardo Rosati |
| 2007 | WWW | Bridging the gap between OWL and relational databases. | Boris Motik, Ian Horrocks, Ulrike Sattler |
| 2006 | CADE | A Resolution-Based Decision Procedure for | Yevgeny Kazakov, Boris Motik |
| 2006 | LPAR | A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. | Boris Motik, Ulrike Sattler |
| 2005 | IJCAI | Data Complexity of Reasoning in Very Expressive Description Logics. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | ECAI | Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | KR | Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | LPAR | A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2003 | CoopIS | A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. | Gbor Nagypl, Boris Motik |
| 2003 | CoopIS | Incremental Maintenance of Materialized Ontologies. | Raphael Volz, Steffen Staab, Boris Motik |
| 2003 | WWW | An infrastructure for searching, reusing and evolving distributed ontologies. | Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz |
| 2003 | WWW | KAON SERVER - A Semantic Web Management System. | Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik |
| 2002 | CoopIS | A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. | Boris Motik, Alexander Maedche, Raphael Volz |
| 2002 | EKAW | MAFRA - A MApping FRAmework for Distributed Ontologies. | Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz |
| 2002 | EKAW | User-Driven Ontology Evolution Management. | Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic |