RDF::N3 Formulae representation

For the forthcoming 0.3.0 release of the Gem, I'd like to make progress on Formulae representation using RDF::Statement. I've opened an issue on the GitHub [1] repository describing the current state, and suggestions for development. I'm seeking input from the Ruby RDF community in pushing this forward.

I've done some review of comments on RDF reification and it's relation to Notation-3. The reification defined for N3 seems out-of-step with further RDF developments, as expressed in SPARQL, for example. I've tried to describe a way to serialize N3 Formulae using RDF::Statement, but have manufactured some semantics for expressing universal and existential variables.

Gregg

[1] https://github.com/gkellogg/rdf-n3/issues/labels/0.3.0#issue/7

Received on Monday, 6 December 2010 20:44:39 UTC