Re: rdf and category theory

A search
category theory  prove "rdf"

gives this,
which seems in the same direction as Eric mentioned:

Proceedings of the
Seventh International Workshop on
Graph Transformation and Visual Modeling Techniques
(GT-VMT 2008)
Graph Transformations for the
Resource Description Framework
Benjamin Braatz and Christoph Brandt

This search gives other interesting stuff :
"category theory" inference "rdf"



2014-04-09 13:10 GMT+02:00 Eric Prud'hommeaux <eric@w3.org>:

> * henry.story@bblfish.net <henry.story@bblfish.net> [2014-04-09
> 12:49+0200]
> > I am reading up on category theory, which is very important in functional
> > programming languages. Does anyone have some insight on what the
> relations
> > between the two are? Do people use category theory to prove things in rdf
> > or vice versa?
>
> David Spivak and I looked at using category theory to back the query
> rewriting algorithms in SWObjects. The notion was to treat query
> rewrite as morphisms between different schemas. I don't recall how far
> we got. David?
>
>
> > Henry
> >
> > Social Web Architect
> > http://bblfish.net/
> >
> >
>
> --
> -ericP
>
> office: +1.617.599.3509
> mobile: +33.6.80.80.35.59
>
> (eric@w3.org)
> Feel free to forward this message to any list for any purpose other than
> email address distribution.
>
> There are subtle nuances encoded in font variation and clever layout
> which can only be seen by printing this message on high-clay paper.
>
>


-- 
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel , @jmvanel_fr ; chat: irc://irc.freenode.net#eulergui