goal of the group from Peter F. Patel-Schneider on 2023-09-22 (public-rdfsurfaces@w3.org from September 2023)

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Fri, 22 Sep 2023 13:52:59 -0400
To: public-rdfsurfaces@w3.org
Message-ID: <212eb018-c778-2054-bd2c-fad185b32a19@gmail.com>

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

Received on Friday, 22 September 2023 17:53:06 UTC