FRINK Linked Data Fragments server

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

• W2040329430 endingPage "22" @default.
• W2040329430 startingPage "2" @default.
• W2040329430 abstract "The aim of this work is to verify an algebra for high level languages for reading and writing Linked Data. Linked Data is raw data published on the Web and interlinked using a collection of standards. The main innovation is simply to use dereferenceable URIs as global identifiers in data, rather than a key local to a dataset. This introduces significant challenges for managing data that is pulled from distributed sources over the Web. An algebra is an essential contribution to this application domain, for rewriting programs that read and write Linked Data. To verify the algebra, a syntax, operational semantics and proof technique are introduced. The syntax provides an abstract representation for a high level language that concisely captures queries and updates over Linked Data. The behaviour of the language is defined using a concise operational semantics. The natural notion of behavioural equivalence, contextual equivalence, is shown to coincide with the bisimulation proof technique. Bisimulation is used to verify that the algebra preserves the operational semantics, hence rewrites of programs using the algebra do not change their operational meaning. A novel combination of techniques is used to establish the correctness of the proof technique itself." @default.
• W2040329430 created "2016-06-24" @default.
• W2040329430 creator A5067426975 @default.
• W2040329430 creator A5087967629 @default.
• W2040329430 date "2014-09-01" @default.
• W2040329430 modified "2023-10-16" @default.
• W2040329430 title "A verified algebra for read–write Linked Data" @default.
• W2040329430 cites W1965338471 @default.
• W2040329430 cites W1972478730 @default.
• W2040329430 cites W1976195354 @default.
• W2040329430 cites W1982789102 @default.
• W2040329430 cites W1995595916 @default.
• W2040329430 cites W1998368317 @default.
• W2040329430 cites W2001291669 @default.
• W2040329430 cites W2004063149 @default.
• W2040329430 cites W2010649834 @default.
• W2040329430 cites W2016630244 @default.
• W2040329430 cites W2033051110 @default.
• W2040329430 cites W2054344570 @default.
• W2040329430 cites W2063029497 @default.
• W2040329430 cites W2068695859 @default.
• W2040329430 cites W2096490078 @default.
• W2040329430 cites W2102625227 @default.
• W2040329430 cites W2106458801 @default.
• W2040329430 cites W2115905091 @default.
• W2040329430 cites W2119972514 @default.
• W2040329430 cites W2124651695 @default.
• W2040329430 cites W2125775320 @default.
• W2040329430 cites W2128932399 @default.
• W2040329430 cites W2131785201 @default.
• W2040329430 cites W2134699386 @default.
• W2040329430 cites W2153225416 @default.
• W2040329430 cites W2156525231 @default.
• W2040329430 cites W2162777223 @default.
• W2040329430 cites W2173213060 @default.
• W2040329430 cites W2911865844 @default.
• W2040329430 cites W2912191242 @default.
• W2040329430 cites W4210962885 @default.
• W2040329430 doi "https://doi.org/10.1016/j.scico.2013.07.005" @default.
• W2040329430 hasPublicationYear "2014" @default.
• W2040329430 type Work @default.
• W2040329430 sameAs 2040329430 @default.
• W2040329430 citedByCount "7" @default.
• W2040329430 countsByYear W20403294302012 @default.
• W2040329430 countsByYear W20403294302013 @default.
• W2040329430 countsByYear W20403294302015 @default.
• W2040329430 countsByYear W20403294302016 @default.
• W2040329430 countsByYear W20403294302019 @default.
• W2040329430 crossrefType "journal-article" @default.
• W2040329430 hasAuthorship W2040329430A5067426975 @default.
• W2040329430 hasAuthorship W2040329430A5087967629 @default.
• W2040329430 hasBestOaLocation W20403294302 @default.
• W2040329430 hasConcept C116409475 @default.
• W2040329430 hasConcept C118615104 @default.
• W2040329430 hasConcept C135315306 @default.
• W2040329430 hasConcept C138885662 @default.
• W2040329430 hasConcept C154504017 @default.
• W2040329430 hasConcept C154690210 @default.
• W2040329430 hasConcept C154945302 @default.
• W2040329430 hasConcept C156325763 @default.
• W2040329430 hasConcept C184337299 @default.
• W2040329430 hasConcept C199360897 @default.
• W2040329430 hasConcept C204321447 @default.
• W2040329430 hasConcept C206470798 @default.
• W2040329430 hasConcept C2780069185 @default.
• W2040329430 hasConcept C33923547 @default.
• W2040329430 hasConcept C41008148 @default.
• W2040329430 hasConcept C41895202 @default.
• W2040329430 hasConcept C55439883 @default.
• W2040329430 hasConcept C60048249 @default.
• W2040329430 hasConcept C80444323 @default.
• W2040329430 hasConceptScore W2040329430C116409475 @default.
• W2040329430 hasConceptScore W2040329430C118615104 @default.
• W2040329430 hasConceptScore W2040329430C135315306 @default.
• W2040329430 hasConceptScore W2040329430C138885662 @default.
• W2040329430 hasConceptScore W2040329430C154504017 @default.
• W2040329430 hasConceptScore W2040329430C154690210 @default.
• W2040329430 hasConceptScore W2040329430C154945302 @default.
• W2040329430 hasConceptScore W2040329430C156325763 @default.
• W2040329430 hasConceptScore W2040329430C184337299 @default.
• W2040329430 hasConceptScore W2040329430C199360897 @default.
• W2040329430 hasConceptScore W2040329430C204321447 @default.
• W2040329430 hasConceptScore W2040329430C206470798 @default.
• W2040329430 hasConceptScore W2040329430C2780069185 @default.
• W2040329430 hasConceptScore W2040329430C33923547 @default.
• W2040329430 hasConceptScore W2040329430C41008148 @default.
• W2040329430 hasConceptScore W2040329430C41895202 @default.
• W2040329430 hasConceptScore W2040329430C55439883 @default.
• W2040329430 hasConceptScore W2040329430C60048249 @default.
• W2040329430 hasConceptScore W2040329430C80444323 @default.
• W2040329430 hasLocation W20403294301 @default.
• W2040329430 hasLocation W20403294302 @default.
• W2040329430 hasLocation W20403294303 @default.
• W2040329430 hasLocation W20403294304 @default.
• W2040329430 hasOpenAccess W2040329430 @default.
• W2040329430 hasPrimaryLocation W20403294301 @default.
• W2040329430 hasRelatedWork W1548839857 @default.
• W2040329430 hasRelatedWork W1981466053 @default.

• next