scientific article
From MaRDI portal
zbMath0765.68190MaRDI QIDQ4028805
Bernhard Hollunder, Franz Baader
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Computing the least common subsumer w.r.t. a background terminology, Graded modalities in strategy logic, Complexity of modal logics with Presburger constraints, Consistency checking reduced to satisfiability of concepts in terminological systems, Cardinality restrictions on concepts, Semantic characterization of rational closure: from propositional logic to description logics, Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\), A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, CTL Model-Checking with Graded Quantifiers, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, Unification of concept terms in description logics, Automated Reasoning in $\mathcal{ALCQ}$ via SMT, Description Logics, Combining Horn rules and description logics in CARIN, Combining interval-based temporal reasoning with general TBoxes, \({\mathcal E}\)-connections of abstract description systems, Structural subsumption and least common subsumers in a description logic with existential and number restrictions
