| Publication | Date of Publication | Type |
|---|
| Designing efficient controlled languages for ontologies | 2024-03-25 | Paper |
| Combined covers and Beth definability | 2022-11-09 | Paper |
| Combination of uniform interpolants via Beth definability | 2022-10-24 | Paper |
| Semantic DMN: Formalizing Decision Models with Domain Knowledge | 2022-07-01 | Paper |
| Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) | 2021-11-24 | Paper |
| Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge | 2021-09-03 | Paper |
| SMT-based verification of data-aware processes: a model-theoretic approach | 2020-12-08 | Paper |
| Expressivity and Complexity of MongoDB Queries | 2020-08-06 | Paper |
| From model completeness to verification of data aware processes | 2020-06-04 | Paper |
| The what-to-ask problem for ontology-based peers | 2020-06-04 | Paper |
| Model completeness, covers and superposition | 2020-03-10 | Paper |
| Managing Change in Graph-Structured Data Using Description Logics | 2018-03-22 | Paper |
| First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5276195 | 2017-07-14 | Paper |
| Conjunctive query containment and answering under description logic constraints | 2017-07-12 | Paper |
| Knowledge base exchange: the case of OWL 2 QL | 2016-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740438 | 2016-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457205 | 2015-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455605 | 2015-12-11 | Paper |
| Query Answering over Description Logic Ontologies | 2015-01-14 | Paper |
| Verification of Context-Sensitive Knowledge and Action Bases | 2015-01-14 | Paper |
| Answering regular path queries in expressive description logics via alternating tree-automata | 2014-07-18 | Paper |
| On simplification of schema mappings | 2014-01-20 | Paper |
| Capturing model-based ontology evolution at the instance level: the case of DL-Lite | 2014-01-20 | Paper |
| Reasoning about explanations for negative query answers in \textit{DL-Lite} | 2013-11-28 | Paper |
| Data complexity of query answering in description logics | 2013-08-26 | Paper |
| Description Logic Knowledge and Action Bases | 2013-05-02 | Paper |
| Tractability and intractability of controlled languages for data access | 2012-12-04 | Paper |
| View-based query answering in description logics: semantics and complexity | 2012-05-11 | Paper |
| The Data Complexity of the Syllogistic Fragments of English | 2010-10-12 | Paper |
| The DL-Lite Family and Relations | 2009-12-10 | Paper |
| Ontologies and Databases: The DL-Lite Approach | 2009-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3639039 | 2009-10-28 | Paper |
| Conceptual Modeling for Data Integration | 2009-07-09 | Paper |
| Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies | 2009-01-22 | Paper |
| Data complexity of query answering in expressive description logics via tableaux | 2008-09-10 | Paper |
| Linking Data to Ontologies | 2008-03-06 | Paper |
| Tractable reasoning and efficient query answering in description logics: The DL-Lite family | 2007-12-03 | Paper |
| Reasoning on UML class diagrams | 2007-10-23 | Paper |
| View-based query processing: on the relationship between rewriting, answering and losslessness | 2007-03-12 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714249 | 2005-12-28 | Paper |
| Database Theory - ICDT 2005 | 2005-09-13 | Paper |
| Decidable containment of recursive queries | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045452 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046903 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473479 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414545 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408081 | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707758 | 2003-06-11 | Paper |
| Rewriting of regular expressions and regular path queries | 2002-09-12 | Paper |
| Reasoning in expressive description logics | 2001-10-21 | Paper |
| Representing and reasoning on XML documents: a description logic approach | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264772 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4400805 | 1998-08-02 | Paper |
