Pages that link to "Item:Q2856474"
From MaRDI portal
The following pages link to Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (Q2856474):
Displayed 41 items.
- On the data complexity of consistent query answering (Q269317) (← links)
- On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
- A more general theory of static approximations for conjunctive queries (Q778535) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Tractable query answering and rewriting under description logic constraints (Q975872) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- Preference-based inconsistency-tolerant query answering under existential rules (Q2093372) (← links)
- Inconsistency-tolerant query answering for existential rules (Q2124462) (← links)
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies (Q2248518) (← links)
- Foundations of ontology-based data access under bag semantics (Q2321309) (← links)
- On the data complexity of consistent query answering over graph databases (Q2361352) (← links)
- Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints (Q2820687) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- (Q3305347) (← links)
- Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ (Q3532465) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- Finite model reasoning over existential rules (Q4592706) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- (Q5028455) (← links)
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (Q5038471) (← links)
- Datalog: Bag Semantics via Set Semantics (Q5091129) (← links)
- (Q5091130) (← links)
- (Q5092376) (← links)
- (Q5094143) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules (Q5268431) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
- Answer Counting under Guarded TGDs (Q6076172) (← links)
- The notion of abstraction in ontology-based data management (Q6080649) (← links)
- Polynomial combined first-order rewritings for linear and guarded existential rules (Q6108762) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- Uniform Restricted Chase Termination (Q6156026) (← links)
- A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases (Q6163648) (← links)