James, (01)
The NASA QUDT project is aware of this work and considered it in the treatment
of maths expressions and algorithms. We also looked at the NAG work,
specifically the MONET project . Concerning QUDT, the Data , Type and
Algorithms ontologies are being worked for publication. A new release of the
QUD part of QUDT will be available in the next few weeks. We are currently
improving HTML documentation. [www.qudt.org]. (02)
On Jan 23, 2011, at 3:27 PM, Professor James Davenport wrote: (03)
> On Sun, January 23, 2011 8:32 pm, David Leal wrote:
>> Dear All,
>>
>> A terminology to do with accuracy, precision and uncertainty is
>> defined in the VIM (International Vocabulary of Metrology)
>> http://www.bipm.org/en/publications/guides/vim.html . The OASIS
>> QUOMOS work seems to have stalled, but the need for an ontology
> Thanks for confirming what I was seeing.
>> covering this area remains.
> Can I draw your attention to the OpenMath work described in
> @InProceedings{ StratfordDavenport2008,
> title = "{Unit Knowledge Management}",
> author = {Stratford,J.D. and Davenport,J.H.},
> editor = {S. Autexier {\it et al.}},
> booktitle = {Proceedings AISC/Calculemus/MKM 2008},
> year = {2008},
> pages = {382-397},
> keywords = {MKM UNIT}
> }
> @InProceedings{ Collins2009,
> title = "{OpenMath Content Dictionaries for SI Quantites and Units}",
> author = {Collins,J.B.},
> editor = {J. Carette {\it et al.}},
> booktitle = {Proceedings Intelligent Computer Mathematics},
> year = {2009},
> pages = {247-262},
> keywords = {OPENMATH UNIT}
> }
>
> James Davenport
> Lecturer on XX10190 and CM30
> 070
> 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
> Council of the British Computer Society
> Federal Council, International Foundation for Computational Logic
>
>
> _________________________________________________________________
> 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/ (04)
Ralph Hodgson
CTO and Executive Partner
TopQuadrant, Inc.,
www.topquadrant.com
, Office: (703) 299-9330
Direct: (650) 336-3035, Fax: (425) 955-5469, Cell: (781) 789-1664 (05)
Twitter: @ralphtq (06)
_________________________________________________________________
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/ (07)
|