| Publication | Date of Publication | Type |
|---|
| Making decisions with knowledge base repairs | 2024-02-23 | Paper |
| The Probabilistic Description Logic | 2023-12-12 | Paper |
| Consequence-based axiom pinpointing | 2023-07-28 | Paper |
| Pinpointing axioms in ontologies via ASP | 2023-04-04 | Paper |
| Introduction to Probabilistic Ontologies | 2023-03-24 | Paper |
| Fuzzy Description Logics – A Survey | 2022-11-04 | Paper |
| Towards Statistical Reasoning in Description Logics over Finite Domains | 2022-11-04 | Paper |
| Repairing socially aggregated ontologies using axiom weakening | 2022-11-02 | Paper |
| Inconsistency-tolerant instance checking in tractable description logics | 2022-07-01 | Paper |
| Query answering in fuzzy DL-Lite with graded axioms | 2021-02-23 | Paper |
| Explaining axiom pinpointing | 2020-06-04 | Paper |
| A Bayesian extension of the description logic \(\mathcal{ALC}\) | 2020-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4627753 | 2019-03-11 | Paper |
| Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) | 2018-08-06 | Paper |
| Complexity Results for Probabilistic Datalog | 2018-07-12 | Paper |
| The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm | 2017-11-21 | Paper |
| Understanding the complexity of axiom pinpointing in lightweight description logics | 2017-11-16 | Paper |
| Reasoning in fuzzy description logics using automata | 2017-11-14 | Paper |
| Fuzzy answer set computation via satisfiability modulo theories | 2017-11-09 | Paper |
| The Bayesian ontology language \(\mathcal {BEL}\) | 2017-07-10 | Paper |
| Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy | 2017-06-20 | Paper |
| An automata view to goal-directed methods | 2017-06-01 | Paper |
| Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics | 2017-03-29 | Paper |
| Reasoning in expressive description logics under infinitely valued Gödel semantics | 2017-02-27 | Paper |
| Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities | 2016-12-19 | Paper |
| Efficient reasoning for inconsistent Horn formulae | 2016-11-30 | Paper |
| BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies | 2016-09-05 | Paper |
| The inclusion problem for weighted automata on infinite trees | 2016-07-26 | Paper |
| Similarity-based relaxed instance queries | 2015-12-23 | Paper |
| On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions | 2015-04-23 | Paper |
| The limits of decidability in fuzzy description logics with general concept inclusions | 2015-02-02 | Paper |
| Error-tolerant reasoning in the description logic \(\mathcal{EL}\) | 2015-01-14 | Paper |
| The fuzzy description logic \(\mathsf{G}\)-\({\mathcal{FL}_0}\) with greatest fixed-point semantics | 2015-01-14 | Paper |
| Tight complexity bounds for reasoning in the description logic \(\mathcal{BEL}\) | 2015-01-14 | Paper |
| Consistency reasoning in lattice-based fuzzy description logics | 2014-10-23 | Paper |
| Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities | 2014-10-23 | Paper |
| The Bayesian description logic \({\mathcal{BEL}}\) | 2014-09-26 | Paper |
| The complexity of computing the behaviour of lattice automata on infinite trees | 2014-04-29 | Paper |
| Fuzzy answer sets approximations | 2014-02-27 | Paper |
| Roughening the \(\mathcal{EL}\) envelope | 2013-09-20 | Paper |
| How fuzzy is my fuzzy description logic? | 2012-09-05 | Paper |
| On the undecidability of fuzzy description logics with GCIs and product t-norm | 2011-10-07 | Paper |
| Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics | 2011-05-11 | Paper |
| Automata-based axiom pinpointing | 2010-10-08 | Paper |
| Using sums-of-products for non-standard reasoning | 2010-05-26 | Paper |
| Axiom Pinpointing in General Tableaux | 2010-02-19 | Paper |
| Automata-Based Axiom Pinpointing | 2008-11-27 | Paper |
| Automata can show PSpace results for description logics | 2008-10-08 | Paper |
| Axiom Pinpointing in General Tableaux | 2008-01-04 | Paper |
