The following pages link to (Q5092376):
Displaying 4 items.
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
- The Fluted Fragment with Transitivity (Q5092377) (← links)
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
- A review of SHACL: from data validation to schema reasoning for RDF graphs (Q6166580) (← links)