existential rule

A Datalog Rewriting Algorithm for Warded Ontologies IJCAI 2025 Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025 General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023 Temporal Datalog with Existential Quantification IJCAI 2023 Answering Queries with Negation over Existential Rules AAAI 2022 Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract) IJCAI 2022 Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics IJCAI 2022 Preferred Explanations for Ontology-Mediated Queries under Existential Rules AAAI 2021 Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020 Explanations for Inconsistency-Tolerant Query Answering under Existential Rules AAAI 2020 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 Query Answering for Existential Rules via Efficient Datalog Rewriting IJCAI 2020 Automated Rule Base Completion as Bayesian Concept Induction AAAI 2019 Chasing Sets: How to Use Existential Rules for Expressive Reasoning IJCAI 2019 Evolutionary Learning of Existential Rules IJCAI 2019 Explanations for Query Answers under Existential Rules IJCAI 2019 Mixed-World Reasoning with Existential Rules under Active-Domain Semantics IJCAI 2019 Oblivious and Semi-Oblivious Boundedness for Existential Rules IJCAI 2019 Enhancing Existential Rules by Closed-World Variables IJCAI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018 Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018 Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017