Matches in SemOpenAlex for { <https://semopenalex.org/work/W1852280707> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1852280707 abstract "Finite chase, or alternatively chase termination, is an important condition to ensure the decidability of existential rule languages. In the past few years, a number of rule languages with finite chase have been studied. In this work, we propose a novel approach for classifying the rule languages with finite chase. Using this approach, a family of decidable rule languages, which extend the existing languages with the finite chase property, are naturally defined. We then study the complexity of these languages. Although all of them are tractable for data complexity, we show that their combined complexity can be arbitrarily high. Furthermore, we prove that all the rule languages with finite chase that extend the weakly acyclic language are of the same expressiveness as the weakly acyclic one, while rule languages with higher combined complexity are in general more succinct than those with lower combined complexity." @default.
- W1852280707 created "2016-06-24" @default.
- W1852280707 creator A5072151614 @default.
- W1852280707 creator A5076911964 @default.
- W1852280707 creator A5086664284 @default.
- W1852280707 date "2015-02-18" @default.
- W1852280707 modified "2023-09-24" @default.
- W1852280707 title "Existential Rule Languages with Finite Chase: Complexity and Expressiveness" @default.
- W1852280707 cites W1569370144 @default.
- W1852280707 cites W1746884077 @default.
- W1852280707 cites W1784811291 @default.
- W1852280707 cites W1969965298 @default.
- W1852280707 cites W1988045490 @default.
- W1852280707 cites W1993042845 @default.
- W1852280707 cites W2001399171 @default.
- W1852280707 cites W2013096722 @default.
- W1852280707 cites W2040566369 @default.
- W1852280707 cites W2044118198 @default.
- W1852280707 cites W2046242379 @default.
- W1852280707 cites W2057069578 @default.
- W1852280707 cites W2102729564 @default.
- W1852280707 cites W2103738827 @default.
- W1852280707 cites W2148096737 @default.
- W1852280707 cites W2157893030 @default.
- W1852280707 cites W2269415408 @default.
- W1852280707 cites W2288402373 @default.
- W1852280707 cites W3102313542 @default.
- W1852280707 cites W649907208 @default.
- W1852280707 doi "https://doi.org/10.1609/aaai.v29i1.9404" @default.
- W1852280707 hasPublicationYear "2015" @default.
- W1852280707 type Work @default.
- W1852280707 sameAs 1852280707 @default.
- W1852280707 citedByCount "10" @default.
- W1852280707 countsByYear W18522807072016 @default.
- W1852280707 countsByYear W18522807072018 @default.
- W1852280707 countsByYear W18522807072019 @default.
- W1852280707 countsByYear W18522807072020 @default.
- W1852280707 countsByYear W18522807072021 @default.
- W1852280707 crossrefType "journal-article" @default.
- W1852280707 hasAuthorship W1852280707A5072151614 @default.
- W1852280707 hasAuthorship W1852280707A5076911964 @default.
- W1852280707 hasAuthorship W1852280707A5086664284 @default.
- W1852280707 hasBestOaLocation W18522807071 @default.
- W1852280707 hasConcept C111472728 @default.
- W1852280707 hasConcept C112505250 @default.
- W1852280707 hasConcept C118615104 @default.
- W1852280707 hasConcept C127882523 @default.
- W1852280707 hasConcept C131924884 @default.
- W1852280707 hasConcept C138885662 @default.
- W1852280707 hasConcept C153269930 @default.
- W1852280707 hasConcept C154945302 @default.
- W1852280707 hasConcept C199360897 @default.
- W1852280707 hasConcept C2129575 @default.
- W1852280707 hasConcept C2776235265 @default.
- W1852280707 hasConcept C33923547 @default.
- W1852280707 hasConcept C41008148 @default.
- W1852280707 hasConcept C52370388 @default.
- W1852280707 hasConcept C61673122 @default.
- W1852280707 hasConcept C77088390 @default.
- W1852280707 hasConcept C80444323 @default.
- W1852280707 hasConceptScore W1852280707C111472728 @default.
- W1852280707 hasConceptScore W1852280707C112505250 @default.
- W1852280707 hasConceptScore W1852280707C118615104 @default.
- W1852280707 hasConceptScore W1852280707C127882523 @default.
- W1852280707 hasConceptScore W1852280707C131924884 @default.
- W1852280707 hasConceptScore W1852280707C138885662 @default.
- W1852280707 hasConceptScore W1852280707C153269930 @default.
- W1852280707 hasConceptScore W1852280707C154945302 @default.
- W1852280707 hasConceptScore W1852280707C199360897 @default.
- W1852280707 hasConceptScore W1852280707C2129575 @default.
- W1852280707 hasConceptScore W1852280707C2776235265 @default.
- W1852280707 hasConceptScore W1852280707C33923547 @default.
- W1852280707 hasConceptScore W1852280707C41008148 @default.
- W1852280707 hasConceptScore W1852280707C52370388 @default.
- W1852280707 hasConceptScore W1852280707C61673122 @default.
- W1852280707 hasConceptScore W1852280707C77088390 @default.
- W1852280707 hasConceptScore W1852280707C80444323 @default.
- W1852280707 hasIssue "1" @default.
- W1852280707 hasLocation W18522807071 @default.
- W1852280707 hasLocation W18522807072 @default.
- W1852280707 hasOpenAccess W1852280707 @default.
- W1852280707 hasPrimaryLocation W18522807071 @default.
- W1852280707 hasRelatedWork W1852280707 @default.
- W1852280707 hasRelatedWork W2091482716 @default.
- W1852280707 hasRelatedWork W2097765725 @default.
- W1852280707 hasRelatedWork W2170486607 @default.
- W1852280707 hasRelatedWork W2743761496 @default.
- W1852280707 hasRelatedWork W2895185532 @default.
- W1852280707 hasRelatedWork W2943891349 @default.
- W1852280707 hasRelatedWork W2949294774 @default.
- W1852280707 hasRelatedWork W2949750192 @default.
- W1852280707 hasRelatedWork W3158314332 @default.
- W1852280707 hasVolume "29" @default.
- W1852280707 isParatext "false" @default.
- W1852280707 isRetracted "false" @default.
- W1852280707 magId "1852280707" @default.
- W1852280707 workType "article" @default.