Pages that link to "Item:Q4260085"
From MaRDI portal
The following pages link to Expressive number restrictions in description logics (Q4260085):
Displaying 9 items.
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Cardinality restrictions on concepts (Q1391904) (← links)
- A new description logic with set constraints and cardinality constraints on role successors (Q1687537) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- Cheap Boolean Role Constructors for Description Logics (Q3532479) (← links)
- Branching-Time Temporal Logics with Minimal Model Quantifiers (Q3637242) (← links)
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (Q4558797) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)