Moved from https://w3c-cg.github.io/rdfsurfaces/
The RDF Surfaces sets out to create a sublanguage of Notation3 in order to implement classical first-order logic with negation in RDF as envisioned by Pat Hayes in his 2009 ISWC Invited Talk: BLOGIC.
See the living document RDF Surfaces Primer.