scientific article
From MaRDI portal
Publication:4028805
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 (17)
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
This page was built for publication:
