Matches in SemOpenAlex for { <https://semopenalex.org/work/W2288402373> ?p ?o ?g. }
- W2288402373 endingPage "968" @default.
- W2288402373 startingPage "963" @default.
- W2288402373 abstract "Existential rules, i.e. Datalog extended with existential quantifiers in rule heads, are currently studied under a variety of names such as Datalog+/-, ∀∃-rules, and tuple-generating dependencies. The renewed interest in this formalism is fuelled by a wealth of recently discovered language fragments for which query answering is decidable. This paper extends and consolidates two of the main approaches in this field - acyclicity and guardedness - by providing (1) complexity-preserving generalisations of weakly acyclic and weakly (frontier-) guarded rules, and (2) a novel formalism of glut-(frontier-) guarded rules that subsumes both. This builds on an insight that acyclicity can be used to extend any existential rule language while retaining decidability. Besides decidability, combined query complexities are established in all cases." @default.
- W2288402373 created "2016-06-24" @default.
- W2288402373 creator A5024774718 @default.
- W2288402373 creator A5087579719 @default.
- W2288402373 date "2011-07-16" @default.
- W2288402373 modified "2023-09-23" @default.
- W2288402373 title "Extending decidable existential rules by joining acyclicity and guardedness" @default.
- W2288402373 cites W1569370144 @default.
- W2288402373 cites W1589124617 @default.
- W2288402373 cites W1784811291 @default.
- W2288402373 cites W1797057780 @default.
- W2288402373 cites W1985581502 @default.
- W2288402373 cites W1991981864 @default.
- W2288402373 cites W2012428008 @default.
- W2288402373 cites W2013096722 @default.
- W2288402373 cites W2018978908 @default.
- W2288402373 cites W2022860157 @default.
- W2288402373 cites W2025731090 @default.
- W2288402373 cites W2028357390 @default.
- W2288402373 cites W2062501346 @default.
- W2288402373 cites W2102729564 @default.
- W2288402373 cites W2103738827 @default.
- W2288402373 cites W2112289218 @default.
- W2288402373 cites W2137862151 @default.
- W2288402373 cites W2145813209 @default.
- W2288402373 cites W2169602474 @default.
- W2288402373 cites W2310754955 @default.
- W2288402373 cites W2752197104 @default.
- W2288402373 doi "https://doi.org/10.5591/978-1-57735-516-8/ijcai11-166" @default.
- W2288402373 hasPublicationYear "2011" @default.
- W2288402373 type Work @default.
- W2288402373 sameAs 2288402373 @default.
- W2288402373 citedByCount "59" @default.
- W2288402373 countsByYear W22884023732012 @default.
- W2288402373 countsByYear W22884023732013 @default.
- W2288402373 countsByYear W22884023732014 @default.
- W2288402373 countsByYear W22884023732015 @default.
- W2288402373 countsByYear W22884023732016 @default.
- W2288402373 countsByYear W22884023732017 @default.
- W2288402373 countsByYear W22884023732018 @default.
- W2288402373 countsByYear W22884023732019 @default.
- W2288402373 countsByYear W22884023732020 @default.
- W2288402373 countsByYear W22884023732021 @default.
- W2288402373 crossrefType "proceedings-article" @default.
- W2288402373 hasAuthorship W2288402373A5024774718 @default.
- W2288402373 hasAuthorship W2288402373A5087579719 @default.
- W2288402373 hasConcept C111472728 @default.
- W2288402373 hasConcept C118615104 @default.
- W2288402373 hasConcept C118930307 @default.
- W2288402373 hasConcept C127882523 @default.
- W2288402373 hasConcept C136197465 @default.
- W2288402373 hasConcept C138885662 @default.
- W2288402373 hasConcept C142362112 @default.
- W2288402373 hasConcept C148230440 @default.
- W2288402373 hasConcept C153269930 @default.
- W2288402373 hasConcept C153349607 @default.
- W2288402373 hasConcept C154945302 @default.
- W2288402373 hasConcept C199360897 @default.
- W2288402373 hasConcept C33923547 @default.
- W2288402373 hasConcept C41008148 @default.
- W2288402373 hasConcept C558565934 @default.
- W2288402373 hasConcept C73301696 @default.
- W2288402373 hasConcept C80444323 @default.
- W2288402373 hasConceptScore W2288402373C111472728 @default.
- W2288402373 hasConceptScore W2288402373C118615104 @default.
- W2288402373 hasConceptScore W2288402373C118930307 @default.
- W2288402373 hasConceptScore W2288402373C127882523 @default.
- W2288402373 hasConceptScore W2288402373C136197465 @default.
- W2288402373 hasConceptScore W2288402373C138885662 @default.
- W2288402373 hasConceptScore W2288402373C142362112 @default.
- W2288402373 hasConceptScore W2288402373C148230440 @default.
- W2288402373 hasConceptScore W2288402373C153269930 @default.
- W2288402373 hasConceptScore W2288402373C153349607 @default.
- W2288402373 hasConceptScore W2288402373C154945302 @default.
- W2288402373 hasConceptScore W2288402373C199360897 @default.
- W2288402373 hasConceptScore W2288402373C33923547 @default.
- W2288402373 hasConceptScore W2288402373C41008148 @default.
- W2288402373 hasConceptScore W2288402373C558565934 @default.
- W2288402373 hasConceptScore W2288402373C73301696 @default.
- W2288402373 hasConceptScore W2288402373C80444323 @default.
- W2288402373 hasLocation W22884023731 @default.
- W2288402373 hasOpenAccess W2288402373 @default.
- W2288402373 hasPrimaryLocation W22884023731 @default.
- W2288402373 hasRelatedWork W1558832481 @default.
- W2288402373 hasRelatedWork W1569370144 @default.
- W2288402373 hasRelatedWork W1589124617 @default.
- W2288402373 hasRelatedWork W1746884077 @default.
- W2288402373 hasRelatedWork W1784811291 @default.
- W2288402373 hasRelatedWork W1969965298 @default.
- W2288402373 hasRelatedWork W1985581502 @default.
- W2288402373 hasRelatedWork W1988045490 @default.
- W2288402373 hasRelatedWork W2001399171 @default.
- W2288402373 hasRelatedWork W2005032394 @default.
- W2288402373 hasRelatedWork W2013096722 @default.
- W2288402373 hasRelatedWork W2028222220 @default.
- W2288402373 hasRelatedWork W2040566369 @default.
- W2288402373 hasRelatedWork W2057069578 @default.
- W2288402373 hasRelatedWork W2102729564 @default.