Boris Motik

Orcid: 0000-0003-2506-4118

Affiliations:
  • University of Oxford, UK


According to our database1, Boris Motik authored at least 136 papers between 2002 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022
Materialisation and data partitioning algorithms for distributed RDF systems.
J. Web Semant., 2022

Rewriting the Infinite Chase.
Proc. VLDB Endow., 2022

The Complexity and Expressive Power of Limit Datalog.
J. ACM, 2022

Modular materialisation of Datalog programs.
Artif. Intell., 2022

Faithful Approaches to Rule Learning.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Explainable GNN-Based Models over Knowledge Graphs.
Proceedings of the Tenth International Conference on Learning Representations, 2022

The Dow Jones Knowledge Graph.
Proceedings of the Semantic Web - 19th International Conference, 2022

Datalog Rewriting for Guarded TGDs.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021
Event Detection on Microposts: A Comparison of Four Approaches.
IEEE Trans. Knowl. Data Eng., 2021

Streaming Partitioning of RDF Graphs for Datalog Reasoning.
Proceedings of the Semantic Web - 18th International Conference, 2021

2020
A Context-Aware Recommendation System for Mobile Devices.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Community-Based RDF Partitioning.
Proceedings of the 12th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

2019
Limit Datalog: A Declarative Query Language for Data Analysis.
SIGMOD Rec., 2019

Maintenance of datalog materialisations revisited.
Artif. Intell., 2019

Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange.
Proceedings of the Semantic Web - ISWC 2019, 2019

Datalog Reasoning over Compressed RDF Knowledge Bases.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018
Dynamic Data Exchange in Distributed RDF Stores.
IEEE Trans. Knowl. Data Eng., 2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
J. Artif. Intell. Res., 2018

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation.
Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Stratified Negation in Limit Datalog Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stream Reasoning in Temporal Datalog.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Optimised Maintenance of Datalog Materialisations.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Goal-Driven Query Answering for Existential Rules With Equality.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Benchmarking the Chase.
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine.
Proceedings of the Fifth International Workshop on Graph Data-management Experiences & Systems, 2017

ArmaTweet: Detecting Events by Semantic Tweet Analysis.
Proceedings of the Semantic Web - 14th International Conference, 2017

2016
Distributed RDF Query Answering with Dynamic Data Exchange.
Proceedings of the Semantic Web - ISWC 2016, 2016

Semantic Technologies for Data Analysis in Health Care.
Proceedings of the Semantic Web - ISWC 2016, 2016

Extending Consequence-Based Reasoning to SRIQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015
RDFox: A Highly-Scalable RDF Store.
Proceedings of the Semantic Web - ISWC 2015, 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending Consequence-Based Reasoning to SHIQ.
Proceedings of the 28th International Workshop on Description Logics, 2015

Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Handling Owl: sameAs via Rewriting.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
HermiT: An OWL 2 Reasoner.
J. Autom. Reason., 2014

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases.
J. Artif. Intell. Res., 2014

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

Consequence-based and fixed-parameter tractable reasoning in description logics.
Artif. Intell., 2014

Querying Distributed RDF Graphs: The Effects of Partitioning.
Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 13th International Semantic Web Conference (ISWC 2014), 2014

Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
J. Artif. Intell. Res., 2013

The Energy Management Adviser at EDF.
Proceedings of the Semantic Web - ISWC 2013, 2013

Computing Datalog Rewritings Beyond Horn Ontologies.
Proceedings of the IJCAI 2013, 2013

Introducing Nominals to the Combined Query Answering Approaches for EL.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Representing and querying validity time in RDF and OWL: A logic-based approach.
J. Web Semant., 2012

A novel approach to ontology classification.
J. Web Semant., 2012

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
J. Artif. Intell. Res., 2012

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
J. Artif. Intell. Res., 2012

Delta-reasoner: a semantic web reasoner for an intelligent mobile platform.
Proceedings of the 21st World Wide Web Conference, 2012

Classifying Chemicals Using Description Graphs and Logic Programming.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

The HermiT OWL Reasoner.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Modelling Structured Domains Using Description Graphs and Logic Programming.
Proceedings of the Semantic Web: Research and Applications, 2012

Small Datalog Query Rewritings for EL.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Building an Efficient OWL 2 DL Reasoner.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011
Chemical knowledge representation with description graphs and logic programming.
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.
Proceedings of the Semantic Web - ISWC 2011, 2011

Fixed Parameter Tractable Reasoning in DLs via Decomposition.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Tractable query answering and rewriting under description logic constraints.
J. Appl. Log., 2010

Reconciling description logics and rules.
J. ACM, 2010

Optimising Ontology Classification.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Pushing the Limits of Reasoning over Ontologies with Hidden Content.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Combining Description Logics, Description Graphs, and Rules.
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Optimized DL Reasoning via Core Blocking.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Optimized Description Logic Reasoning via Core Blocking.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
Resolution-Based Reasoning for Ontologies.
Proceedings of the Handbook on Ontologies, 2009

Bridging the gap between OWL and relational databases.
J. Web Semant., 2009

Hypertableau Reasoning for Description Logics.
J. Artif. Intell. Res., 2009

Representing ontologies using description logics, description graphs, and rules.
Artif. Intell., 2009

Efficient Query Answering for OWL 2.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Practical Aspects of Query Rewriting for OWL 2.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Import-by-Query: Ontology Reasoning under Access Limitations.
Proceedings of the IJCAI 2009, 2009

Exploiting Partial Information in Taxonomy Construction.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

A Comparison of Query Rewriting Techniques for DL-lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Importing Ontologies with Hidden Content.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
OWL 2: The next step for OWL.
J. Web Semant., 2008

A Resolution-Based Decision Procedure for <i>SHOIQ</i>.
J. Autom. Reason., 2008

Deciding expressive description logics in the framework of resolution.
Inf. Comput., 2008

AI's 10 to Watch.
IEEE Intell. Syst., 2008

KAON2 - Scalable Reasoning over Ontologies with Large Data Sets.
ERCIM News, 2008

Structured objects in owl: representation and reasoning.
Proceedings of the 17th International Conference on World Wide Web, 2008

OWL Datatypes: Design and Implementation.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

HermiT: A Highly-Efficient OWL Reasoner.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Representation of Structured Objects in DLs using Description Graphs.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Individual Reuse in Description Logic Reasoning.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Metalevel Information in Ontology-Based Applications.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
On the Properties of Metamodeling in OWL.
J. Log. Comput., 2007

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
J. Autom. Reason., 2007

OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.
Proceedings of the Semantic Web, 2007

Adding Integrity Constraints to OWL.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Faithful Integration of Description Logics with Logic Programming.
Proceedings of the IJCAI 2007, 2007

A Hypertableau Calculus for SHIQ.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Optimized Reasoning in Description Logics Using Hypertableaux.
Proceedings of the Automated Deduction, 2007

2006
Reasoning in description logics using resolution and deductive databases.
PhD thesis, 2006

Can OWL and Logic Programming Live Together Happily Ever After?
Proceedings of the Semantic Web - ISWC 2006, 5th International Semantic Web Conference, 2006

Problems with OWL Syntax.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
Proceedings of the Logic for Programming, 2006

Matching Semantic Service Descriptions with Local Closed-World Reasoning.
Proceedings of the Semantic Web: Research and Applications, 2006

2005
Query Answering for OWL-DL with rules.
J. Web Semant., 2005

Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.
J. Data Semant., 2005

Bridging the Paradigm Gap with Rules for OWL.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Closed World Reasoning in the Semantic Web through Epistemic Operators.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Data Complexity of Reasoning in Very Expressive Description Logics.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A mapping system for the integration of OWL-DL ontologies.
Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Description Logics and Disjunctive Datalog - The Story so Far.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Ontology Representation and Querying for Realizing Semantics-Driven Applications.
Proceedings of the Multimedia Content and the Semantic Web, 2005

2004
Variance in e-Business Service Discovery.
Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
Proceedings of the Logic for Programming, 2004

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Extensible Ontology Software Environment.
Proceedings of the Handbook on Ontologies, 2004

2003
Managing multiple and distributed ontologies on the Semantic Web.
VLDB J., 2003

Ontologies for Enterprise Knowledge Management.
IEEE Intell. Syst., 2003

Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht.
Datenbank-Spektrum, 2003

KAON SERVER - A Semantic Web Management System.
Proceedings of the Twelfth International World Wide Web Conference, 2003

An infrastructure for searching, reusing and evolving distributed ontologies.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Incremental Maintenance of dynamic Datalog programs.
Proceedings of the PSSS1, 2003

Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Incremental Maintenance of Materialized Ontologies.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

2002
Managing Multiple Ontologies and Ontology Evolution in Ontologging.
Proceedings of the Intelligent Information Processing, 2002

Ontology Evolution within Ontology Editors.
Proceedings of the EON2002, 2002

User-Driven Ontology Evolution Management.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

MAFRA - A MApping FRAmework for Distributed Ontologies.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

KAON - Towards a Large Scale Semantic Web.
Proceedings of the E-Commerce and Web Technologies, Third International Conference, 2002

A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications.
Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002


  Loading...