| Publication | Date of Publication | Type |
|---|
Modular materialisation of Datalog programs
Artificial Intelligence | 2022-06-01 | Paper |
The Complexity and Expressive Power of Limit Datalog
Journal of the ACM | 2022-03-31 | Paper |
Maintenance of datalog materialisations revisited
Artificial Intelligence | 2019-08-28 | Paper |
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Journal of Artificial Intelligence Research | 2018-11-30 | Paper |
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence | 2015-08-27 | Paper |
HermiT: an OWL 2 reasoner
Journal of Automated Reasoning | 2015-06-23 | Paper |
The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Journal of Artificial Intelligence Research | 2015-01-14 | Paper |
Acyclicity notions for existential rules and their application to query answering in ontologies
The Journal of Artificial Intelligence Research (JAIR) | 2013-09-06 | Paper |
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research | 2012-12-03 | Paper |
Completeness guarantees for incomplete ontology reasoners: theory and practice
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
Optimized description logic reasoning via core blocking
Automated Reasoning | 2010-09-14 | Paper |
Reconciling description logics and rules
Journal of the ACM | 2010-08-09 | Paper |
Tractable query answering and rewriting under description logic constraints
Journal of Applied Logic | 2010-06-11 | Paper |
Combining description logics, description graphs, and rules
Frontiers of Combining Systems | 2010-01-07 | Paper |
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research | 2009-12-10 | Paper |
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence | 2009-09-14 | Paper |
A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
Automated Reasoning | 2009-03-12 | Paper |
Optimized Reasoning in Description Logics Using Hypertableaux
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Rewriting Conjunctive Queries over Description Logic Knowledge Bases
Semantics in Data and Knowledge Bases | 2009-01-22 | Paper |
Individual Reuse in Description Logic Reasoning
Automated Reasoning | 2008-11-27 | Paper |
A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
Journal of Automated Reasoning | 2008-06-11 | Paper |
Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)
Journal of Automated Reasoning | 2008-06-11 | Paper |
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Deciding expressive description logics in the framework of resolution
Information and Computation | 2008-05-19 | Paper |
Reasoning in description logics by a reduction to disjunctive datalog
Journal of Automated Reasoning | 2007-12-03 | Paper |
On the Properties of Metamodeling in OWL
Journal Of Logic And Computation | 2007-11-19 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Journal on Data Semantics II
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 1948212 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1948216 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1947737 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1927312 (Why is no real title available?) | 2003-06-12 | Paper |
