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

Surface and namespace #5

Closed domel closed 1 year ago

domel commented 1 year ago

I propose to change log:onPositiveSurface, log:onPositiveSurface etc, to a different namespace. http://www.w3.org/2000/10/swap/log# is used in N3, and I think that RDF Sufraces should have its own namespace.

josd commented 1 year ago

This is of course still research and for examples see https://github.com/eyereasoner/eye/tree/master/logic