Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Sen Zheng, Renate A. Schmidt

Query answering is an important problem in AI, database and knowledge representation. In this paper, we develop saturation-based Boolean conjunctive query answering and rewriting p…