Pages that link to "Item:Q1687537"
From MaRDI portal
The following pages link to A new description logic with set constraints and cardinality constraints on role successors (Q1687537):
Displaying 10 items.
- Cardinality restrictions on concepts (Q1391904) (← links)
- Pushing the boundaries of reasoning about qualified cardinality restrictions (Q1687544) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting (Q2211383) (← links)
- Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
- Expressive number restrictions in description logics (Q4260085) (← links)
- Cardinality Restrictions Within Description Logic Connection Calculi (Q6104758) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
