| Publication | Date of Publication | Type |
|---|
| Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | 2024-07-28 | Dataset |
| Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement | 2023-12-26 | Dataset |
| Datasets for Out-of-KB Mention Discovery with Entity Linking | 2023-08-09 | Dataset |
| OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference | 2023-03-06 | Dataset |
| Modular materialisation of Datalog programs | 2022-06-01 | Paper |
| Benchmarks and scripts for ACQuA and RSAComb | 2022-05-19 | Dataset |
| The delay and window size problems in rule-based stream reasoning | 2022-04-11 | Paper |
| The Complexity and Expressive Power of Limit Datalog | 2022-03-31 | Paper |
| \texttt{OWL2Vec}*: embedding of OWL ontologies | 2022-01-28 | Paper |
| Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) | 2021-11-02 | Paper |
| 15 years of consequence-based reasoning | 2020-06-04 | Paper |
| Maintenance of datalog materialisations revisited | 2019-08-28 | Paper |
| Foundations of ontology-based data access under bag semantics | 2019-08-28 | Paper |
| Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions | 2018-11-30 | Paper |
| An Introduction to Description Logic | 2017-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2970045 | 2017-03-27 | Paper |
| Module extraction in expressive ontology languages via Datalog reasoning | 2016-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457248 | 2015-12-11 | Paper |
| PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner | 2015-11-25 | Paper |
| Consequence-based and fixed-parameter tractable reasoning in description logics | 2015-08-27 | Paper |
| HermiT: an OWL 2 reasoner | 2015-06-23 | Paper |
| $\mathcal{EL}$ -ifying Ontologies | 2014-09-26 | Paper |
| Hybrid logics and ontology languages | 2013-12-20 | Paper |
| Concrete Results on Abstract Rules | 2013-10-10 | Paper |
| Acyclicity notions for existential rules and their application to query answering in ontologies | 2013-09-06 | Paper |
| Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes | 2012-07-31 | Paper |
| Completeness guarantees for incomplete ontology reasoners: theory and practice | 2012-05-16 | Paper |
| Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes | 2010-09-14 | Paper |
| Optimized Description Logic Reasoning via Core Blocking | 2010-09-14 | Paper |
| Tractable query answering and rewriting under description logic constraints | 2010-06-11 | Paper |
| Hypertableau Reasoning for Description Logics | 2009-12-10 | Paper |
| Representing ontologies using description logics, description graphs, and rules | 2009-09-14 | Paper |
| Extracting Modules from Ontologies: A Logic-Based Approach | 2009-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624094 | 2009-04-28 | 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 |
| Optimizing terminological reasoning for expressive description logics | 2007-12-03 | Paper |
| A tableau decision procedure for \(\mathcal{SHOIQ}\) | 2007-12-03 | Paper |
| f-SWRL: A Fuzzy Extension of SWRL | 2007-09-06 | Paper |
| Foundations of Information and Knowledge Systems | 2007-02-12 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2006-07-07 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Decidability of SHIQ with complex role inclusion axioms | 2006-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5717108 | 2006-01-11 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739549 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809039 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044362 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428317 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428403 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411721 | 2003-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411758 | 2003-07-09 | Paper |
| Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767029 | 2002-07-22 | Paper |
| Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability | 2001-11-21 | Paper |
| Practical reasoning for very expressive description logics | 2001-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723446 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721184 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938424 | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501603 | 2000-10-26 | Paper |
| An analysis of empirical testing for modal decision procedures | 2000-06-21 | Paper |
| A description logic with transitive and inverse roles and role hierarchies | 1999-09-07 | Paper |
| Optimizing description logic subsumption | 1999-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217959 | 1998-11-11 | Paper |
| Datasets for the Hierarchy Transformer Encoders (HiTs) | N/A | Dataset |
