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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Boris Motik