| Publication | Date of Publication | Type |
|---|
| Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies | 2024-10-30 | Paper |
| Optimal repairs in the description logic \(\mathcal{EL}\) revisited | 2024-05-29 | Paper |
| Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures | 2024-02-13 | Paper |
| Efficient TBox Reasoning with Value Restrictions using the wer Reasoner | 2023-12-12 | Paper |
| Unification theory | 2023-08-14 | Paper |
| Unification in varieties of completely regular semigroups | 2023-08-14 | Paper |
| Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources | 2023-08-02 | Dataset |
| Rewrite systems for varieties of semigroups | 2023-04-28 | Paper |
| Mixing Description Logics in Privacy-Preserving Ontology Publishing | 2023-03-24 | Paper |
| Unification, weak unification, upper bound, lower bound, and generalization problems | 2022-12-09 | Paper |
| Combination techniques and decision problems for disunification | 2022-12-09 | Paper |
| Characterizations of unification type zero | 2022-12-09 | Paper |
| Combination of constraint solving techniques: An algebraic point of view | 2022-12-09 | Paper |
| Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification | 2022-12-09 | Paper |
| Evonne: interactive proof visualization for description logics (system description) | 2022-12-07 | Paper |
| Deciding the word problem for ground identities with commutative and extensional symbols | 2022-11-09 | Paper |
| Description logics with concrete domains and general concept inclusions revisited | 2022-11-09 | Paper |
| Using model theory to find decidable and tractable description logics with concrete domains | 2022-10-24 | Paper |
| Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols | 2022-10-24 | Paper |
| Unification properties of commutative theories: a categorical treatment | 2022-08-16 | Paper |
| Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources | 2022-05-18 | Dataset |
| Restricted unification in the DL \(\mathcal{FL}_0\) | 2022-03-24 | Paper |
| Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes | 2021-12-01 | Paper |
| An algebraic view on p-admissible concrete domains for lightweight description logics | 2021-12-01 | Paper |
| Finding good proofs for description logic entailments using recursive quality measures | 2021-12-01 | Paper |
| Satisfiability and query answering in description logics with global and local cardinality constraints | 2021-07-06 | Paper |
| Extensions of unification modulo ACUI | 2020-12-08 | Paper |
| Metric temporal description logics with interval-rigid names | 2020-09-11 | Paper |
| Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources | 2020-05-27 | Dataset |
| On the expressive power of description logics with cardinality constraints on finite and infinite sets | 2020-05-13 | Paper |
| The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) | 2020-05-13 | Paper |
| Counting strategies for the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\) under the principle of maximum entropy | 2020-02-18 | Paper |
| Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores | 2020-02-18 | Paper |
| A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method | 2019-10-01 | Paper |
| Matching in the Description Logic FL0 with respect to General TBoxes | 2019-07-04 | Paper |
| Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes | 2018-07-12 | Paper |
| A new description logic with set constraints and cardinality constraints on role successors | 2018-01-04 | Paper |
| Metric temporal description logics with interval-rigid names | 2018-01-04 | Paper |
| Using ontologies to query probabilistic numerical data | 2018-01-04 | Paper |
| Dismatching and local disunification in \(\mathcal {EL}\) | 2017-07-12 | Paper |
| Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\) | 2017-06-01 | Paper |
| Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification | 2017-04-11 | Paper |
| An introduction to description logic | 2017-04-11 | Paper |
| Adding threshold concepts to the description logic \(\mathcal{EL}\) | 2017-02-27 | Paper |
| Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor | 2016-12-15 | Paper |
| Approximate unification in the description logic \(\mathcal {FL}_0\) | 2016-11-30 | Paper |
| On the complexity of Boolean unification | 2016-06-09 | Paper |
| Query and predicate emptiness in ontology-based data access | 2016-05-11 | Paper |
| Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata | 2016-04-13 | Paper |
| LTL over description logic axioms | 2015-09-17 | Paper |
| On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions | 2015-04-23 | Paper |
| Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited | 2014-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419868 | 2014-06-11 | Paper |
| On language equations with one-sided concatenation | 2014-02-11 | Paper |
| Hybrid unification in the description logic \(\mathcal{EL}\) | 2013-09-20 | Paper |
| Verification of Golog programs over description logic actions | 2013-09-20 | Paper |
| Temporalizing ontology-based data access | 2013-06-14 | Paper |
| SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies | 2012-09-05 | Paper |
| UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description | 2012-09-05 | Paper |
| Solving language equations and disequations with applications to disunification in description logics and monadic set constraints | 2012-06-15 | Paper |
| Unification in modal and description logics | 2012-06-08 | Paper |
| On the undecidability of fuzzy description logics with GCIs and product t-norm | 2011-10-07 | Paper |
| Unification in the description logic \(\mathcal{EL}\) without the top concept | 2011-07-29 | Paper |
| Verifying Properties of Infinite Sequences of Description Logic Actions | 2011-05-11 | Paper |
| Unification in a description logic with transitive closure of roles | 2011-05-06 | Paper |
| SAT Encoding of Unification in $\mathcal{EL}$ | 2010-10-12 | Paper |
| Using causal relationships to deal with the ramification problem in action formalisms based on description logics | 2010-10-12 | Paper |
| Automata-based axiom pinpointing | 2010-10-08 | Paper |
| Unification in the description logic EL | 2010-09-21 | Paper |
| Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics | 2010-03-31 | Paper |
| The instance problem and the most specific concept in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics | 2010-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408128 | 2010-02-24 | Paper |
| Axiom Pinpointing in General Tableaux | 2010-02-19 | Paper |
| Runtime verification using a temporal description logic | 2010-01-07 | Paper |
| Putting ABox updates into action | 2010-01-07 | Paper |
| Description Logics | 2009-10-28 | Paper |
| Unification in the Description Logic $\mathcal{EL}$ | 2009-06-30 | Paper |
| Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$ | 2009-06-03 | Paper |
| Usability Issues in Description Logic Knowledge Base Completion | 2009-06-03 | Paper |
| Concept Lattices | 2009-05-14 | Paper |
| Matching Trace Patterns with Regular Policies | 2009-04-02 | Paper |
| Automata-Based Axiom Pinpointing | 2008-11-27 | Paper |
| Automata can show PSpace results for description logics | 2008-10-08 | Paper |
| A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model | 2008-03-04 | Paper |
| Axiom Pinpointing in General Tableaux | 2008-01-04 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| Computing the least common subsumer w.r.t. a background terminology | 2007-07-25 | Paper |
| Connecting many-sorted theories | 2007-07-09 | Paper |
| KI 2005: Advances in Artificial Intelligence | 2006-11-13 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| A new combination procedure for the word problem that generalizes fusion decidability results in modal logics | 2006-10-25 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477943 | 2006-06-29 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Graph-Theoretic Concepts in Computer Science | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808735 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808758 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460678 | 2004-03-29 | Paper |
| Description logics with aggregates and concrete domains. | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412237 | 2003-07-14 | Paper |
| Unification theory | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539600 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4533343 | 2002-06-10 | Paper |
| An overview of tableau algorithms for description logics | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762630 | 2002-01-09 | Paper |
| Deciding the word problem in the union of equational theories. | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754237 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721180 | 2001-07-01 | Paper |
| Unification of concept terms in description logics | 2001-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524788 | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518874 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941839 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938748 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938605 | 2000-02-23 | Paper |
| Term Rewriting and All That | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264733 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4266517 | 1999-10-04 | Paper |
| Matching in description logics | 1999-09-07 | Paper |
| Expressive number restrictions in description logics | 1999-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218267 | 1998-11-11 | Paper |
| Combination of constraint solvers for free and quasi-free structures | 1998-08-13 | Paper |
| Cardinality restrictions on concepts | 1998-07-23 | Paper |
| Using automata theory for characterizing the semantics of terminological cycles | 1998-03-04 | Paper |
| Combination techniques and decision problems for disunification | 1997-02-28 | Paper |
| Combination problems for commutative/monoidal theories or how algebra can help in equational unification | 1997-01-06 | Paper |
| Unification in the union of disjoint equational theories: Combining decision procedures | 1996-12-08 | Paper |
| A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages | 1996-09-05 | Paper |
| Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic | 1996-07-14 | Paper |
| A multi-dimensional terminological knowledge representation language | 1996-03-06 | Paper |
| On the expressivity of feature logics with negation, functional uncertainty, and sort equations | 1994-03-10 | Paper |
| Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases | 1993-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028805 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012242 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012241 | 1992-09-27 | Paper |
| Unification in commutative theories | 1989-01-01 | Paper |
| Unification in commutative idempotent monoids | 1988-01-01 | Paper |
| A note on unification type zero | 1988-01-01 | Paper |
| Unification in varieties of idempotent semigroups | 1987-01-01 | Paper |
| The theory of idempotent semigroups is of unification type zero | 1986-01-01 | Paper |
