W3C home > Mailing lists > Public > semantic-web@w3.org > January 2013

Re: vocabulary to describe mathematical concepts

From: Ali SH <asaegyn+out@gmail.com>
Date: Thu, 24 Jan 2013 22:31:42 +0100
Message-ID: <CADr70E36GE5oAOXftgSuG6H-X2GOZG+BApcNWisAZ8Dj3jD-_g@mail.gmail.com>
To: Jean-Marc Vanel <jeanmarc.vanel@gmail.com>
Cc: semantic-web@w3.org
The COLORE (http://stl.mie.utoronto.ca/colore/ontologies.html) ontology
repository has axiomatized many mathematical theories.

Though once you follow the link, you will find that they've been
represented in Common Logic since OWL is not expressive enough.

On Thu, Jan 24, 2013 at 3:31 PM, Jean-Marc Vanel
<jeanmarc.vanel@gmail.com>wrote:

> It depends how deep your description is intended , and for which
> application ...
>
> If you just want to have meaningful URI's from an encyclopedia , there
> is dbPedia.
> For instance this URI :
> http://dbpedia.org/resource/Category_theory
> gives label and abstract in many languages, plus some mathematiciens whose
> dbpedia-owl:field , dbpedia-owl:knownFor , or dbpedia-owl:mainInterest
> are Category_theory .
>
> Plus a link to the real Wikipedia page .
>
> 2013/1/24 Nicolas Chauvat <nicolas.chauvat@logilab.fr>:
> > 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
> >
>
>
>
> --
> 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 ; chat: irc://irc.freenode.net#eulergui
>
>


-- 


(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,.,
Received on Thursday, 24 January 2013 22:21:03 GMT

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