Thanks!
(01)
DEBORAH MACPHERSON, CSI CCS, AIA
Specifications and Research
(02)
Cannon Design
1100 Wilson Boulevard, Suite 2900
Arlington, Virginia 22209
(03)
Direct Line 703 907 2353
4 Digit Dial 6353
(04)
dmacpherson@xxxxxxxxxxxxxxxx
cannondesign.com
(05)
Please consider the environment before printing this email.
(06)
-----Original Message-----
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx
[mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Professor James
Davenport
Sent: Wednesday, April 20, 2011 9:54 AM
To: Ontology Summit 2011 discussion
Subject: Re: [ontology-summit] Take Homes
(07)
On Wed, April 20, 2011 2:43 pm, MacPherson, Deborah wrote:
> Either on the discussion group or possibly next year I am interested
> in exploring the topic of mathematics and ontologies. Specifically I
> am interested in geometry, algebra, and topology.
In that case you might want to look at OpenMath: www.openmath.org
(08)
James Davenport
Lecturer on XX10190 and CM30070
(currently at Microsoft/INRIA, Orsay, France) Hebron & Medlock Professor of
Information Technology, University of Bath OpenMath Content Dictionary Editor
and Programme Chair, OpenMath 2009 IMU Committee on Electronic Information and
Communication Engineering & Science Board, Council of the British Computer
Society Federal Council, International Foundation for Computational Logic
(09)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2011/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2011
Community Portal: http://ontolog.cim3.net/wiki/
(010)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2011/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2011
Community Portal: http://ontolog.cim3.net/wiki/ (011)
|