Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080476051> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2080476051 abstract "Motivated by the current interest in languages for expressing path queries to graph databases, this paper proposes to investigate Walk Logic (WL): the extension of first-order logic on finite graphs with the possibility to explicitly quantify over walks. WL can serve as a unifying framework for path query languages. To support this claim, WL is compared in expressive power with various established query languages for graphs, such as first-order logic extended with reachability; the monadic second-order logic of graphs; hybrid computation tree logic; and regular path queries. WL also serves as a framework to investigate the following natural questions: Is quantifying over walks more powerful than quantifying over paths (walks without repeating nodes) only? Is quantifying over infinite walks more powerful than quantifying over finite walks only? WL model checking is decidable, but determining the precise complexity remains an open problem." @default.
- W2080476051 created "2016-06-24" @default.
- W2080476051 creator A5009839886 @default.
- W2080476051 creator A5030524599 @default.
- W2080476051 creator A5035702185 @default.
- W2080476051 creator A5089823917 @default.
- W2080476051 date "2013-03-18" @default.
- W2080476051 modified "2023-09-23" @default.
- W2080476051 title "Walk logic as a framework for path query languages on graph databases" @default.
- W2080476051 cites W1604827233 @default.
- W2080476051 cites W1755189310 @default.
- W2080476051 cites W1982139456 @default.
- W2080476051 cites W1989783863 @default.
- W2080476051 cites W1997520998 @default.
- W2080476051 cites W2017460625 @default.
- W2080476051 cites W2020437202 @default.
- W2080476051 cites W2068458083 @default.
- W2080476051 cites W2073614038 @default.
- W2080476051 cites W2102710172 @default.
- W2080476051 cites W2114507260 @default.
- W2080476051 cites W2128478991 @default.
- W2080476051 cites W2144726625 @default.
- W2080476051 cites W2148544545 @default.
- W2080476051 cites W2158212536 @default.
- W2080476051 cites W2158405910 @default.
- W2080476051 cites W2160355448 @default.
- W2080476051 cites W2168901678 @default.
- W2080476051 cites W2569646339 @default.
- W2080476051 cites W2714643361 @default.
- W2080476051 cites W4236835455 @default.
- W2080476051 doi "https://doi.org/10.1145/2448496.2448512" @default.
- W2080476051 hasPublicationYear "2013" @default.
- W2080476051 type Work @default.
- W2080476051 sameAs 2080476051 @default.
- W2080476051 citedByCount "21" @default.
- W2080476051 countsByYear W20804760512013 @default.
- W2080476051 countsByYear W20804760512014 @default.
- W2080476051 countsByYear W20804760512015 @default.
- W2080476051 countsByYear W20804760512016 @default.
- W2080476051 countsByYear W20804760512017 @default.
- W2080476051 countsByYear W20804760512021 @default.
- W2080476051 countsByYear W20804760512022 @default.
- W2080476051 countsByYear W20804760512023 @default.
- W2080476051 crossrefType "proceedings-article" @default.
- W2080476051 hasAuthorship W2080476051A5009839886 @default.
- W2080476051 hasAuthorship W2080476051A5030524599 @default.
- W2080476051 hasAuthorship W2080476051A5035702185 @default.
- W2080476051 hasAuthorship W2080476051A5089823917 @default.
- W2080476051 hasBestOaLocation W20804760512 @default.
- W2080476051 hasConcept C102993220 @default.
- W2080476051 hasConcept C124656256 @default.
- W2080476051 hasConcept C132525143 @default.
- W2080476051 hasConcept C136643341 @default.
- W2080476051 hasConcept C153269930 @default.
- W2080476051 hasConcept C169896238 @default.
- W2080476051 hasConcept C192028432 @default.
- W2080476051 hasConcept C195818886 @default.
- W2080476051 hasConcept C199360897 @default.
- W2080476051 hasConcept C2777735758 @default.
- W2080476051 hasConcept C2778029271 @default.
- W2080476051 hasConcept C33923547 @default.
- W2080476051 hasConcept C41008148 @default.
- W2080476051 hasConcept C77088390 @default.
- W2080476051 hasConcept C80444323 @default.
- W2080476051 hasConceptScore W2080476051C102993220 @default.
- W2080476051 hasConceptScore W2080476051C124656256 @default.
- W2080476051 hasConceptScore W2080476051C132525143 @default.
- W2080476051 hasConceptScore W2080476051C136643341 @default.
- W2080476051 hasConceptScore W2080476051C153269930 @default.
- W2080476051 hasConceptScore W2080476051C169896238 @default.
- W2080476051 hasConceptScore W2080476051C192028432 @default.
- W2080476051 hasConceptScore W2080476051C195818886 @default.
- W2080476051 hasConceptScore W2080476051C199360897 @default.
- W2080476051 hasConceptScore W2080476051C2777735758 @default.
- W2080476051 hasConceptScore W2080476051C2778029271 @default.
- W2080476051 hasConceptScore W2080476051C33923547 @default.
- W2080476051 hasConceptScore W2080476051C41008148 @default.
- W2080476051 hasConceptScore W2080476051C77088390 @default.
- W2080476051 hasConceptScore W2080476051C80444323 @default.
- W2080476051 hasLocation W20804760511 @default.
- W2080476051 hasLocation W20804760512 @default.
- W2080476051 hasOpenAccess W2080476051 @default.
- W2080476051 hasPrimaryLocation W20804760511 @default.
- W2080476051 hasRelatedWork W102058762 @default.
- W2080476051 hasRelatedWork W1049919373 @default.
- W2080476051 hasRelatedWork W1967901317 @default.
- W2080476051 hasRelatedWork W2000909447 @default.
- W2080476051 hasRelatedWork W2021726786 @default.
- W2080476051 hasRelatedWork W2127347809 @default.
- W2080476051 hasRelatedWork W2156226590 @default.
- W2080476051 hasRelatedWork W2394513129 @default.
- W2080476051 hasRelatedWork W2583954723 @default.
- W2080476051 hasRelatedWork W422501756 @default.
- W2080476051 isParatext "false" @default.
- W2080476051 isRetracted "false" @default.
- W2080476051 magId "2080476051" @default.
- W2080476051 workType "article" @default.