Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891669388> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2891669388 endingPage "336" @default.
- W2891669388 startingPage "318" @default.
- W2891669388 abstract "With the popularity of RDF as an independent data model came the need for specifying constraints on RDF graphs, and for mechanisms to detect violations of such constraints. One of the most promising schema languages for RDF is SHACL, a recent W3C recommendation. Unfortunately, the specification of SHACL leaves open the problem of validation against recursive constraints. This omission is important because SHACL by design favors constraints that reference other ones, which in practice may easily yield reference cycles. In this paper, we propose a concise formal semantics for the so-called “core constraint components” of SHACL. This semantics handles arbitrary recursion, while being compliant with the current standard. Graph validation is based on the existence of an assignment of SHACL “shapes” to nodes in the graph under validation, stating which shapes are verified or violated, while verifying the targets of the validation process. We show in particular that the design of SHACL forces us to consider cases in which these assignments are partial, or, in other words, where the truth value of a constraint at some nodes of a graph may be left unknown. Dealing with recursion also comes at a price, as validating an RDF graph against SHACL constraints is NP-hard in the size of the graph, and this lower bound still holds for constraints with stratified negation. Therefore we also propose a tractable approximation to the validation problem." @default.
- W2891669388 created "2018-09-27" @default.
- W2891669388 creator A5000893188 @default.
- W2891669388 creator A5009122904 @default.
- W2891669388 creator A5087820841 @default.
- W2891669388 date "2018-01-01" @default.
- W2891669388 modified "2023-10-09" @default.
- W2891669388 title "Semantics and Validation of Recursive SHACL" @default.
- W2891669388 cites W1618147311 @default.
- W2891669388 cites W1734573275 @default.
- W2891669388 cites W1969965298 @default.
- W2891669388 cites W1990661066 @default.
- W2891669388 cites W2009788656 @default.
- W2891669388 cites W2059360847 @default.
- W2891669388 cites W2138054201 @default.
- W2891669388 cites W2232084723 @default.
- W2891669388 cites W2269712213 @default.
- W2891669388 cites W2621387978 @default.
- W2891669388 cites W2756441516 @default.
- W2891669388 cites W2950503648 @default.
- W2891669388 cites W4239696231 @default.
- W2891669388 doi "https://doi.org/10.1007/978-3-030-00671-6_19" @default.
- W2891669388 hasPublicationYear "2018" @default.
- W2891669388 type Work @default.
- W2891669388 sameAs 2891669388 @default.
- W2891669388 citedByCount "38" @default.
- W2891669388 countsByYear W28916693882018 @default.
- W2891669388 countsByYear W28916693882019 @default.
- W2891669388 countsByYear W28916693882020 @default.
- W2891669388 countsByYear W28916693882021 @default.
- W2891669388 countsByYear W28916693882022 @default.
- W2891669388 countsByYear W28916693882023 @default.
- W2891669388 crossrefType "book-chapter" @default.
- W2891669388 hasAuthorship W2891669388A5000893188 @default.
- W2891669388 hasAuthorship W2891669388A5009122904 @default.
- W2891669388 hasAuthorship W2891669388A5087820841 @default.
- W2891669388 hasConcept C11413529 @default.
- W2891669388 hasConcept C132525143 @default.
- W2891669388 hasConcept C147497476 @default.
- W2891669388 hasConcept C156325763 @default.
- W2891669388 hasConcept C168773036 @default.
- W2891669388 hasConcept C184337299 @default.
- W2891669388 hasConcept C199360897 @default.
- W2891669388 hasConcept C2129575 @default.
- W2891669388 hasConcept C2185349 @default.
- W2891669388 hasConcept C23123220 @default.
- W2891669388 hasConcept C41008148 @default.
- W2891669388 hasConcept C52146309 @default.
- W2891669388 hasConcept C80444323 @default.
- W2891669388 hasConceptScore W2891669388C11413529 @default.
- W2891669388 hasConceptScore W2891669388C132525143 @default.
- W2891669388 hasConceptScore W2891669388C147497476 @default.
- W2891669388 hasConceptScore W2891669388C156325763 @default.
- W2891669388 hasConceptScore W2891669388C168773036 @default.
- W2891669388 hasConceptScore W2891669388C184337299 @default.
- W2891669388 hasConceptScore W2891669388C199360897 @default.
- W2891669388 hasConceptScore W2891669388C2129575 @default.
- W2891669388 hasConceptScore W2891669388C2185349 @default.
- W2891669388 hasConceptScore W2891669388C23123220 @default.
- W2891669388 hasConceptScore W2891669388C41008148 @default.
- W2891669388 hasConceptScore W2891669388C52146309 @default.
- W2891669388 hasConceptScore W2891669388C80444323 @default.
- W2891669388 hasLocation W28916693881 @default.
- W2891669388 hasOpenAccess W2891669388 @default.
- W2891669388 hasPrimaryLocation W28916693881 @default.
- W2891669388 hasRelatedWork W2059922809 @default.
- W2891669388 hasRelatedWork W2092783274 @default.
- W2891669388 hasRelatedWork W2131148043 @default.
- W2891669388 hasRelatedWork W2362978029 @default.
- W2891669388 hasRelatedWork W2387527986 @default.
- W2891669388 hasRelatedWork W2389908864 @default.
- W2891669388 hasRelatedWork W2479250593 @default.
- W2891669388 hasRelatedWork W4283261428 @default.
- W2891669388 hasRelatedWork W4318829426 @default.
- W2891669388 hasRelatedWork W4384940451 @default.
- W2891669388 isParatext "false" @default.
- W2891669388 isRetracted "false" @default.
- W2891669388 magId "2891669388" @default.
- W2891669388 workType "book-chapter" @default.