| 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 |
| https://portal.mardi4nfdi.de/entity/Q5740415 | 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{E{\kern-.1em}L}$ | 2015-01-14 | Paper |
| The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics | 2015-01-14 | Paper |
| Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$ | 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 |
