Computing Cores for Existential Rules with the Standard Chase and ASP
Volltext
ÄHNLICHE DOKUMENTE
In this section, we present equality model-faithful acyclic- ity (EMFA), an acyclicity notion based on model-faithful acyclicity (MFA) (Cuenca Grau et al. 2013) that can be di-
A fully stratified chase sequence is a standard chase that is based on the set of rules Σ + obtained from Σ by omitting the negative body χ ¯ in each rule, and such that for all steps
We develop Disjunctive Model Faithful Acyclic- ity (DMFA) as a novel acyclicity notion for the disjunctive skolem chase variant by using ideas from Model Faithful Acyclicity (MFA)
J The previous observation that the stable chase sequence yields a core cover, together with the BCQ-equivalence of stable chase and Σ (Theorem 31), lets us apply Theorem 18 to
Ontologies for Knowledge Graphs: Breaking the Rules, Kr¨ otzsch & Thost [ISWC
We extend the Datalog engine VLog to develop a column-oriented implementation of the skolem and the restricted chase – two variants of a sound and complete algorithm used for
The maximal nesting depth of function terms in the chase tree is bounded by the number of existentially quantified variables in R, since a greater depth can only be achieved
David Carral, Irina Dragoste, Markus Krötzsch TU Dresden... BCQ entailment: co-N2ExpTime