scientific article
From MaRDI portal
Publication:4028805
zbMATH Open0765.68190MaRDI QIDQ4028805FDOQ4028805
Bernhard Hollunder, Franz Baader
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
Cited In (18)
- Semantic characterization of rational closure: from propositional logic to description logics
- Unification of concept terms in description logics
- Description Logics
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Combining interval-based temporal reasoning with general TBoxes
- \({\mathcal E}\)-connections of abstract description systems
- Combining Horn rules and description logics in CARIN
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- Complexity of modal logics with Presburger constraints
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- Computing the least common subsumer w.r.t. a background terminology
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT
- CTL Model-Checking with Graded Quantifiers
- Cardinality restrictions on concepts
- Graded modalities in strategy logic
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028805)
