| Publication | Date of Publication | Type |
|---|
| The expressive power of description logics with numerical constraints over restricted classes of models | 2026-02-26 | Paper |
| The concrete \textsc{Evonne}: visualization meets concrete domain reasoning | 2026-02-26 | Paper |
Small term reachability and related problems for terminating term rewriting systems
Logical Methods in Computer Science | 2026-02-13 | Paper |
| Concrete domains meet expressive cardinality restrictions in description logics | 2026-01-21 | Paper |
| On the complexity of the small term reachability problem for terminating term rewriting systems | 2026-01-14 | Paper |
| 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
Artificial Intelligence | 2024-02-13 | Paper |
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Unification theory
Word Equations and Related Topics | 2023-08-14 | Paper |
Unification in varieties of completely regular semigroups
Word Equations and Related Topics | 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
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Combination techniques and decision problems for disunification
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Characterizations of unification type zero
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Combination of constraint solving techniques: An algebraic point of view
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Evonne: interactive proof visualization for description logics (system description)
(available as arXiv preprint) | 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
Journal of Automated Reasoning | 2022-10-24 | Paper |
Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols
Journal of Automated Reasoning | 2022-10-24 | Paper |
Unification properties of commutative theories: a categorical treatment
Category Theory and Computer Science | 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
(available as arXiv preprint) | 2021-12-01 | Paper |
Satisfiability and query answering in description logics with global and local cardinality constraints
(available as arXiv preprint) | 2021-07-06 | Paper |
Extensions of unification modulo ACUI
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
Metric temporal description logics with interval-rigid names
ACM Transactions on Computational Logic | 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
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Matching in the Description Logic FL0 with respect to General TBoxes
EPiC Series in Computing | 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\)
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
Logical Methods in Computer Science | 2017-04-11 | Paper |
| An introduction to description logic | 2017-04-11 | Paper |
Adding threshold concepts to the description logic \(\mathcal{EL}\)
Frontiers of Combining Systems | 2017-02-27 | Paper |
Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Approximate unification in the description logic \(\mathcal {FL}_0\)
Logics in Artificial Intelligence | 2016-11-30 | Paper |
On the complexity of Boolean unification
Information Processing Letters | 2016-06-09 | Paper |
Query and predicate emptiness in ontology-based data access
The Journal of Artificial Intelligence Research (JAIR) | 2016-05-11 | Paper |
Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata
Language and Automata Theory and Applications | 2016-04-13 | Paper |
LTL over description logic axioms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
Journal of Philosophical Logic | 2015-04-23 | Paper |
Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
Journal of Applied Logic | 2014-11-20 | Paper |
| scientific article; zbMATH DE number 6302892 (Why is no real title available?) | 2014-06-11 | Paper |
| On language equations with one-sided concatenation | 2014-02-11 | Paper |
Hybrid unification in the description logic \(\mathcal{EL}\)
Frontiers of Combining Systems | 2013-09-20 | Paper |
Verification of Golog programs over description logic actions
Frontiers of Combining Systems | 2013-09-20 | Paper |
Temporalizing ontology-based data access
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies
Automated Reasoning | 2012-09-05 | Paper |
UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description
Automated Reasoning | 2012-09-05 | Paper |
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Unification in modal and description logics
Logic Journal of the IGPL | 2012-06-08 | Paper |
On the undecidability of fuzzy description logics with GCIs and product t-norm
Frontiers of Combining Systems | 2011-10-07 | Paper |
Unification in the description logic \(\mathcal{EL}\) without the top concept
Lecture Notes in Computer Science | 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
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
SAT Encoding of Unification in $\mathcal{EL}$
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Using causal relationships to deal with the ramification problem in action formalisms based on description logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Automata-based axiom pinpointing
Journal of Automated Reasoning | 2010-10-08 | Paper |
Unification in the description logic EL
Logical Methods in Computer Science | 2010-09-21 | Paper |
Computing the least common subsumer in the description logic \(\mathcal{EL}\) w.r.t. terminological cycles with descriptive semantics
Lecture Notes in Computer Science | 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
Lecture Notes in Computer Science | 2010-03-03 | Paper |
| scientific article; zbMATH DE number 5674817 (Why is no real title available?) | 2010-02-24 | Paper |
Axiom Pinpointing in General Tableaux
Journal Of Logic And Computation | 2010-02-19 | Paper |
Runtime verification using a temporal description logic
Frontiers of Combining Systems | 2010-01-07 | Paper |
Putting ABox updates into action
Frontiers of Combining Systems | 2010-01-07 | Paper |
Description Logics
Lecture Notes in Computer Science | 2009-10-28 | Paper |
Unification in the Description Logic $\mathcal{EL}$
Rewriting Techniques and Applications | 2009-06-30 | Paper |
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
Formal Concept Analysis | 2009-06-03 | Paper |
Usability Issues in Description Logic Knowledge Base Completion
Formal Concept Analysis | 2009-06-03 | Paper |
Concept Lattices
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Matching Trace Patterns with Regular Policies
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Automata-Based Axiom Pinpointing
Automated Reasoning | 2008-11-27 | Paper |
Automata can show PSpace results for description logics
Information and Computation | 2008-10-08 | Paper |
A Finite Basis for the Set of $\mathcal{EL}$ -Implications Holding in a Finite Model
Formal Concept Analysis | 2008-03-04 | Paper |
Axiom Pinpointing in General Tableaux
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Computing the least common subsumer w.r.t. a background terminology
Journal of Applied Logic | 2007-07-25 | Paper |
Connecting many-sorted theories
Journal of Symbolic Logic | 2007-07-09 | Paper |
KI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Automated Deduction – CADE-20
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
Information and Computation | 2006-10-25 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
| scientific article; zbMATH DE number 5037197 (Why is no real title available?) | 2006-06-29 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Graph-Theoretic Concepts in Computer Science
Lecture Notes in Computer Science | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2090062 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090084 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2063024 (Why is no real title available?) | 2004-03-29 | Paper |
Description logics with aggregates and concrete domains.
Information Systems | 2004-03-18 | Paper |
| scientific article; zbMATH DE number 1948991 (Why is no real title available?) | 2003-07-14 | Paper |
| Unification theory | 2002-08-27 | Paper |
| scientific article; zbMATH DE number 1765664 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1753135 (Why is no real title available?) | 2002-06-10 | Paper |
An overview of tableau algorithms for description logics
Studia Logica | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1688811 (Why is no real title available?) | 2002-01-09 | Paper |
Deciding the word problem in the union of equational theories.
Information and Computation | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1670902 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1612535 (Why is no real title available?) | 2001-07-01 | Paper |
Unification of concept terms in description logics
Journal of Symbolic Computation | 2001-04-16 | Paper |
| scientific article; zbMATH DE number 1552528 (Why is no real title available?) | 2001-01-15 | Paper |
| scientific article; zbMATH DE number 1538019 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1418279 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1405765 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1405626 (Why is no real title available?) | 2000-02-23 | Paper |
| Term Rewriting and All That | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1348479 (Why is no real title available?) | 1999-10-10 | Paper |
| scientific article; zbMATH DE number 1346494 (Why is no real title available?) | 1999-10-04 | Paper |
Matching in description logics
Journal Of Logic And Computation | 1999-09-07 | Paper |
Expressive number restrictions in description logics
Journal Of Logic And Computation | 1999-09-07 | Paper |
| scientific article; zbMATH DE number 1222700 (Why is no real title available?) | 1998-11-11 | Paper |
Combination of constraint solvers for free and quasi-free structures
Theoretical Computer Science | 1998-08-13 | Paper |
Cardinality restrictions on concepts
Artificial Intelligence | 1998-07-23 | Paper |
Using automata theory for characterizing the semantics of terminological cycles
Annals of Mathematics and Artificial Intelligence | 1998-03-04 | Paper |
Combination techniques and decision problems for disunification
Theoretical Computer Science | 1997-02-28 | Paper |
Combination problems for commutative/monoidal theories or how algebra can help in equational unification
Applicable Algebra in Engineering, Communication and Computing | 1997-01-06 | Paper |
Unification in the union of disjoint equational theories: Combining decision procedures
Journal of Symbolic Computation | 1996-12-08 | Paper |
A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
Journal Of Logic And Computation | 1996-09-05 | Paper |
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
Journal of Automated Reasoning | 1996-07-14 | Paper |
A multi-dimensional terminological knowledge representation language
Journal of Applied Non-Classical Logics | 1996-03-06 | Paper |
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Journal of Logic, Language and Information | 1994-03-10 | Paper |
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM | 1993-12-06 | Paper |
| scientific article; zbMATH DE number 140398 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 67501 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67500 (Why is no real title available?) | 1992-09-27 | Paper |
Unification in commutative theories
Journal of Symbolic Computation | 1989-01-01 | Paper |
Unification in commutative idempotent monoids
Theoretical Computer Science | 1988-01-01 | Paper |
A note on unification type zero
Information Processing Letters | 1988-01-01 | Paper |
Unification in varieties of idempotent semigroups
Semigroup Forum | 1987-01-01 | Paper |
The theory of idempotent semigroups is of unification type zero
Journal of Automated Reasoning | 1986-01-01 | Paper |
