Pages that link to "Item:Q2871462"
From MaRDI portal
The following pages link to Exact query reformulation over databases with first-order and description logics ontologies (Q2871462):
Displaying 4 items.
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Query Rewriting and Optimization for Ontological Databases (Q5012503) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)