Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978299898> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1978299898 abstract "We study the satisfiability problem for XPath with data equality tests. XPath is a node selecting language for XML documents whose satisfiability problem is known to be undecidable, even for very simple fragments. However, we show that the satisfiability for XPath with the rightward, leftward and downward reflexive-transitive axes (namely following-sibling-or-self, preceding-sibling-or-self, descendant-or-self) is decidable. Our algorithm yields a complexity of 3EXPSPACE, and we also identify an expressive-equivalent normal form for the logic for which the satisfiability problem is in 2EXPSPACE. These results are in contrast with the undecidability of the satisfiability problem as soon as we replace the reflexive-transitive axes with just transitive (non-reflexive) ones." @default.
- W1978299898 created "2016-06-24" @default.
- W1978299898 creator A5002674443 @default.
- W1978299898 date "2013-06-22" @default.
- W1978299898 modified "2023-09-23" @default.
- W1978299898 title "On XPath with transitive axes and data tests" @default.
- W1978299898 cites W1536883094 @default.
- W1978299898 cites W1575080936 @default.
- W1978299898 cites W1983524017 @default.
- W1978299898 cites W2005612348 @default.
- W1978299898 cites W2036259651 @default.
- W1978299898 cites W2036564813 @default.
- W1978299898 cites W2047551518 @default.
- W1978299898 cites W2056665285 @default.
- W1978299898 cites W2056864188 @default.
- W1978299898 cites W2062179480 @default.
- W1978299898 cites W2081396910 @default.
- W1978299898 cites W2087219556 @default.
- W1978299898 cites W2091686039 @default.
- W1978299898 cites W2134170665 @default.
- W1978299898 cites W2134826526 @default.
- W1978299898 cites W2157277195 @default.
- W1978299898 cites W2167738204 @default.
- W1978299898 doi "https://doi.org/10.1145/2463664.2463675" @default.
- W1978299898 hasPublicationYear "2013" @default.
- W1978299898 type Work @default.
- W1978299898 sameAs 1978299898 @default.
- W1978299898 citedByCount "7" @default.
- W1978299898 countsByYear W19782998982015 @default.
- W1978299898 countsByYear W19782998982016 @default.
- W1978299898 countsByYear W19782998982017 @default.
- W1978299898 countsByYear W19782998982018 @default.
- W1978299898 countsByYear W19782998982019 @default.
- W1978299898 crossrefType "proceedings-article" @default.
- W1978299898 hasAuthorship W1978299898A5002674443 @default.
- W1978299898 hasBestOaLocation W19782998982 @default.
- W1978299898 hasConcept C111919701 @default.
- W1978299898 hasConcept C11413529 @default.
- W1978299898 hasConcept C114614502 @default.
- W1978299898 hasConcept C118615104 @default.
- W1978299898 hasConcept C128896722 @default.
- W1978299898 hasConcept C129691609 @default.
- W1978299898 hasConcept C132525143 @default.
- W1978299898 hasConcept C153269930 @default.
- W1978299898 hasConcept C168773769 @default.
- W1978299898 hasConcept C191399111 @default.
- W1978299898 hasConcept C192034797 @default.
- W1978299898 hasConcept C203776342 @default.
- W1978299898 hasConcept C22149727 @default.
- W1978299898 hasConcept C2333172 @default.
- W1978299898 hasConcept C2780213375 @default.
- W1978299898 hasConcept C33923547 @default.
- W1978299898 hasConcept C41008148 @default.
- W1978299898 hasConcept C55348073 @default.
- W1978299898 hasConcept C6943359 @default.
- W1978299898 hasConcept C80444323 @default.
- W1978299898 hasConcept C8797682 @default.
- W1978299898 hasConceptScore W1978299898C111919701 @default.
- W1978299898 hasConceptScore W1978299898C11413529 @default.
- W1978299898 hasConceptScore W1978299898C114614502 @default.
- W1978299898 hasConceptScore W1978299898C118615104 @default.
- W1978299898 hasConceptScore W1978299898C128896722 @default.
- W1978299898 hasConceptScore W1978299898C129691609 @default.
- W1978299898 hasConceptScore W1978299898C132525143 @default.
- W1978299898 hasConceptScore W1978299898C153269930 @default.
- W1978299898 hasConceptScore W1978299898C168773769 @default.
- W1978299898 hasConceptScore W1978299898C191399111 @default.
- W1978299898 hasConceptScore W1978299898C192034797 @default.
- W1978299898 hasConceptScore W1978299898C203776342 @default.
- W1978299898 hasConceptScore W1978299898C22149727 @default.
- W1978299898 hasConceptScore W1978299898C2333172 @default.
- W1978299898 hasConceptScore W1978299898C2780213375 @default.
- W1978299898 hasConceptScore W1978299898C33923547 @default.
- W1978299898 hasConceptScore W1978299898C41008148 @default.
- W1978299898 hasConceptScore W1978299898C55348073 @default.
- W1978299898 hasConceptScore W1978299898C6943359 @default.
- W1978299898 hasConceptScore W1978299898C80444323 @default.
- W1978299898 hasConceptScore W1978299898C8797682 @default.
- W1978299898 hasLocation W19782998981 @default.
- W1978299898 hasLocation W19782998982 @default.
- W1978299898 hasLocation W19782998983 @default.
- W1978299898 hasLocation W19782998984 @default.
- W1978299898 hasOpenAccess W1978299898 @default.
- W1978299898 hasPrimaryLocation W19782998981 @default.
- W1978299898 hasRelatedWork W1485718948 @default.
- W1978299898 hasRelatedWork W1543051890 @default.
- W1978299898 hasRelatedWork W2246583867 @default.
- W1978299898 hasRelatedWork W2793661573 @default.
- W1978299898 hasRelatedWork W2964843467 @default.
- W1978299898 hasRelatedWork W2971340596 @default.
- W1978299898 hasRelatedWork W3036069644 @default.
- W1978299898 hasRelatedWork W4287754702 @default.
- W1978299898 hasRelatedWork W4302792571 @default.
- W1978299898 hasRelatedWork W66176321 @default.
- W1978299898 isParatext "false" @default.
- W1978299898 isRetracted "false" @default.
- W1978299898 magId "1978299898" @default.
- W1978299898 workType "article" @default.