19th International Conference on Automated Deduction (CADE-19)

A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms

scientific article published in ISWC 2009

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics

A note on unification type zero

Am empirical analysis of optimization techniques for terminological representation systems

Automata can show PSpace results for description logics

Automata-Based Axiom Pinpointing

Axiom Pinpointing in General Tableaux

Cardinality restrictions on concepts

Combination Problems for Commutativef0003/Monoidal Theories or How Algebra Can Help in Equational Unification

scholarly article by Franz Baader & Werner Nutt published 1 June 1996 in Applicable Algebra in Engineering Communication and Computing

Combination of constraint solvers for free and quasi-free structures

Combination techniques and decision problems for disunification

Computing the Least Common Subsumer w.r.t. a Background Terminology

article by Franz Baader et al published 2004 in Lecture Notes in Computer Science

Connecting many-sorted theories

Context-dependent views to axioms and consequences of Semantic Web ontologies

Deciding the Word Problem in the Union of Equational Theories

Description logics with aggregates and concrete domains

Embedding defaults into terminological knowledge representation formalisms

Expressive number restrictions in description logics

Formalizing biomedical concepts from textual definitions

scientific article

From Tableaux to Automata for Description Logics

LTL over description logic axioms

Metric Temporal Description Logics with Interval-Rigid Names

scientific article published on 11 August 2020

On the Decidability Status of Fuzzy A ℒ C $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept Inclusions

On the complexity of Boolean unification

Preface to Special Issue on Reasoning in Description Logics

Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic

Runtime verification using the temporal description logic ALC -LTL revisited

scholarly article by Franz Baader & Marcel Lippmann published December 2014 in Journal of Applied Logic

SNOMED reaching its adolescence: ontologists' and logicians' health check

scientific article

Temporal query entailment in the Description Logic SHQ

The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains

scientific article published on 21 May 2024

Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning

scientific article published on 07 June 2023

Unification in commutative idempotent monoids

Unification in commutative theories

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Unification in modal and description logics

Unification in the Description Logic EL

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Unification in varieties of idempotent semigroups

Unification of Concept Terms in Description Logics

Using automata theory for characterizing the semantics of terminological cycles