Pages that link to "Item:Q1391904"
From MaRDI portal
The following pages link to Cardinality restrictions on concepts (Q1391904):
Displaying 11 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Combining Horn rules and description logics in CARIN (Q1274681) (← links)
- An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)
- Description Logics (Q3638996) (← links)
- Expressive number restrictions in description logics (Q4260085) (← links)
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies (Q5445719) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
- Cardinality Restrictions Within Description Logic Connection Calculi (Q6104758) (← links)