w3c-cg / rdfsurfaces

RDF Surfaces is classical first-order logic with negation in RDF
https://w3c-cg.github.io/rdfsurfaces/
Other
8 stars 3 forks source link

RDF Surfaces

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.

Latest Examples and Test Cases