Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760): Difference between revisions

@@ Property / cites work @@
+Q4411130
@@ Property / cites work: Q4411130 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure for Data Dependencies
@@ Property / cites work: A Proof Procedure for Data Dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+$\mathcal{EL}$ -ifying Ontologies
@@ Property / cites work: $\mathcal{EL}$ -ifying Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
+Normal rank
@@ Property / cites work @@
+Data exchange: semantics and query answering
@@ Property / cites work: Data exchange: semantics and query answering / rank @@
+Normal rank