W3C home > Mailing lists > Public > semantic-web@w3.org > April 2014

Re: rdf and category theory

From: David Spivak <dspivak@gmail.com>
Date: Wed, 9 Apr 2014 11:22:57 -0400
Message-ID: <CACcOXSHE4uP0TM_cD_cvFLpZ-dRhtwBq85xU5ti5XhFO5wTOaA@mail.gmail.com>
To: Jean-Marc Vanel <jeanmarc.vanel@gmail.com>
Cc: "Eric Prud'hommeaux" <eric@w3.org>, "henry.story@bblfish.net" <henry.story@bblfish.net>, Semantic Web <semantic-web@w3.org>
Hi all,

Yes: a couple years ago, Eric and I had several nice discussions about RDF,
SPARQL, and their relation to a certain category-theoretic foundation of
databases.

I wrote a paper that benefited greatly from these discussions. It is
linked<http://dx.doi.org/10.1017/S0960129513000479>and attached.

Let me know if it's of interest, or if I can be of further assistance.

David


On Wed, Apr 9, 2014 at 7:20 AM, Jean-Marc Vanel <jeanmarc.vanel@gmail.com>wrote:

> 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
>



Received on Wednesday, 9 April 2014 15:40:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:49 UTC