Existential Rule

Existential rules, a type of logical rule used in knowledge representation and reasoning, are the focus of ongoing research aimed at understanding their computational properties and expanding their applicability. Current research emphasizes identifying decidable fragments of existential rule languages, often using techniques like chase algorithms and derivation graph analysis, to ensure efficient query answering. This work is crucial for advancing ontology-based query answering and other applications requiring reasoning under uncertainty or with incomplete information, impacting fields like knowledge graph management and neuro-symbolic AI.