search

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

Fix typos in bikeshed #12

Closed joachimvh closed 4 months ago

joachimvh commented 4 months ago

Changes of https://github.com/w3c-cg/rdfsurfaces/pull/10 but now in bikeshed.

Btw, running make spec resulted in some errors about the contents of the file, make web worked though.

phochste commented 4 months ago

@TallTed I made my own edits for the definitions of positive and negative surfaces. We made some changes in the last month to remove the positive surface type and made it into an implicit default surface. The definition became a bit circular due to the many edits. We now have:

The default positive surface claims that any RDF Graph that is placed on it is true.

and

A negative surface claims that any RDF Graph that is placed on it is false.