Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592)
From MaRDI portal
scientific article; zbMATH DE number 7800192
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments |
scientific article; zbMATH DE number 7800192 |
Statements
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (English)
0 references
6 February 2024
0 references
saturation-based decision procedure
0 references
saturation-based query rewriting
0 references
Boolean conjunctive query
0 references
unskolemisation
0 references
guarded fragment
0 references
loosely guarded fragment
0 references
clique-guarded fragment
0 references
0 references
0 references
