Pages that link to "Item:Q5222877"
From MaRDI portal
The following pages link to Fast Query Answering over Existential Rules (Q5222877):
Displaying 14 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Efficient model construction for Horn logic with VLog (system description) (Q1799135) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Preference-based inconsistency-tolerant query answering under existential rules (Q2093372) (← links)
- Rewriting guarded existential rules into small Datalog programs (Q3305347) (← links)
- Intelligent query answering in rule based systems (Q3776675) (← links)
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (Q5056424) (← links)
- DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries (Q5140027) (← links)
- Reasoning on anonymity in Datalog (Q5240228) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- Combining decidability paradigms for existential rules (Q5398317) (← links)
- Answer Counting under Guarded TGDs (Q6076172) (← links)
- Polynomial combined first-order rewritings for linear and guarded existential rules (Q6108762) (← links)