scientific article; zbMATH DE number 140398
From MaRDI portal
Publication:4028805
Recommendations
Cited in
(22)- Combining Horn rules and description logics in CARIN
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Cardinality restrictions on concepts
- Graded modalities in strategy logic
- 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
- Complexity of modal logics with Presburger constraints
- scientific article; zbMATH DE number 4166932 (Why is no real title available?)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- CTL Model-Checking with Graded Quantifiers
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Description Logics
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Unification of concept terms in description logics
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
- The expressive power of description logics with numerical constraints over restricted classes of models
- Concrete domains meet expressive cardinality restrictions in description logics
- Are targeted messages more effective?
- 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
- Semantic characterization of rational closure: from propositional logic to description logics
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)
