W3C home > Mailing lists > Public > semantic-web@w3.org > July 2007

Re: category theory

From: Ivan Herman <ivan@w3.org>
Date: Mon, 09 Jul 2007 10:26:04 +0200
Message-ID: <4691F11C.4000602@w3.org>
To: Renato Golin <renato@ebi.ac.uk>
Cc: semantic-web@w3.org
I personally do not know of any work in that area (which does not
necessarily mean there aren't any).

However... what type of results/research would you expect to see out of
that? I could very vaguely see some possibilities in looking at
structural equivalence and analysis of RDF graphs, but I am not sure
that would reveal anything significant  (I may be wrong!). I am also not
sure that, say, the concept of injection or surjection would give
anything new with respect to what OWL can already describe in terms of
functional and inverse functional properties...

I am interested to hear/see which way you want to go with that.

Ivan

Renato Golin wrote:
> 
> Maybe I didn't look in the right place, but what has been done about
> category theory in RDF?
> 
> As far as I could see there are classes and hierarchy but I couldn't
> find morphisms, associations or correspondence (such as injection,
> bijection and surjection).
> 
> Can anyone point me the right place to look for it?
> 
> thanks,
> --renato
> 

-- 

Ivan Herman, W3C Semantic Web Activity Lead
URL: http://www.w3.org/People/Ivan/
PGP Key: http://www.cwi.nl/%7Eivan/AboutMe/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

Received on Monday, 9 July 2007 08:26:05 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:16 GMT