FRINK Linked Data Fragments server

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

• W2563722128 abstract "Regular path expressions represent the navigation core of the XPath query language for semi-structured data (XML), and it has been characterized as the First Order Logic with Two Variables (FO2). Data tests refers to (dis)equality comparisons on data tree models, which are unranked trees with two kinds of labels, propositions from a finite alphabet, and data values from a possibly infinite alphabet. Node occurrences on tree models can be constrained by counting/arithmetic constructors. In this paper, we identify an EXPTIME extension of regular paths with data tests and counting operators. This extension is characterized in terms of a closed under negation Presburger tree logic. As a consequence, the EXPTIME bound also applies for standard query reasoning (emptiness, containment and equivalence)." @default.
• W2563722128 created "2017-01-06" @default.
• W2563722128 creator A5045857927 @default.
• W2563722128 creator A5086701100 @default.
• W2563722128 creator A5087338274 @default.
• W2563722128 date "2016-12-01" @default.
• W2563722128 modified "2023-10-02" @default.
• W2563722128 title "On Regular Paths with Counting and Data Tests" @default.
• W2563722128 cites W119551458 @default.
• W2563722128 cites W1978299898 @default.
• W2563722128 cites W1982213843 @default.
• W2563722128 cites W1992942833 @default.
• W2563722128 cites W2005612348 @default.
• W2563722128 cites W2022002457 @default.
• W2563722128 cites W2036564813 @default.
• W2563722128 cites W2059215363 @default.
• W2563722128 cites W2073614038 @default.
• W2563722128 cites W2087219556 @default.
• W2563722128 cites W2207337225 @default.
• W2563722128 cites W2213813753 @default.
• W2563722128 cites W2295931013 @default.
• W2563722128 cites W2899519452 @default.
• W2563722128 cites W3098856788 @default.
• W2563722128 cites W34305035 @default.
• W2563722128 cites W34367134 @default.
• W2563722128 doi "https://doi.org/10.1016/j.entcs.2016.11.002" @default.
• W2563722128 hasPublicationYear "2016" @default.
• W2563722128 type Work @default.
• W2563722128 sameAs 2563722128 @default.
• W2563722128 citedByCount "1" @default.
• W2563722128 countsByYear W25637221282020 @default.
• W2563722128 crossrefType "journal-article" @default.
• W2563722128 hasAuthorship W2563722128A5045857927 @default.
• W2563722128 hasAuthorship W2563722128A5086701100 @default.
• W2563722128 hasAuthorship W2563722128A5087338274 @default.
• W2563722128 hasBestOaLocation W25637221281 @default.
• W2563722128 hasConcept C111919701 @default.
• W2563722128 hasConcept C11413529 @default.
• W2563722128 hasConcept C118615104 @default.
• W2563722128 hasConcept C153269930 @default.
• W2563722128 hasConcept C179799912 @default.
• W2563722128 hasConcept C192028432 @default.
• W2563722128 hasConcept C197685441 @default.
• W2563722128 hasConcept C199360897 @default.
• W2563722128 hasConcept C2185349 @default.
• W2563722128 hasConcept C2777735758 @default.
• W2563722128 hasConcept C2778029271 @default.
• W2563722128 hasConcept C2780069185 @default.
• W2563722128 hasConcept C2780213375 @default.
• W2563722128 hasConcept C33923547 @default.
• W2563722128 hasConcept C41008148 @default.
• W2563722128 hasConcept C55348073 @default.
• W2563722128 hasConcept C56049555 @default.
• W2563722128 hasConcept C5852641 @default.
• W2563722128 hasConcept C61114434 @default.
• W2563722128 hasConcept C77088390 @default.
• W2563722128 hasConcept C80444323 @default.
• W2563722128 hasConcept C8797682 @default.
• W2563722128 hasConceptScore W2563722128C111919701 @default.
• W2563722128 hasConceptScore W2563722128C11413529 @default.
• W2563722128 hasConceptScore W2563722128C118615104 @default.
• W2563722128 hasConceptScore W2563722128C153269930 @default.
• W2563722128 hasConceptScore W2563722128C179799912 @default.
• W2563722128 hasConceptScore W2563722128C192028432 @default.
• W2563722128 hasConceptScore W2563722128C197685441 @default.
• W2563722128 hasConceptScore W2563722128C199360897 @default.
• W2563722128 hasConceptScore W2563722128C2185349 @default.
• W2563722128 hasConceptScore W2563722128C2777735758 @default.
• W2563722128 hasConceptScore W2563722128C2778029271 @default.
• W2563722128 hasConceptScore W2563722128C2780069185 @default.
• W2563722128 hasConceptScore W2563722128C2780213375 @default.
• W2563722128 hasConceptScore W2563722128C33923547 @default.
• W2563722128 hasConceptScore W2563722128C41008148 @default.
• W2563722128 hasConceptScore W2563722128C55348073 @default.
• W2563722128 hasConceptScore W2563722128C56049555 @default.
• W2563722128 hasConceptScore W2563722128C5852641 @default.
• W2563722128 hasConceptScore W2563722128C61114434 @default.
• W2563722128 hasConceptScore W2563722128C77088390 @default.
• W2563722128 hasConceptScore W2563722128C80444323 @default.
• W2563722128 hasConceptScore W2563722128C8797682 @default.
• W2563722128 hasLocation W25637221281 @default.
• W2563722128 hasOpenAccess W2563722128 @default.
• W2563722128 hasPrimaryLocation W25637221281 @default.
• W2563722128 hasRelatedWork W110309261 @default.
• W2563722128 hasRelatedWork W1501904253 @default.
• W2563722128 hasRelatedWork W1525718437 @default.
• W2563722128 hasRelatedWork W1570464944 @default.
• W2563722128 hasRelatedWork W161409554 @default.
• W2563722128 hasRelatedWork W1862704942 @default.
• W2563722128 hasRelatedWork W1957750398 @default.
• W2563722128 hasRelatedWork W1977793919 @default.
• W2563722128 hasRelatedWork W1987336583 @default.
• W2563722128 hasRelatedWork W2002690977 @default.
• W2563722128 hasRelatedWork W2030853081 @default.
• W2563722128 hasRelatedWork W2036259651 @default.
• W2563722128 hasRelatedWork W2044842674 @default.
• W2563722128 hasRelatedWork W2093512350 @default.
• W2563722128 hasRelatedWork W2113322626 @default.
• W2563722128 hasRelatedWork W2134781086 @default.
• W2563722128 hasRelatedWork W2263308078 @default.

• next