Formal Specification of RDF Concepts

by Alistair Miles

I had a go at rewriting the RDF Concepts and Abstract Syntax as a formal specification using the Z notation, to try out the CZT editing, type checking and format conversion tools. The files I’ve produced so far are linked below:

I wrote the specification in plain text UTF-8 format, using the jEdit plugin from CZT. I then used the CZT tools to convert to latex format, which I had to edit a bit before I could get to a nice looking PDF. I haven’t tried to get to HTML yet, I’m saving that for a rainy day 🙂