- From: Aldo Gangemi <aldo.gangemi@cnr.it>
- Date: Thu, 24 Jan 2013 13:14:57 +0100
- To: Nicolas Chauvat <nicolas.chauvat@logilab.fr>
- Cc: Aldo Gangemi <aldo.gangemi@cnr.it>, semantic-web@w3.org
There is an article by Christoph Lange on the Semantic Web Journal [1] about this, and more. Aldo [1] http://www.semantic-web-journal.net/content/ontologies-and-languages-representing-mathematical-knowledge-semantic-web On Jan 24, 2013, at 12:07:20 PM , Nicolas Chauvat <nicolas.chauvat@logilab.fr> wrote: > Hi List, > > I am looking for a vocabulary usable to describe mathematical > concepts. For example, I would like to describe the objects of the > category theory (sets, groups, vector spaces), or elliptic curves, or > permutation groups, etc. > > Would anyone know about previous efforts to build such vocabularies ? > > Thank you in advance for any pointer, > > -- > Nicolas Chauvat > > logilab.fr - services en informatique scientifique et gestion de connaissances >
Received on Thursday, 24 January 2013 12:15:26 UTC