You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Jacopo Urbani edited this page Feb 19, 2018
·
1 revision
Recently, we have extended VLog with a column-oriented implementation of the skolem and the restricted chase, two variants of a sound and complete algorithm used for model construction over theories of existential rules.