Boris Motik

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Modular materialisation of Datalog programs	2022-06-01	Paper
The Complexity and Expressive Power of Limit Datalog	2022-03-31	Paper
Maintenance of datalog materialisations revisited	2019-08-28	Paper
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions	2018-11-30	Paper
Consequence-based and fixed-parameter tractable reasoning in description logics	2015-08-27	Paper
HermiT: an OWL 2 reasoner	2015-06-23	Paper
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases	2015-01-14	Paper
Acyclicity notions for existential rules and their application to query answering in ontologies	2013-09-06	Paper
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach	2012-12-03	Paper
Completeness guarantees for incomplete ontology reasoners: theory and practice	2012-05-16	Paper
Optimized Description Logic Reasoning via Core Blocking	2010-09-14	Paper
Reconciling description logics and rules	2010-08-09	Paper
Tractable query answering and rewriting under description logic constraints	2010-06-11	Paper
Combining Description Logics, Description Graphs, and Rules	2010-01-07	Paper
Hypertableau Reasoning for Description Logics	2009-12-10	Paper
Representing ontologies using description logics, description graphs, and rules	2009-09-14	Paper
A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$	2009-03-12	Paper
Optimized Reasoning in Description Logics Using Hypertableaux	2009-03-06	Paper
Rewriting Conjunctive Queries over Description Logic Knowledge Bases	2009-01-22	Paper
Individual Reuse in Description Logic Reasoning	2008-11-27	Paper
A resolution-based decision procedure for ${\mathcal{SHOIQ}}$.	2008-06-11	Paper
Erratum to: A resolution-based decision procedure for ${\mathcal{SHOIQ}}$	2008-06-11	Paper
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes	2008-05-27	Paper
Deciding expressive description logics in the framework of resolution	2008-05-19	Paper
Reasoning in description logics by a reduction to disjunctive datalog	2007-12-03	Paper
On the Properties of Metamodeling in OWL	2007-11-19	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Journal on Data Semantics II	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4411910	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4411915	2003-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4411723	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4484197	2003-06-12	Paper

Research outcomes over time

This page was built for person: Boris Motik