Picture for Swan Rocher

Swan Rocher

Combining Existential Rules and Transitivity: Next Steps

Add code
Jan 05, 2017
Figure 1 for Combining Existential Rules and Transitivity: Next Steps
Viaarxiv icon

A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

Add code
Feb 18, 2016
Figure 1 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 2 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 3 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Figure 4 for A General Modifier-based Framework for Inconsistency-Tolerant Query Answering
Viaarxiv icon

Extending Acyclicity Notions for Existential Rules (\emph{long version})

Add code
Jul 25, 2014
Figure 1 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Figure 2 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Figure 3 for Extending Acyclicity Notions for Existential Rules (\emph{long version})
Viaarxiv icon

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

Add code
Jul 25, 2014
Figure 1 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Figure 2 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Figure 3 for Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Viaarxiv icon