Matches in SemOpenAlex for { <https://semopenalex.org/work/W4290856453> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4290856453 abstract "Answering Boolean conjunctive query over logical constraints is an essential problem in knowledge representation. Other problems in computer science such as constraint satisfaction and homomorphism problems can also be seen as Boolean conjunctive query answering problems. This paper develops saturation-based Boolean conjunctive query answering and rewriting procedures for the guarded, the loosely guarded and the clique guarded fragments. We improve existing resolution-based decision procedures for the guarded and the loosely guarded fragments, and devise a saturation-based approach deciding Boolean conjunctive query answering problems for the guarded, the loosely guarded and the clique guarded fragments. Based on the saturation-based query answering procedure, we introduce a novel saturation-based query rewriting setting that aims to back-translate the saturated clausal set derived from saturation-based query answering procedures, to a (Skolem-symbol-free) first-order formula, and devise a saturation-based query rewriting procedures for all these guarded fragments. Unlike mainstream query answering and rewriting approaches, our procedures derive a compact saturation that is reusable even if the data changes. This paper lays the theoretical foundations for the first practical Boolean conjunctive query answering and the first saturation-based Boolean conjunctive query rewriting procedures for the guarded, the loosely guarded and the clique guarded fragments." @default.
- W4290856453 created "2022-08-12" @default.
- W4290856453 creator A5011908807 @default.
- W4290856453 creator A5037583341 @default.
- W4290856453 date "2022-08-10" @default.
- W4290856453 modified "2023-09-24" @default.
- W4290856453 title "Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments" @default.
- W4290856453 doi "https://doi.org/10.48550/arxiv.2208.05365" @default.
- W4290856453 hasPublicationYear "2022" @default.
- W4290856453 type Work @default.
- W4290856453 citedByCount "0" @default.
- W4290856453 crossrefType "posted-content" @default.
- W4290856453 hasAuthorship W4290856453A5011908807 @default.
- W4290856453 hasAuthorship W4290856453A5037583341 @default.
- W4290856453 hasBestOaLocation W42908564531 @default.
- W4290856453 hasConcept C154690210 @default.
- W4290856453 hasConcept C157692150 @default.
- W4290856453 hasConcept C16221470 @default.
- W4290856453 hasConcept C164120249 @default.
- W4290856453 hasConcept C192028432 @default.
- W4290856453 hasConcept C192939062 @default.
- W4290856453 hasConcept C199360897 @default.
- W4290856453 hasConcept C23123220 @default.
- W4290856453 hasConcept C24755975 @default.
- W4290856453 hasConcept C41008148 @default.
- W4290856453 hasConcept C5655090 @default.
- W4290856453 hasConcept C65647387 @default.
- W4290856453 hasConcept C80444323 @default.
- W4290856453 hasConcept C97854310 @default.
- W4290856453 hasConceptScore W4290856453C154690210 @default.
- W4290856453 hasConceptScore W4290856453C157692150 @default.
- W4290856453 hasConceptScore W4290856453C16221470 @default.
- W4290856453 hasConceptScore W4290856453C164120249 @default.
- W4290856453 hasConceptScore W4290856453C192028432 @default.
- W4290856453 hasConceptScore W4290856453C192939062 @default.
- W4290856453 hasConceptScore W4290856453C199360897 @default.
- W4290856453 hasConceptScore W4290856453C23123220 @default.
- W4290856453 hasConceptScore W4290856453C24755975 @default.
- W4290856453 hasConceptScore W4290856453C41008148 @default.
- W4290856453 hasConceptScore W4290856453C5655090 @default.
- W4290856453 hasConceptScore W4290856453C65647387 @default.
- W4290856453 hasConceptScore W4290856453C80444323 @default.
- W4290856453 hasConceptScore W4290856453C97854310 @default.
- W4290856453 hasLocation W42908564531 @default.
- W4290856453 hasOpenAccess W4290856453 @default.
- W4290856453 hasPrimaryLocation W42908564531 @default.
- W4290856453 hasRelatedWork W1695319587 @default.
- W4290856453 hasRelatedWork W1956093061 @default.
- W4290856453 hasRelatedWork W2074385562 @default.
- W4290856453 hasRelatedWork W2199172455 @default.
- W4290856453 hasRelatedWork W2236547548 @default.
- W4290856453 hasRelatedWork W2258149899 @default.
- W4290856453 hasRelatedWork W2282293257 @default.
- W4290856453 hasRelatedWork W2387084170 @default.
- W4290856453 hasRelatedWork W2766216809 @default.
- W4290856453 hasRelatedWork W2955860811 @default.
- W4290856453 isParatext "false" @default.
- W4290856453 isRetracted "false" @default.
- W4290856453 workType "article" @default.