FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3183994043> ?p ?o ?g. }

• W3183994043 abstract "Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are preserved under homomorphisms. In this paper, we show the converse: every decidable query that is closed under homomorphism can be expressed by an existential rule set for which the standard chase universally terminates. Membership in this fragment is not decidable, but we show via a diagonalisation argument that this is unavoidable." @default.
• W3183994043 created "2021-08-02" @default.
• W3183994043 creator A5011677564 @default.
• W3183994043 creator A5018227263 @default.
• W3183994043 creator A5024774718 @default.
• W3183994043 creator A5077317707 @default.
• W3183994043 creator A5087579719 @default.
• W3183994043 date "2021-07-16" @default.
• W3183994043 modified "2023-10-14" @default.
• W3183994043 title "Capturing Homomorphism-Closed Decidable Queries with Existential Rules" @default.
• W3183994043 cites W1558832481 @default.
• W3183994043 cites W1852280707 @default.
• W3183994043 cites W2013096722 @default.
• W3183994043 cites W2028222220 @default.
• W3183994043 cites W2040566369 @default.
• W3183994043 cites W2057069578 @default.
• W3183994043 cites W2102729564 @default.
• W3183994043 cites W2103738827 @default.
• W3183994043 cites W2257811554 @default.
• W3183994043 cites W2288402373 @default.
• W3183994043 cites W2741421701 @default.
• W3183994043 cites W2752197104 @default.
• W3183994043 cites W2963013562 @default.
• W3183994043 cites W2965221673 @default.
• W3183994043 hasPublicationYear "2021" @default.
• W3183994043 type Work @default.
• W3183994043 sameAs 3183994043 @default.
• W3183994043 citedByCount "0" @default.
• W3183994043 crossrefType "posted-content" @default.
• W3183994043 hasAuthorship W3183994043A5011677564 @default.
• W3183994043 hasAuthorship W3183994043A5018227263 @default.
• W3183994043 hasAuthorship W3183994043A5024774718 @default.
• W3183994043 hasAuthorship W3183994043A5077317707 @default.
• W3183994043 hasAuthorship W3183994043A5087579719 @default.
• W3183994043 hasConcept C111472728 @default.
• W3183994043 hasConcept C118615104 @default.
• W3183994043 hasConcept C127882523 @default.
• W3183994043 hasConcept C138885662 @default.
• W3183994043 hasConcept C153269930 @default.
• W3183994043 hasConcept C177264268 @default.
• W3183994043 hasConcept C185592680 @default.
• W3183994043 hasConcept C199360897 @default.
• W3183994043 hasConcept C23123220 @default.
• W3183994043 hasConcept C2524010 @default.
• W3183994043 hasConcept C2776235265 @default.
• W3183994043 hasConcept C2776809875 @default.
• W3183994043 hasConcept C2778029271 @default.
• W3183994043 hasConcept C33923547 @default.
• W3183994043 hasConcept C4042151 @default.
• W3183994043 hasConcept C41008148 @default.
• W3183994043 hasConcept C55493867 @default.
• W3183994043 hasConcept C5655090 @default.
• W3183994043 hasConcept C65647387 @default.
• W3183994043 hasConcept C80444323 @default.
• W3183994043 hasConcept C98184364 @default.
• W3183994043 hasConceptScore W3183994043C111472728 @default.
• W3183994043 hasConceptScore W3183994043C118615104 @default.
• W3183994043 hasConceptScore W3183994043C127882523 @default.
• W3183994043 hasConceptScore W3183994043C138885662 @default.
• W3183994043 hasConceptScore W3183994043C153269930 @default.
• W3183994043 hasConceptScore W3183994043C177264268 @default.
• W3183994043 hasConceptScore W3183994043C185592680 @default.
• W3183994043 hasConceptScore W3183994043C199360897 @default.
• W3183994043 hasConceptScore W3183994043C23123220 @default.
• W3183994043 hasConceptScore W3183994043C2524010 @default.
• W3183994043 hasConceptScore W3183994043C2776235265 @default.
• W3183994043 hasConceptScore W3183994043C2776809875 @default.
• W3183994043 hasConceptScore W3183994043C2778029271 @default.
• W3183994043 hasConceptScore W3183994043C33923547 @default.
• W3183994043 hasConceptScore W3183994043C4042151 @default.
• W3183994043 hasConceptScore W3183994043C41008148 @default.
• W3183994043 hasConceptScore W3183994043C55493867 @default.
• W3183994043 hasConceptScore W3183994043C5655090 @default.
• W3183994043 hasConceptScore W3183994043C65647387 @default.
• W3183994043 hasConceptScore W3183994043C80444323 @default.
• W3183994043 hasConceptScore W3183994043C98184364 @default.
• W3183994043 hasLocation W31839940431 @default.
• W3183994043 hasOpenAccess W3183994043 @default.
• W3183994043 hasPrimaryLocation W31839940431 @default.
• W3183994043 hasRelatedWork W126873717 @default.
• W3183994043 hasRelatedWork W1485296930 @default.
• W3183994043 hasRelatedWork W1550770522 @default.
• W3183994043 hasRelatedWork W1966737172 @default.
• W3183994043 hasRelatedWork W1971727793 @default.
• W3183994043 hasRelatedWork W2021891065 @default.
• W3183994043 hasRelatedWork W2079353347 @default.
• W3183994043 hasRelatedWork W2081973669 @default.
• W3183994043 hasRelatedWork W2156541338 @default.
• W3183994043 hasRelatedWork W2167738204 @default.
• W3183994043 hasRelatedWork W2346299657 @default.
• W3183994043 hasRelatedWork W2479961941 @default.
• W3183994043 hasRelatedWork W2791573054 @default.
• W3183994043 hasRelatedWork W2951843522 @default.
• W3183994043 hasRelatedWork W2971036089 @default.
• W3183994043 hasRelatedWork W2991296087 @default.
• W3183994043 hasRelatedWork W2996054020 @default.
• W3183994043 hasRelatedWork W2996410546 @default.
• W3183994043 hasRelatedWork W3157697571 @default.
• W3183994043 hasRelatedWork W3200153506 @default.
• W3183994043 isParatext "false" @default.

• next