Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206)
From MaRDI portal
scientific article; zbMATH DE number 7390861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation |
scientific article; zbMATH DE number 7390861 |
Statements
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (English)
0 references
3 September 2021
0 references
existential rules
0 references
ontological reasoning
0 references
termination analysis
0 references
complexity of reasoning
0 references
0 references
