RDF and (a subsets of) F-Logic

Dear all,

At the last face-to-face meeting I mentioned that there is a direct
semantic correspondence between RDF triples and data molecules of the
form a[b->>c] in F-Logic.

Find attached a paper which describes an embedding of RDF(S) in F-Logic,
and presents several results. We also present an extension of RDF with
rules, and, in general, arbitrary theories.

For the members of this working group, the results on the embedding in
Theorem 1 and Corollary 1, and the extension in Definition 4, with the
result in Theorem 5, would be the most interesting.

If we would want to adopt this embedding/extension in RIF, we might want
to rename "molecule" to "triple", and syntax-wise we might choose
something like NTriples for representing the statements.



Best, Jos

-- 
Jos de Bruijn,        http://www.debruijn.net/
+43 512 507 6475         jos.debruijn@deri.org
DERI                      http://www.deri.org/
----------------------------------------------
Simple, clear purpose and principles give rise 
to complex and intelligent behavior.  Complex 
rules and regulations give rise to simple and 
stupid behavior.
 - Dee Hock