Re: goal of the group

The intro text on https://www.w3.org/community/rdfsurfaces/ definitely can be enhanced!

What the RDF Surfaces group is working on is adding two concepts to RDF : graffiti as existential quantified variables (and blank nodes are coreferences to graffiti nodes) and surfaces (codices on which RDF triples can be placed). Based on these two notions we claim that full classical FOL with negation can be implemented. The group discusses if this claim is valid, what the consequences of this claim are and what kind of possibilities this would provide.

A second question is how to express RDF surfaces, what pragmatic choices need to be taken to implement this for real-world use-cases and applications. For now, we are experiment with the Notation3 syntax, because support for codices is already present and we have reasoners that for a lot of use-cases are well-behaved.

The interest of the group is both theoretical and practical.

patrick

________________________________
From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Sent: 22 September 2023 19:52
To: public-rdfsurfaces@w3.org <public-rdfsurfaces@w3.org>
Subject: goal of the group

I'm thinking of joining the group, but I'm confused by the statement on the
group's home page:

 > 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


Is the goal of the group to just implement FOL in RDF or is it to create some
N3 notation for RDF surfaces?   These two seem very different to me.

peter