Z Specification for the W3C Editor's Draft Core SHACL Semantics.
Arthur G. RymanPublished in: CoRR (2015)
Keyphrases
- formal semantics
- specification language
- formal language
- operational semantics
- working group
- conceptual schema
- high level
- specification languages
- conceptual model
- formal specification
- logic programming
- control flow
- query language
- semantic information
- active rules
- definition language
- action language
- modelling language
- xml schema
- object oriented data models
- semantic web languages
- databases
- semantic web
- constraint language
- formal languages
- formal methods
- process algebra
- relational databases
- website