An Executable Specification for SPARQL.
Mihaela A. BorneaJulian DolbyAchille FokoueAnastasios KementsietsidisKavitha SrinivasMandana VaziriPublished in: WISE (2) (2016)
Keyphrases
- formal specification
- process algebra
- attribute grammars
- control flow
- linked data
- specification language
- rdf data
- formal methods
- reactive systems
- semantic web
- data model
- sparql queries
- query language
- neural network
- user defined
- high level
- data flow
- reverse engineering
- conceptual model
- formal verification
- formal languages
- concurrent systems
- data sets
- real time