Pages that link to "Item:Q2846569"

The following pages link to Acyclicity notions for existential rules and their application to query answering in ontologies (Q2846569):

Displaying 20 items.

• Domain expansion for ASP-programs with external sources (Q254002) (← links)
• Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
• Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
• Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866) (← links)
• Query answering over inconsistent knowledge bases: a probabilistic approach (Q2084950) (← links)
• Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
• Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
• Preserving Constraints with the Stable Chase (Q3305357) (← links)
• Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
• Characterizing Boundedness in Chase Variants (Q4957209) (← links)
• (Q5091112) (← links)
• (Q5091130) (← links)
• A Single Approach to Decide Chase Termination on Linear Existential Rules (Q5091131) (← links)
• On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules (Q5268431) (← links)
• Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
• Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760) (← links)
• Uniform Restricted Chase Termination (Q6156026) (← links)
• Generative Datalog with continuous distributions (Q6551262) (← links)
• Reasoning with ontologies (Q6602220) (← links)