Boris Motik

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 46

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
Decidability of Graph Neural Networks via Logical Characterizations. ICALP (2024)
Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
Decidability of Graph Neural Networks via Logical Characterizations. CoRR (2024)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR (2023)
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR (2023)
David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik
Explainable GNN-Based Models over Knowledge Graphs. ICLR (2022)
David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
Faithful Approaches to Rule Learning. KR (2022)
Temitope Ajileye, Boris Motik
Materialisation and data partitioning algorithms for distributed RDF systems. J. Web Semant. 73 (2022)
Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
The Complexity and Expressive Power of Limit Datalog. J. ACM 69 (1) (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Rewriting the Infinite Chase. Proc. VLDB Endow. 15 (11) (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Datalog Rewriting for Guarded TGDs. Datalog (2022)
Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy
The Dow Jones Knowledge Graph. ESWC (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Rewriting the Infinite Chase. CoRR (2022)
Pan Hu, Boris Motik, Ian Horrocks
Modular materialisation of Datalog programs. Artif. Intell. 308 (2022)
Temitope Ajileye, Boris Motik, Ian Horrocks
Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC (2021)
Akansha Bhardwaj, Albert Blarer, Philippe Cudré-Mauroux, Vincent Lenders, Boris Motik, Axel Tanner, Alberto Tonon
Event Detection on Microposts: A Comparison of Four Approaches. IEEE Trans. Knowl. Data Eng. 33 (4) (2021)
Jaehun Lee, Taeho Hwang, Jungho Park, Yunsu Lee, Boris Motik, Ian Horrocks
A Context-Aware Recommendation System for Mobile Devices. ISWC (Demos/Industry) (2020)
Fredah Banda, Boris Motik
Community-Based RDF Partitioning. SSWS@ISWC (2020)
Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev, Boris Motik
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48 (4) (2019)
Pan Hu, Boris Motik, Ian Horrocks
Modular Materialisation of Datalog Programs. AAAI (2019)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Maintenance of datalog materialisations revisited. Artif. Intell. 269 (2019)
Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM (2019)
Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks
Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR (2019)
Temitope Ajileye, Boris Motik, Ian Horrocks
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR (2019)
Temitope Ajileye, Boris Motik, Ian Horrocks
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) (2019)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. AAAI (2018)
Pan Hu, Boris Motik, Ian Horrocks
Optimised Maintenance of Datalog Materialisations. AAAI (2018)
Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. 30 (12) (2018)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63 (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. CoRR (2018)
Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. CoRR (2018)
Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. WWW (2018)
Michael Benedikt, Boris Motik, Efthymia Tsamoura
Goal-Driven Query Answering for Existential Rules With Equality. AAAI (2018)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Stratified Negation in Limit Datalog Programs. IJCAI (2018)
Pan Hu, Boris Motik, Ian Horrocks
Modular Materialisation of Datalog Programs. CoRR (2018)
Nicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks
PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. GRADES@SIGMOD/PODS (2017)
Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura
Benchmarking the Chase. PODS (2017)
Pan Hu, Boris Motik, Ian Horrocks
Optimised Maintenance of Datalog Materialisations. CoRR (2017)
Michael Benedikt, Boris Motik, Efthymia Tsamoura
Goal-Driven Query Answering for Existential Rules with Equality. CoRR (2017)
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Stream Reasoning in Temporal Datalog. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR (2017)
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI (2017)
Alberto Tonon, Philippe Cudré-Mauroux, Albert Blarer, Vincent Lenders, Boris Motik
ArmaTweet: Detecting Events by Semantic Tweet Analysis. ESWC (2) (2017)
Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks, Peter Hendler, Scott Kimberly, Michael Rossman
Semantic Technologies for Data Analysis in Health Care. ISWC (2) (2016)
Anthony Potter, Boris Motik, Yavor Nenov, Ian Horrocks
Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. KR (2016)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SRIQ. CoRR (2016)
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI (2015)
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks
Handling Owl: sameAs via Rewriting. AAAI (2015)
Giorgio Stefanoni, Boris Motik
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. AAAI (2015)
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks
Extending Consequence-Based Reasoning to SHIQ. Description Logics (2015)
Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee
RDFox: A Highly-Scalable RDF Store. ISWC (2) (2015)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR (2015)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI (2015)
Frantisek Simancik, Boris Motik, Ian Horrocks
Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209 (2014)
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53 (3) (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics (2014)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI (2014)
Boris Motik, Robert D. C. Shearer, Ian Horrocks
Hypertableau Reasoning for Description Logics. CoRR (2014)
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Handling owl: sameAs via Rewriting. CoRR (2014)
Giorgio Stefanoni, Boris Motik
Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles. CoRR (2014)
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR (2014)
Anthony Potter, Boris Motik, Ian Horrocks
Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC (2014)
Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51 (2014)
Bernardo Cuenca Grau, Boris Motik
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR (2014)
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Computing Datalog Rewritings beyond Horn Ontologies CoRR (2013)
Giorgio Stefanoni, Boris Motik, Ian Horrocks
Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI (2013)
Giorgio Stefanoni, Boris Motik, Ian Horrocks
Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics (2013)
Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre
The Energy Management Adviser at EDF. ISWC (2) (2013)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47 (2013)
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI (2013)
Giorgio Stefanoni, Boris Motik, Ian Horrocks
Introducing Nominals to the Combined Query Answering Approaches for EL CoRR (2013)
Boris Motik
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR (2012)
Bernardo Cuenca Grau, Boris Motik
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. J. Artif. Intell. Res. 45 (2012)
Ian Horrocks, Boris Motik, Zhe Wang
The HermiT OWL Reasoner. ORE (2012)
Boris Motik, Ian Horrocks, Su Myeon Kim
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) (2012)
Despoina Magka, Boris Motik, Ian Horrocks
Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC (2012)
Giorgio Stefanoni, Boris Motik, Ian Horrocks
Small Datalog Query Rewritings for EL. Description Logics (2012)
Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos
A novel approach to ontology classification. J. Web Semant. 14 (2012)
Boris Motik
Building an Efficient OWL 2 DL Reasoner. PAAR@IJCAR (2012)
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. 43 (2012)
Despoina Magka, Boris Motik, Ian Horrocks
Classifying Chemicals Using Description Graphs and Logic Programming. OWLED (2012)
Boris Motik
Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Semant. 12 (2012)
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR (2012)
Despoina Magka, Boris Motik, Ian Horrocks
Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics (2012)
Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
Repairing Ontologies for Incomplete Reasoners. ISWC (1) (2011)
Frantisek Simancik, Boris Motik, Markus Krötzsch
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics (2011)
Despoina Magka, Boris Motik, Ian Horrocks
Chemical knowledge representation with description graphs and logic programming. SWAT4LS (2011)
Birte Glimm, Ian Horrocks, Boris Motik
Optimized DL Reasoning via Core Blocking. Description Logics (2010)
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos
Optimising Ontology Classification. ISWC (1) (2010)
Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
Tractable query answering and rewriting under description logic constraints. J. Appl. Log. 8 (2) (2010)
Bernardo Cuenca Grau, Boris Motik
Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR (2010)
Birte Glimm, Ian Horrocks, Boris Motik
Optimized Description Logic Reasoning via Core Blocking. IJCAR (2010)
Boris Motik
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. ISWC (1) (2010)
Boris Motik
Combining Description Logics, Description Graphs, and Rules. ICCS (2010)
Boris Motik, Riccardo Rosati
Reconciling description logics and rules. J. ACM 57 (5) (2010)
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173 (14) (2009)
Boris Motik, Ian Horrocks, Ulrike Sattler
Bridging the gap between OWL and relational databases. J. Web Semant. 7 (2) (2009)
Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
Practical Aspects of Query Rewriting for OWL 2. OWLED (2009)
Héctor Pérez-Urbina, Ian Horrocks, Boris Motik
Efficient Query Answering for OWL 2. ISWC (2009)

Boris Motik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Boris Motik