Pages that link to "Item:Q4528765"
From MaRDI portal
The following pages link to PREDICATE BOUNDEDNESS OF LINEAR MONADIC DATALOG IS IN PSPACE (Q4528765):
Displaying 3 items.
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)