Pages that link to "Item:Q5327441"
From MaRDI portal
The following pages link to Querying the Guarded Fragment with Transitivity (Q5327441):
Displaying 7 items.
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- Finite model reasoning over existential rules (Q4592706) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- (Q5377468) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
