The following pages link to Ontology-Based Data Access (Q5012511):
Displaying 24 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- ASNP: a tame fragment of existential second-order logic (Q2106601) (← links)
- 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)
- Emptiness problems for distributed automata (Q2182732) (← links)
- Open-world probabilistic databases: semantics, algorithms, complexity (Q2238646) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- (Q3305347) (← links)
- Querying the Unary Negation Fragment with Regular Path Expressions. (Q3305361) (← links)
- (Q4558528) (← links)
- Finite model reasoning over existential rules (Q4592706) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- (Q5028455) (← links)
- (Q5232905) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- (Q5377468) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Answer Counting under Guarded TGDs (Q6076172) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)
