Historical ancestors to RDF
In an e-mail to the semantic-web mailing list Pat Hayes remarked in a thread on "Regular Logic" and "Coherent Logic" and their relation to RDF via the bicategories of relations, on how these fragments of first order logic keep being re-invented, remarking that there is a relation to Charles Sanders Pierce work:
It is also closely similar to CSPierce’s “existential graphs” from around 1880 (though Pierce also had scoping and negation, so RDF is, again, a sublanguage of Pierce’s notation.) I find it interesting that this particular weak but useful, and eminently ’graphable’, logic has been reinvented so many times since the very beginning of modern logical studies.
I recently found an article from 2019 that mentions regular logic in this context: The Logic of Picturing: Wittgenstein, Sellars and Peirce’s EG-beta (also via Research Gate) by Rocco Gangle, Gianluca Caterina, Fernando Tohmé.
As that article also mentions Wittgenstein, I'll mention another recent paper I found Wittgenstein’s Struggles with the Quantifiers by Jan von Plato, which looks into Wittgenstein's trouble with universal quantification, which is exactly the quantifier missing in both regular and even coherent logic (where coherent logic is equivalent in expressivity to First Order Logic as argued in great detail in Geometrisation of First-Order Logic by Roy Dyckhoff and Sara Negri who wrote a few articles with the same van Plato mentioned above). Could it be that Wittgenstein was a coherent logician, so to speak?