Existential rules

An extension of Datalog rules, where variables in the consequent part of the rule (the rule head) can be quantified using an existential quantifier.

Back to Glossary

From the blog

High performance knowledge graph and semantic reasoning engine.