FRINK Linked Data Fragments server

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

• W1566263758 endingPage "16" @default.
• W1566263758 startingPage "10" @default.
• W1566263758 abstract "SPARQL query containment under schema axioms is the problem of determining whether, for any RDF graph satisfying a given set of schema axioms, the answers to a query are contained in the answers of another query. This problem has major applications for verification and optimization of queries. In order to solve it, we rely on the mu-calculus. Firstly, we provide a mapping from RDF graphs into transition systems. Secondly, SPARQL queries and RDFS and SHI axioms are encoded into mu-calculus formulas. This allows us to reduce query containment and equivalence to satisfiability in the mu-calculus. Finally, we prove a double exponential upper bound for containment under SHI schema axioms." @default.
• W1566263758 created "2016-06-24" @default.
• W1566263758 creator A5007570521 @default.
• W1566263758 creator A5043277194 @default.
• W1566263758 creator A5044171839 @default.
• W1566263758 creator A5058810337 @default.
• W1566263758 date "2021-09-20" @default.
• W1566263758 modified "2023-10-10" @default.
• W1566263758 title "SPARQL Query Containment Under SHI Axioms" @default.
• W1566263758 cites W142499984 @default.
• W1566263758 cites W1483388050 @default.
• W1566263758 cites W1504299768 @default.
• W1566263758 cites W150932629 @default.
• W1566263758 cites W1542417898 @default.
• W1566263758 cites W1555563750 @default.
• W1566263758 cites W1572495409 @default.
• W1566263758 cites W1847214366 @default.
• W1566263758 cites W188994241 @default.
• W1566263758 cites W1975714036 @default.
• W1566263758 cites W1979514837 @default.
• W1566263758 cites W1982030536 @default.
• W1566263758 cites W1991960436 @default.
• W1566263758 cites W2005032394 @default.
• W1566263758 cites W2015640848 @default.
• W1566263758 cites W2092512344 @default.
• W1566263758 cites W2107444004 @default.
• W1566263758 cites W2109976910 @default.
• W1566263758 cites W2126717690 @default.
• W1566263758 cites W2131785201 @default.
• W1566263758 cites W2133910477 @default.
• W1566263758 cites W2136793698 @default.
• W1566263758 cites W2139813577 @default.
• W1566263758 cites W2141591281 @default.
• W1566263758 cites W2163491591 @default.
• W1566263758 cites W2242459625 @default.
• W1566263758 cites W22429101 @default.
• W1566263758 cites W2276441244 @default.
• W1566263758 cites W2293896416 @default.
• W1566263758 cites W2951982224 @default.
• W1566263758 cites W3101483322 @default.
• W1566263758 cites W3103254699 @default.
• W1566263758 cites W5051221 @default.
• W1566263758 cites W98399127 @default.
• W1566263758 doi "https://doi.org/10.1609/aaai.v26i1.8108" @default.
• W1566263758 hasPublicationYear "2021" @default.
• W1566263758 type Work @default.
• W1566263758 sameAs 1566263758 @default.
• W1566263758 citedByCount "9" @default.
• W1566263758 countsByYear W15662637582014 @default.
• W1566263758 countsByYear W15662637582015 @default.
• W1566263758 countsByYear W15662637582016 @default.
• W1566263758 countsByYear W15662637582017 @default.
• W1566263758 crossrefType "journal-article" @default.
• W1566263758 hasAuthorship W1566263758A5007570521 @default.
• W1566263758 hasAuthorship W1566263758A5043277194 @default.
• W1566263758 hasAuthorship W1566263758A5044171839 @default.
• W1566263758 hasAuthorship W1566263758A5058810337 @default.
• W1566263758 hasBestOaLocation W15662637581 @default.
• W1566263758 hasConcept C118689300 @default.
• W1566263758 hasConcept C147497476 @default.
• W1566263758 hasConcept C15657843 @default.
• W1566263758 hasConcept C157692150 @default.
• W1566263758 hasConcept C164120249 @default.
• W1566263758 hasConcept C167729594 @default.
• W1566263758 hasConcept C168773769 @default.
• W1566263758 hasConcept C199360897 @default.
• W1566263758 hasConcept C2129575 @default.
• W1566263758 hasConcept C23123220 @default.
• W1566263758 hasConcept C2524010 @default.
• W1566263758 hasConcept C2777019822 @default.
• W1566263758 hasConcept C33923547 @default.
• W1566263758 hasConcept C41008148 @default.
• W1566263758 hasConcept C41009113 @default.
• W1566263758 hasConcept C52146309 @default.
• W1566263758 hasConcept C80444323 @default.
• W1566263758 hasConcept C96956885 @default.
• W1566263758 hasConcept C97854310 @default.
• W1566263758 hasConceptScore W1566263758C118689300 @default.
• W1566263758 hasConceptScore W1566263758C147497476 @default.
• W1566263758 hasConceptScore W1566263758C15657843 @default.
• W1566263758 hasConceptScore W1566263758C157692150 @default.
• W1566263758 hasConceptScore W1566263758C164120249 @default.
• W1566263758 hasConceptScore W1566263758C167729594 @default.
• W1566263758 hasConceptScore W1566263758C168773769 @default.
• W1566263758 hasConceptScore W1566263758C199360897 @default.
• W1566263758 hasConceptScore W1566263758C2129575 @default.
• W1566263758 hasConceptScore W1566263758C23123220 @default.
• W1566263758 hasConceptScore W1566263758C2524010 @default.
• W1566263758 hasConceptScore W1566263758C2777019822 @default.
• W1566263758 hasConceptScore W1566263758C33923547 @default.
• W1566263758 hasConceptScore W1566263758C41008148 @default.
• W1566263758 hasConceptScore W1566263758C41009113 @default.
• W1566263758 hasConceptScore W1566263758C52146309 @default.
• W1566263758 hasConceptScore W1566263758C80444323 @default.
• W1566263758 hasConceptScore W1566263758C96956885 @default.
• W1566263758 hasConceptScore W1566263758C97854310 @default.
• W1566263758 hasIssue "1" @default.
• W1566263758 hasLocation W15662637581 @default.

• next