4 ms·

> It's the only formally proven, No. RDF is formally proven via its Model Theory (as was KIF before it). That's arguably a stronger basis that relational "alge

by dehora 14y ago

> It's the only formally proven, No. RDF is formally proven via its Model Theory (as was KIF before it). That's arguably a stronger basis that relational "algebra"