Restricted chase termination for existential rules: a hierarchical approach and experimentation (Q4957206)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7390861
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9811503887176514
0 references
0.8213359713554382
0 references
0.8150591254234314
0 references
0.7945755124092102
0 references
0.7924907207489014
0 references
